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

### Additional Services

Author: Reinhard Gotzhein, Martin Kronenburg, Christian Peper urn:nbn:de:hbz:386-kluedo-4107 Sonderforschungsbereich 501 (1996,15) Preprint English 1999 1999 Technische Universität Kaiserslautern 2000/04/03 application ; building automation ; formal reasoning ; formal specification ; real-time ; real-time temporal logic; requirements ; reuse Fachbereich Informatik 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011

$Rev: 13581$