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):
Explanations
Documentation of the FOREST-approach
(ps,
html)
A summary of the main description elements. Recommended reading before
studying any of the documents below.
Documentation of the formal description technique tRTTL
(html)
A description of the real time temporal logic used to formalise
properties.
Related publications (html)
Problem Specification
Various perspectives of the final FOREST specification of the case study are provided.Developer perspective with references
(ps,
html)
Formal and natural language specifications including references
within the document. This is the comprehensive document, from
which further perspectives are derived by projection.
Developer perspective without references
(ps,
html)
Formal and natural language specifications.
Customer perspective with signatures
(ps,
html)
Natural language specification including signatures.
Customer perspective without signatures
(ps,
html)
Natural language specification for discussion with the customer.
This document represents the final agreement reached between
customer and analysis team.
Resources
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.