Abstract
This paper presents the TRIO logical framework to specify industrial real-time systems. Typical specification requirements for this kind of system are discussed and related to corresponding features of the framework. In particular, the methodological expressiveness, the validation and the temporal constraint proof capabilities are highlighted. The former is mainly dealt with by the Object Oriented paradigm, while the latter is dealt with by a formal method specification derived from Metric Temporal Logic languages. Further, this Metric Temporal Logic is extended with the ability to treat different granularities. In order to show the capabilities of the TRIO logical framework, the specification of a complex real-time system is proposed.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: International Journal of Software Engineering and Knowledge Engineering
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.