Beobachtbarkeit von halbgeordneten Abläufen mittels Test-Szenarios, Aktionsverfeinerung und temporaler Logik

• Antragsteller: Professor Dr. Walter Vogler
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1994 bis 2001
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5149758

Ziel des Forschungsvorhabens ist es, in erster Linie unter Verwendung von Petrinetzen zu untersuchen, ob und welche auf Halbordnungen gestützte Verhaltensbeschreibungen dieses Kriterium erfüllen. Dazu sollen vor allem Test-Szenarios betrachtet werden, die eine explizite Zeitkomponente haben oder die räumliche Verteilung der Aktionen berücksichtigen. Zeitliche Tests sollen auch unabhängig von Halbordnungen erforscht werden, um verteilte Systeme aufgrund ihrer Effizienz zu vergleichen. Im weiteren soll untersucht werden, ob die auf diese Weise erzielten Ergebnisse für Realzeit-Anwendungen genutzt werden können.

• DFG-Verfahren: Sachbeihilfen