Safety-Car is a project to devise a methodology to develop software for safety-critical automotive systems.

This project uses a major trend in software engineering - model-driven engineering.

Unlike other projects in the automotive domain our methodology is based on the language and not on tools.

So one important part of our methodology is the used modeling language - UML 2.

The complete development process is model-driven.

Every part of the automotive system (structure or behavior) is a UML 2 model.

Even the patterns (specification of model transformations) are specified as a UML 2 model.

Every visual part (structure model, behavior model, model transformation) is a UML 2 model.

The 13 different diagram types of UML 2 are further refined through the use of profiles.

Therefore, it is possible to model specifc parts (e.g. an ECU) from the automotive domain.

The most important tool of our methodology is the UML 2 modeling tool.

Since our methodology is based on the language and not on the tool, any UML 2 compliant tool can be used.

Beside the modeling tool some tools for constraint solving are used.

Finally, it is necessary to use some handwritten plug-ins to