Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-time Systems

Abstract

Abstract When developing safety critical hard real-time systems, there's a great need for powerful and practically usable analysing methods for supporting the evaluation and validation of the temporal behaviour of real-time systems, already on the level of the software design. In this contribution, one approach for reaching this aim is presented. It is based on a formal constraint propagation technique. The underlying idea is to derive the temporal relationships inside the software design on the basis of the environmentally motivated temporal constraints and the user-defined temporal system requirements. Thus, we get the temporal time constraints that have to be fulfilled by procedures implemented later on. Further, the calculated overall temporal behaviour can be visualized in a time diagram for validation and evaluation purposes.