A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
M. Kronenburg , R. Gotzhein, C. Peper
SFB 501 Report 16/1996, Department of Computer Sciences, Universit< of Kaiserslautern, Germany, 1996
Abstract
A tailored real time temporal logic for specifying requirements of building automation systems is introduced and analyzed. The logic features several new real time operators, which are chosen with regard to the application area. The new operators improve the conciseness and readability of requirements as compared to a general purpose real time temporal logic. In addition, some of the operators also enhance the expressiveness of the logic. A number of properties of the new operators are presented and proven.
Full paper
- ps.gz (82kb)
Superordinated page: Year 1996 | |
Feedback | |
Go to the contact details of the person in charge of this page |
Deutsch | |
This page in german. Diese Seite auf deutsch. |