Browse Publications Technical Papers 2006-01-1222
2006-04-03

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.

SAE MOBILUS

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

Access SAE MOBILUS »

Preview Document Add to Cart
Members save up to 16% 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:
TECHNICAL PAPER

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

2016-01-0034

View Details

TECHNICAL PAPER

Model Based Reusable and Reliable Software Validation for Functional Coverage using Virtual ECUs

2007-01-1742

View Details

TECHNICAL PAPER

How to Build Automotive Applications Based on the FlexRay® Communication System

2002-01-0439

View Details

X