Case Studies

No deliverable on case studies was provided for in the Project Programme. However, since a great part of this first year work was devoted to the definition, understanding, and specification of case studies, this work is reported here. The considered case studies are the following:

• Schneider-Electric proposed a "Source Range Instrumentation System" for a nuclear power plant. They provided a textual description together with the corresponding program in Lustre.
• SAAB-MA proposed an "Environmental Air Control System", together with a very simplified "toy" version of the same example. The "toy" version was mainly considered this year, because the description, given in ASA, must be translated by hand into our languages.
• EDF proposed a controller of a steam generator. The example is described in a document, the formal part of which consists in functional diagrams.