Abstract Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development processes do not address well the needs of large-scale distributed real-time systems, like the ones automobiles do (or soon will) contain. The paper introduces a vision for the model-based development of embedded software, which is based on the broad-spectrum modeling of the applications in the context of a larger system, formal (and computer-supported) analysis of models, and automatic synthesis of the application(s). The paper also describes some initial steps taken to build the infrastructure for supporting such a process in the form of modeling and model transformation tools. The paper concludes with a list of challenging research problems.
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
2006-01-01
13 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
British Library Conference Proceedings | 2006
|Model-Based Automotive Software Development
Springer Verlag | 2021
|Automotive software development: a model based approach
Tema Archiv | 2002
|Automotive Software Development
Springer Verlag | 2020
|Automotive software development: a model based approach
Kraftfahrwesen | 2002
|