FOREST Examples Light and Temperature Control

Light and Temperature Control

(M. Kronenburg, C. Peper)


A system for the light and temperature control in a floor of a building of the university of Kaiserslautern has been specified using the FOREST-approach.

The following documentation is provided (postscript and html):


Problem Specification

Various perspectives of the final FOREST specification of the case study are provided.
These documents are written in the style of a reference book, and provide navigation support.


At the beginning of the development the customer delivered the following two documents: These documents and several discussions with the customer have been the resources for the problem specification.