SPEEDS Process: Guiding  efficient tool support

The development of a system can be modelled itself in a process model. SPEEDS provides the means of intertwining the three models that participate:

Figure 4: Intertwining system-, analysis- and process models for information re-use

The SPEEDS process for the user’s specific process is a formal model of the intended engineering procedures. The process is formalised and linked to the analysis metrics, thus allowing reasoning about the actual status reached at any point in the system development, and to the system component for controlling the development progression.

Implementing such process in the SPEEDS engineering environment requires refining the high-level process model into tool interaction sequences in order to provide tool interaction orchestration via the SPEEDS bus.

SPEEDS provides a methodology and example implementations for intertwining tool interaction sequences with analysis results and the common storage in the model repository.