Abstract
This paper presents an approach to the development of safetycritical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) specification language developed at Siemens Corporate Research. A system is defined by a conventional mathematical model for a dynamic system where application specific states denote functions of time. Requirements are constraints on the system states, and they are given by formulas in duration calculus (DC), a real-time interval logic. A functional design is a distributed system consisting of sensors, actuators, and a program which communicate through shared states. The sensors and actuators are specified in DC while the program is specified in TLT. The design as a whole is linked together semantically by using a DC semantics for TLT. Verification is a deduction showing that a design implies requirements. The TLT specification is the basis for developing the control program. The method is illustrated by a steam-boiler example.
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 callDisclaimer: 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.
