SFB 501 Project C1 Formal Description Techniques Criteria to Analyze Description Techniques

Deutsch

Goals

The number of formal description techniques to describe the behavior of reactive systems is still increasing because new description techniques are invented and existing ones are developed further. These description techniques have to be compared and evaluated with respect to their suitability in the context of the application domain of the Sonderforschungsbereich.

Work done

A catalogue of criteria to evaluate formal description techniques for reactive systems was compiled. The criteria were applied to the formal description techniques statecharts, SDL, and SCR.

An approach to formalize criteria and the notion ``formal description technique for timed systems'' was developed. It was shown that this approach could be applied to different kinds of temporal logics.

Staff

• Thomas Deiß
• Robert Eschbach
• Martin Kronenburg

Publications

• Deiß, T. ; Kronenburg, M. ; Zeckzer, D.: A Catalogue of Criteria for Evaluating Formal Methods and Its Application, SFB 501 Report No. 04/97, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (148 Kbytes)
• Eschbach, R.; Deiß, T. ; Kronenburg, M.: A Framework for the Analysis of Formal Description Techniques for Timed Systems, SFB 501 Report No. 05/98, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (88 Kbytes)
• Kronenburg, M.; Deiß, T.; Eschbach, R.:
  Temporal Logics as Examples of Formal Description Techniques for Timed Systems, SFB 501 Report No. 07/98, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (159 KBytes)