|FOREST||Examples||Light and Temperature Control|
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):
Documentation of the formal description technique tRTTL
A description of the real time temporal logic used to formalise properties.
Related publications (html)
Problem SpecificationVarious perspectives of the final FOREST specification of the case study are provided.
Developer perspective with references
Formal and natural language specifications including references within the document. This is the comprehensive document, from which further perspectives are derived by projection.
Customer perspective without signatures
Natural language specification for discussion with the customer. This document represents the final agreement reached between customer and analysis team.
ResourcesAt the beginning of the development the customer delivered the following two documents: