Zusammenfassung
Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen und schrittweise Übergänge zwischen diesen Ebenen notwendig. Neben der Definition geeigneter Ebenen werden zur Unterstützung echtzeitkritischer Systemanteile ein einheitliches Berechnungsmodell, ebenenspezifische Beschreibungstechniken, sowie methodische Regeln für diese Abstraktionsebenen eingeführt und in den Werkzeugprototypen AutoFocus integriert.
Abstract
For tackling the development of complex networked and distributed functionalities of Automotive software, a description of the system on different levels of abstraction, accompanied by stepwise transitions between those levels, is essential. In this article, a homogeneous model of computation, as well as notations and methodological rules corresponding to abstraction levels, are introduced for describing real-time software systems. The techniques described have been integrated into the tool prototype AutoFocus.
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 (2003) In: VDI-Kongress Elektronik im Kraftfahrzeug, VDI Berichte, vol 1789, Baden-Baden
Bauer A, Romberg J (2004) Model-based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations. In: Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Hamilton, Ontario, Canada, June 2004
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: Graf S, Schwartzbach M (eds) Tool and Algorithms for the Construction and Analysis of Systems (TACAS 2000), LNCS, vol 2280. Springer Verlag
Braun P, von der Beeck M, Rappl M, Schröder C (2002) Automotive Software Development: A Model-Based Approach. In: Congress of Automotive Engineers, SAE Transactions Paper
Broy M, Huber F, Schätz B (1999) AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung 14(3):121–134
ETAS Engineering Tools GmbH (2001) ASCET-SD Benutzerhandbuch
Gelernter D, Carriero N (1992) Coordination languages and their significance. Communications of the ACM 35(2):97–107
The MathWorks Inc. (2000) Using Simulink
Object Management Group OMG (2004) www.uml.org. Unified Modeling Language: Superstructure. Version 2.0. OMG Adopted Specification ptc/03-08-02
OMG Object Management Group (2003) www.uml.org. UML Profile for Schedulability, Performance, and Time Specification. Version 1.0 formal/03-09-01
Romberg J, Bauer A (2004) Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs. In: ACM Conference on Embedded Software (EMSOFT)
Schätz B (2001) The ODL operation definition language and the AutoFocus/Quest application framework AQuA. Technical Report TUM-I0111, TU München
Schätz B, Braun P, Huber F, Wisspeintner A (2005) Checking and Transforming Models with AutoFocus. In: 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). IEEE Computer Society
Selic B, Gullekson G, Ward P (1994) Real-Time Object Oriented Modelling. Wiley
Author information
Authors and Affiliations
Additional information
CR Subject Classification
D.2.2
Rights and permissions
About this article
Cite this article
Bauer, A., Romberg, J. & Schätz, B. Integrierte Entwicklung von Automotive-Software mit AutoFocus . Informatik Forsch. Entw. 19, 194–205 (2005). https://doi.org/10.1007/s00450-005-0187-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00450-005-0187-7