Case study: engine control application
暂无分享,去创建一个
This report presents the case study of an engine control application. The objective of the case study is to demonstrate the applicability of the concepts from our Timing Model for AUTOSAR and the RTE Tracing approach [4] on an integrated, rigorous and close to real-world example. This includes the modeling of the relevant signal paths within the application software of the corresponding AUTOSAR system and their association with application-specific timing requirements. Furthermore, suitable timing properties are determined with the help of an RTE Tracing experiment such that the degree of fulfillment of the timing requirements can be evaluated by means of Timing Oscilloscope Diagrams.
[1] Christian Heinlein,et al. Concept and implementation of C+++, an extension of C++ to support user-defined operator symbols and control structures , 2005 .
[2] HallAnthony,et al. Correctness by Construction , 2002 .
[3] Axel Dold,et al. Mechanized semantics of simple imperative programming constructs , 2009 .
[4] A. D. Noble,et al. Automation of ECU Software Development: From Concept to Production Level Code , 1999 .