SFB 501 Teilprojekt C1 Formale Beschreibungstechniken Kriterien zur Analyse von Beschreibungstechniken

English

Zielsetzung

Die Zahl formaler Beschreibungstechniken zur Beschreibung des Verhaltens reaktiver Systeme wächst aufgrund von Neu- und Weiterentwicklungen stetig an. Diese Beschreibungstechniken müssen in Bezug auf ihre Eignung im Kontext der Anwendungsdomäne des Sonderforschungsbereichs verglichen und bewertet werden.

Durchgeführte Arbeiten

Ein Katalog von Kriterien zur Bewertung formaler Beschreibungstechniken für reaktive Systeme wurde erstellt. Die Kriterien wurden auf die formalen Beschreibungstechniken statecharts, SDL und SCR angewendet.

Ein Ansatz, Kriterien und den Begriff ``formale Beschreibungstechnik für zeitbehaftete Systeme'' zu formalisieren, wurde entwickelt. Es wurde nachgewiesen, daß dieser Ansatz auf verschiedene temporale Logiken anwendbar ist.

Mitarbeiter

• Thomas Deiß
• Robert Eschbach
• Martin Kronenburg

Publikationen

• 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)