Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Provided by: edaa
Topic: Hardware
Format: PDF
The authors elaborate on the theoretical foundation and practical application of the contract-based specification method originally developed in the integrated project SPEEDS for two key use cases in embedded systems design. They demonstrate how formal contract-based component specifications for functional, safety, and real-time aspects of components can be expressed using the pattern-based requirement specification language RSL developed in the Artemis Project CESAR, and develop a formal approach for virtual integration testing of composed systems based on such contract-specifications of subsystems. They then present a methodology for multi-criteria architecture evaluation developed in the German Innovation Alliance SPES on Embedded Systems.

Find By Topic