Analysis: High-level knowledge

Analysis is formal reasoning about the system’s overall integrity and properties using the virtual HRC model. Analysis is especially promising in SPEEDS as it processes the contracts which exist before the system is implemented. This gain in development time results in the break-through SPEEDS vision becoming reality.

SPEEDS academic partners have made accessible in tools analysis techniques for typical engineering integrity questions, e.g.

• Dominance: Dominance analysis is used
• within a refinement step (Making a requirement more concrete and in this sense stronger than the starting one).
• within a decomposition/composition step to check that the system contract is dominated by the “composition” of the contracts of its components (virtual integration).
• Compatibility: Compatibility checking is an analysis service that is able to check whether two or more contracts are compatible. If we want to combine several components together to form a new system, the associated contracts of the individual components should be compatible meaning that they fit together.

SPEEDS partners has introduced novel approaches on analysis methods and implemented them into industrial strength analysis tools which are entirely based on the HRC model. The analysis tools are fitted with a service interface to the SPEEDS bus, rendering them usable in the context on any SPEEDS enabled COTS modelling tool.