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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Safety of Computer Control Systems 1992 (SAFECOMP' 92)
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
