An experience report on the integration of ECU software using an HSF-enabled real-time kernel

This paper gives an overview of the challenges we faced when integrating automotive software components on an embedded electronic control unit (ECU). The results include the design of a communication abstraction layer, management of scarce ECU resources and a demonstration of temporal isolation between components in an industrial case study.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools , 2010, Proceedings of the IEEE.

[2]  Philippa J. Hopcroft,et al.  Academia and industry meet: some experiences of formal methods in practice , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[3]  Automotive Solutions Systems and Applications , .

[4]  B. Bonsen,et al.  Integrated vehicle dynamics control using State Dependent Riccati Equations , 2010 .

[5]  Johan J. Lukkien,et al.  An Efficient Hierarchical Scheduling Framework for the Automotive Domain , 2012 .

[6]  Johan J. Lukkien,et al.  Transparent Synchronization Protocols for Compositional Real-Time Systems , 2012, IEEE Transactions on Industrial Informatics.

[7]  Stacy J. Prowell,et al.  Foundations of Sequence-Based Software Specification , 2003, IEEE Trans. Software Eng..

[8]  Insik Shin,et al.  A Synchronization Protocol for Temporal Isolation of Software Components in Vehicular Systems , 2009, IEEE Transactions on Industrial Informatics.

[9]  van den,et al.  Composition and synchronization of real-time components upon one processor , 2013 .

[10]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11]  Philippa J. Hopcroft,et al.  Combining the Box Structure Development Method and CSP for Software Development , 2005, Electron. Notes Theor. Comput. Sci..

[12]  Stefan Poledna.  Optimizing Interprocess Communication for Embedded Real-Time Systems , 1996, RTSS.