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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have