Title :
AutoFOCUS and the MoDe tool
Author :
Romberg, Jan ; Jürjens, Jan ; Wimmel, Guido ; Slotosch, Oscar ; Hahn, Gabor
Author_Institution :
Technische Univ. Munchen, Garching, Germany
Abstract :
Software engineering for distributed automotive applications is shifting from a subsystem-level perspective, where the focus is on optimization of a single electronic control unit, towards a system-level view. However, optimization of distributed systems with respect to non-functional properties remains a challenging task. The goal of the MoDe (model based deployment) approach is to give early guidance for design decisions using architectural-level models of the system. In its current version, MoDe supports those architecture-level decisions that require a performance model of the overall system. The MoDe approach is based on a formal design notation, AutoFocus, which is used for specifying system models, functional models enriched with abstractions for communication and scheduling. The MoDe tool offers automated support for compiling platform abstractions into the system model, so MoDe allows a highly flexible evaluation of different architectural choices.
Keywords :
automotive engineering; distributed programming; formal specification; real-time systems; software tools; systems analysis; AutoFOCUS tool; MoDe tool; architectural level model; distributed automotive applications; distributed systems optimization; formal design notation; model based deployment approach; software engineering; subsystem-level perspecctive; system design; Application software; Automotive applications; Computer architecture; Control systems; Embedded system; Network synthesis; Software engineering; Testing; Unified modeling language; Yarn;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207727