Validation of theoretical cost model for Power and Reliability : Case study of a reliable Central Direct Memory Access system

Abstract: Safety-critical applications employed in automotive, avionics and aerospace domains are placed under strict demands for performance, power efficiency and fault tolerance. Development of system hardware and software satisfying all criteria is challenging and time-consuming. System co-design based on specifications and desired high-performance requirements, is one solution to this problem, however, it remains a largely unexplored territory. Currently at KTH Royal Institute of Technology, a co-design framework in relation to theoretical system design models is being researched with the objective to move the embedded system design to a higher abstraction level. Presently, it focuses on correct-by-construction design of low power and reliable safety-critical systems. This thesis intends to assess the accuracy of this framework in comparison to conventional design approaches. The accuracy is evaluated empirically in terms of extra functional requirements - average total power consumption and Mean Time Between Failure (MTBF). A simple payload Central Direct Memory Access (CDMA) application is integrated with Xilinx Soft Error Mitigation (SEM) IP Core and source of system failure is a Single Event Upset (SEU) which occurs due to ionizing radiations. Measurements obtained from this reference system are compared to results determined theoretically from model related equations for the same system. Comparison of measured MTBF values with theoretical estimations shows that measured ones are higher by an average huge difference of 324.63%. Similarly for power consumption, measurements were found to be higher than estimated ones by 0.4465 Watts. In conclusion, it can be said that theoretical model design framework is not accurate and models must somehow take into account implementation dependent factors. Nevertheless, this case study provided a good insight and pathways for enhancements and optimizations to turn this reference into a dependable platform. Finally, future work required for desirable experiment system improvements are identified.