The Fujaba Automotive Tool Suite ∗

Automotive systems contain a large number of software controllers that interact in order to realize an increasing number of functions. The controllers are typically developed separately by different suppliers. Therefore, errors in the overall functionality are often detected late in the development process or even remain undetected. This affects the quality and safety of the systems and may lead to expensive recalls. We propose to specify the communication behavior more precisely in the early system design by modeling the controllers’ interactions using formal sequence diagrams (LSCs). Based on these behavior models we’re able to automatically synthesize state machines, which can be used to generate code for the communication behavior of the controllers. We provide a prototypical integrated modeling environment based on Fujaba which supports specifying requirements, modeling the component architecture, and component behavior as well as the state machine synthesis.