Browse Publications Technical Papers 2006-01-1222

An Architecture-Centric Approach Towards the Construction of Dependable Automotive Software 2006-01-1222

In this paper a model-based design approach currently developed is introduced to optimize the development process of automotive software. The approach plays special emphasis on a quality-oriented construction of embedded software to shorten the development life cycle and the development costs at the same time. “Quality-oriented” in this context means, that design and implementation decisions may be better traced back to the actual user requirements which are essential for the validation of the system. In contrast to low-level modeling approaches (such as Matlab/Simulink [1] or ASCET-SD [2], which mainly focus on technical aspects of the system), high-level modeling concepts are introduced to represent HW-/SW-architectures within a set of consecutive abstraction levels.
A newly reworked system of automotive-specific abstraction levels is presented, where architectures are specified introducing more detail on each level. The system of abstraction levels supports the inheritance of model information from abstract levels down to concrete levels and the refinement of this information at each level. Thus the gap between (informal) requirements and the implementation is reduced. Since the higher levels abstract from technical details, reuse of models will be possible in a very easy way. The abstraction levels will form the basis for the strongly formal definition of an automotive specific architecture description language which we call “CAR-DL” (Combined Architecture Description Language).
The presented approach is currently developed within the project “mobilSoft”1.


Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:

Validation of Control Software by Search-Based Testing Using Formal Methods


View Details


Optimization-Based Robust Architecture Design for Autonomous Driving System


View Details


Integration of Model-Based Engineering with Existing Systems


View Details