Doris Wild

An Architecture-Centric Approach towards the Construction of Dependable Automotive Software

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 ASCETSD [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 level s. 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

Toward a Holistic and Standardized Automotive Architecture Description

Spiraling vehicle complexity requires an overall architectural concept that provides a total vehicle perspective across all functional domains. Here we summarize the concept and some basic elements of an architecture framework for the automotive industry. We intend to drive the thought process within the automotive industry toward a standardized architectural foundation that builds upon successful examples of similar efforts, such as the Department of Defense Architecture Framework (DoDAF).

Service-Oriented Modeling of CoCoME with Focus and AutoFocus

Reactive distributed systems, including business information systems and embedded control systems, require systematic software engineering approaches that can manage the complexity of the system and the development. This helps to ensure resulting implementations of high quality within reasonable cost and time frames. The CoCoME POS system (see Chapter 3) is a telling example that combines elements of both system classes.

Integrating service specifications at different levels of abstraction

The service-oriented paradigm is a promising approach to handle the growing complexity of software systems. This paper introduces a methodology for a stepwise refinement of service specifications on different levels of abstraction. Moreover, it deals with the integration of service and architecture specifications. Underlying concepts for a formal service specification are motivated from a methodological point of view and are precisely given in this paper. Furthermore the application of these concepts is demonstrated within a case example. The presented methodology stems from the RoFa-Soft project, where both aforementioned development paradigms are consolidated and integrated.