FOREST Overview Product Model

Product Model

The FOREST product model provides a general reference model for problem specifications, which comprise all information about which system to be built. The product model also defines the FOREST document types as instantiations of the reference model for reactive systems that is based on a real-time temporal logic and the structuring concepts modularization, aggregation, inheritance, and parameterization.

Reference Model
Document Types



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

This page in german. Diese Seite auf deutsch.