Formal Specification of Real-Time Requirements for Building Automation Systems

C. Peper, R. Gotzhein, M. Kronenburg

SFB 501 Report 01/1997, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997


A generic approach to the formal specification of system requirements is presented. It is based on a pool of requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the formal requirement specification. The approach is instantiated by a tailored real-time temporal logic and by selecting building automation systems as application domain. With respect to this domain, the pattern discovery and reuse tasks are explained and illustrated, and a set of typical requirement patterns is presented. Finally, the results of a case study where the approach has been applied are summarized.

Full paper


Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.