Specifying and Reasoning about Generic Real-Time Requirements - A Case Study

  • A non-trivial real-time requirement obeying a pattern that can be foundin various instantiations in the application domain building automation, and which is therefore called generic, is investigated in detail. Starting point is a description of a real-time problem in natural language augmented by a diagram, in a style often found in requirements documents. Step by step, this description is made more precise and finally transformed into a surprisingly concise formal specification, written in real-time temporal logic with customized operators. Wereason why this formal specification precisely captures the original description- as far as this is feasible due to the lack of precision of natural language.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Reinhard Gotzhein, Martin Kronenburg, Christian Peper
URN:urn:nbn:de:hbz:386-kluedo-4107
Series (Serial Number):Sonderforschungsbereich 501 (1996,15)
Document Type:Preprint
Language of publication:English
Year of Completion:1999
Year of first Publication:1999
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Tag:application; building automation; formal reasoning; formal specification; real-time; real-time temporal logic; requirements; reuse
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011