Abstract
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between manufacturers and control unit suppliers. One crucial requirement is that the integrated software must meet performance requirements in a certifiable way. However, at least for engine control units, there is today no well-defined software integration process that satisfies all key requirements of automotive manufacturers. We propose a methodology for safe integration of auto-motive software functions where required performance information is exchanged while each partner’s IP is protected. We claim that in principle performance requirements and constraints (timing, memory consumption) for each software component and for the complete ECU can be formally validated, and believe that ultimately such formal analysis will be required for legal certification of an ECU.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Buttazzo. Real-Time Computing Systems-Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, 2002.
ETAS. ERCOSEK Automotive Real-Time Operating System. http://www.etas.info/html/products/ec/ercosek/en_products_ec_ercosek_index.php.
ETAS. ESCAPE Reference Guide. http://www.etas.info/download/ec_ercosek_rg_escape_en.pdf.
C. Ferdinand and R. Wilhelm. “Efficient and Precise Cache Behavior Prediction for Real-Time Systems.” Journal of Real-Time Systems, Special Issue on Timing Analysis and Validation for Real-Time Systems, pp. 131–181, November 1999.
M. Hill. DINERO III Cache Simulator: Source Code, Libraries and Documentation. www.ece.cmu.edu/ece548/tools/dinero/src/, 1998.
ISO. “TR 15504 Information Technology-Software Process Assessment’ spice’.” Technical Report, ISO IEC, 1998.
M. Jersak, K. Richter, R. Henia, R. Ernst, and F. Slomka. “Transformation of SDL Specifications for System-level Timing Analysis.” In Tenth International Symposium on Hardware/Software Codesign (CODES’02), Estes Park, Colorado, USA, May 2002.
J. Lemieux. Programming in the OSEK/VDX Environment. CMP Books, 2001.
Y. S. Li and S. Malik. Performance Analysis of Real-Time Embedded Software. Kluwer Academic Publishers, 1999.
C. L. Liu and J. W. Layland. “Scheduling Algorithm for Multiprogramming in a Hard-Real-Time Environment.” Journal of the ACM, Vol. 20, 1973.
LiveDevices Inc. Realogy Real-Time Architect Overview. http://www.livedevices.com/realtime.shtml.
OSEK/VXD. OIL: OSEK Implementation Language, version 2.3 edition, September 2001.
T. Pop, P. Eles, and Z. Peng. “Holistic Scheduling and Analysis of Mixed Time/Event-Triggered Distributed Embedded Systems.” In Tenth International Symposium on Hardware/Software Codesign (CODES’02), Estes Park, Colorado, USA, May 2002.
K. Richter and R. Ernst. “Event Model Interfaces for Heterogeneous System Analysis.” In Proceedings of Design, Automation and Test in Europe Conference (DATE’02), Paris, France, March 2002.
K. Richter, D. Ziegenbein, M. Jersak, and R. Ernst. “Model Composition for Scheduling Analysis in Platform Design.” In Proceedings of 39th Design Automation Conference, New Orleans, USA, June 2002.
L. Sha, R. Rajkumar, and J. P. Lehoczky. “Priority Inheritance Protocols: An Approach to Real-Time Synchronization.” IEEE Transactions on Computers, Vol. 39, No. 9, September 1990.
K. Tindell, H. Kopetz, F. Wolf, and R. Ernst. “Safe automotive Software Development.” In Proceedings of Design, Automation and Test in Europe (DATE’03), Munich, Germany, March 2003.
F. Wolf. Behavioral Intervals in Embedded Software. Kluwer Academic Publishers, 2002.
F. Wolf, J. Kruse, and R. Ernst. “Segment-Wise Timing and Power Measurement in Software Emulation.” In Proceedings of IEEE/ACM Design, Automation and Test in Europe Conference (DATE’01), Designers’ Forum, Munich, Germany, March 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Jersak, M. et al. (2003). Formal Methods for Integration of Automotive Software. In: Jerraya, A.A., Yoo, S., Verkest, D., Wehn, N. (eds) Embedded Software for SoC. Springer, Boston, MA. https://doi.org/10.1007/0-306-48709-8_2
Download citation
DOI: https://doi.org/10.1007/0-306-48709-8_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7528-5
Online ISBN: 978-0-306-48709-5
eBook Packages: Springer Book Archive