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.

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Reinhard Gotzhein, Martin Kronenburg, Christian Peper
URN (permanent link):urn:nbn:de:hbz:386-kluedo-4107
Serie (Series number):Sonderforschungsbereich 501 (1996,15)
Document Type:Preprint
Language of publication:English
Year of Completion:1999
Year of Publication:1999
Publishing Institute:Technische Universität Kaiserslautern
Tag:application ; building automation ; formal reasoning ; formal specification ; real-time ; real-time temporal logic; requirements ; reuse
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:004 Datenverarbeitung; Informatik

$Rev: 12793 $