• search hit 4 of 4
Back to Result List

A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems

  • 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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Martin Kronenburg, Reinhard Gotzhein, Christian Peper
URN (permanent link):urn:nbn:de:hbz:386-kluedo-4119
Serie (Series number):Sonderforschungsbereich 501 (1996,16)
Document Type:Preprint
Language of publication:English
Year of Completion:1999
Year of Publication:1999
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011