Zusammenfassung
Die Entwicklung eingebetteter Software für Automobile ist inhärent komplex und vereint verschiedene Entwicklungsphasen, mehrere fachliche Disziplinen, sowie verschiedene Akteure in beteiligten Unternehmen. Der AutoMoDe-Ansatz zur Entwicklung automotiver Software beschreibt Systeme auf verschiedenen Abstraktionsebenen und definiert schrittweise Übergänge zwischen diesen Ebenen. Neben der Definition geeigneter Ebenen werden zur Modellierung von Echtzeitsystemen ein einheitliches Berechnungsmodell sowie domänenspezifische Beschreibungstechniken verwendet. Automatisierte Anbindungen für Analyse und Synthese komplexer Softwaresysteme mit dem Ziel eines konsistenzbetonten Entwicklungsprozesses wurden realisiert. Die beschriebenen Techniken wurden in den Werkzeugprototypen AutoFocus integriert und im Zusammenspiel mit einer Werkzeugkette demonstriert.
Abstract
Development of embedded automotive software is inherently complex and involves different stakeholders, phases, and disciplines. The AutoMoDe approach to automotive software development defines distinct levels of abstraction for integrated development, and defines stepwise transitions between the levels. Along with the definition of suitable abstraction levels, to support modeling of real-time systems, a homogeneous operational model along with domain-specific notations are used. Automated backend functionalities for analysis and synthesis of complex software systems, with the goal of a consistent development process, were devised. The techniques described have been integrated into the tool prototype AutoFocus and have been demonstrated by the construction of a tool chain.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Literatur
Das Projekt EAST-EEA – Eine middlewarebasierte Softwarearchitektur für vernetzte Kfz-Steuergeräte. In: VDI-Kongress Elektronik im Kraftfahrzeug. Number 1789 in VDI Berichte. Baden-Baden, 2003
Amálio N, Polack F (2003) Comparison of formalisation approaches of UML class constructs in Z and Object-Z. In: ZB 2003. volume 2651 of LNCS. Springer
Baleani M, Ferrari A, Mangeruca L, Sangiovanni-Vincentelli AL, Freund U, Schlenker E, Wolff HJ (2005) Correct by construction transformations across design environments for model-based embedded software development. In: DATE 05
Bauer A, Romberg J (2004) Model-based deployment in automotive embedded software. In: MOMPES 2004
Bauer A, Romberg J, Schätz B (2005) Integrierte Entwicklung von Automotive-Software mit AutoFocus. Informatik Forsch Entw 19(4):194–205
Benveniste A, Caspi P, Edwards S, Halbwachs N, Guernic PL, Simone RD (2003) The Synchronous Languages Twelve Years Later. Proc IEEE 91(1):64–83
Benveniste A, Caspi P, Guernic PL, Halbwachs N (1993) Data-Flow Synchronous Languages. In: REX School/Symposium pp 1–45
Braun P, Lötzbeyer H, Schätz B, Slotosch O (2000) Consistent integration of formal methods. In: TACAS 2000 number LNCS 2280. Springer
Broy M, Huber F, Schätz B (1999) AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forsch Entw 14(3):121–134
Broy M, Stølen K (2001) Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer
Damm W (2006) Embedded system development for automotive applications: trends and challenges. In: EMSOFT. ACM. ed by Min SL, Yi W
ETAS GmbH (2001) ASCET-SD Benutzerhandbuch
ETAS GmbH (2005) INTECRIO User Guide V 1.0
France R, Evans A, Lano K, Rumpe B (1998) The UML as a formal modeling notation. Comput Stand Interf 19(7):325–334
Giese H, Burmester S, Schäfer W, Oberschelp O (2004) Modular design and verification of component-based mechatronic systems with online-reconfiguration. In: FSE-12. ACM
Huber F, Schätz B, Einert G (1997) Consistent Graphical Specification of Distributed Systems. In: FME’97, LNCS 1313. Springer
LiveDevices York (2005) RTA-OSEK User Guide V 4.0
Maraninchi F, Raymond Y (2003) Mode-automata: a new domain-specific construct for the development of safe critical systems. Sci Comput Program 46(3):219–254
The MathWorks Inc. (2000) Using Simulink
Müller-Glaser KD, Frick G, Sax E, Kühl M (2004) Multiparadigm Modeling in Embedded Systems Design. IEEE Trans Control Syst Technol 12(2):279–292, March
Mutz M, Huhn M, Goltz U, Krömke C (2003) Model based system development in automotive. In: SAE World Congress
Poledna S, Mocken T, Scheimann J, Beck T (1995) Ercos: An operationg system for automotive applications. In: SAE World Congress
Romberg J (2006) Synthesis of distributed systems from synchronous dataflow programs. PhD thesis TU-München
Scharnhorst T, Heinecke H, Schnelle KP, Fennel H, Bortolazzi J, Lundh L, Heitkämper P, Leflour J, Mate J, Nishikawa K (2005) Autosar – challenges and achievements. In: Elektronik im Kraftfahrzeug 2005, VDI, October
Schätz B, Braun P, Huber F, Wisspeintner A (2005) Checking and transforming models with AutoFocus. In: ECBS 2005. IEEE
Schäuffele J Zurawka T (2003) Automotive Software Engineering. Vieweg Verlag, Wiesbaden
Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Eur J 40:117–134
von der Beeck M, Braun P, Rappl M, Schröder C (2003) Automotive UML. In: Selic B, Martin G, Lavagno L (eds), UML for Real Design of Embedded Real-Time Systems, number ISBN 1-4020-7501-4. Kluwer Academic Publishers
Author information
Authors and Affiliations
Corresponding author
Additional information
CR subject classification
D.2.2
Rights and permissions
About this article
Cite this article
Bauer, A., Broy, M., Romberg, J. et al. Das AutoMoDe-Projekt . Informatik Forsch. Entw. 22, 45–57 (2007). https://doi.org/10.1007/s00450-007-0028-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00450-007-0028-y