SFB 501 Subproject C1 Formal Description Techniques

Deutsch

Contents

• Summary
• Case Studies
• Staff
• Publications
• Bibliographies

Summary

The use of formal description techniques can support the development of large systems, because they allow a precise specification of systems and they are a prerequisite for automatic analyses. The investigation and improvement of the methodical usage of formal description techniques is the goal of subproject C1.

The investigations are conducted in the context of the application domain building automation. Furthermore, subproject C1 supports the other subprojects of the SFB in the use of formal description techniques.

• Combination of formal description techniques: TLA and statecharts
• Criteria to analyze description techniques
• Formal, object oriented problem specifications: The FOREST approach
  (Cooperation with subproject B4)
• Formal Semantics of Programming Languages: SDL
• Refinement Relations: Distributed ASMs

Case Studies

Simulator

The central part of an event-driven simulator for heat-flow within buildings has been specified to study appropriateness of specific formal methods.

FOREST problem specification

The complete problem specification of a system for the light and temperature control of a floor of a building of the university of Kaiserslautern has been developed according to the FOREST approach.

Staff

• Prof. Dr. J. Avenhaus
• Prof. Dr. K. Madlener
• Robert Eschbach
• Martin Kronenburg
• Tobias Schmidt-Samoa

• Thomas Deiß

Publications

• Publications of SFB 501
• Technical Reports of SFB 501
• Publications of the groups involved: AG Avenhaus, AG Madlener

Bibliographies on Formal Methods