The scope of this thesis is the introduction of sampling algorithms and the study of a formal verification support for hybrid systems. We extend the FOCUS formal modelling theory for specification of distributed and interactive systems to support hybrid systems. We propose sampling solutions guided by desired requirements/scenarios or by value variation of sampled variables. Our integration of formal verification is performed based on tight coupling of verification properties with model elements, different specification languages for the formulation of properties, as well as visualization and simulation of counterexamples. The evaluation of our results includes prototypical implementations and case studies.     «

The scope of this thesis is the introduction of sampling algorithms and the study of a formal verification support for hybrid systems. We extend the FOCUS formal modelling theory for specification of distributed and interactive systems to support hybrid systems. We propose sampling solutions guided by desired requirements/scenarios or by value variation of sampled variables. Our integration of formal verification is performed based on tight coupling of verification properties with model elements...     »

Das Ziel dieser Dissertation ist die Einführung von Sampling Algorithmen und die Untersuchung einer formalen Verifikationsunterstützung für hybride Systeme. Wir bauen die formale Modellierungstheorie FOCUS zur Spezifikation von verteilten und interaktive Systeme aus, um hybride Systeme zu unterstützen. Wir schlagen Sampling Lösungen vor, die von gewünschten Anforderungen/Szenarien oder durch Variation der Variablenwerte geleitet werden. Unsere Integration von formaler Verifikation wird mittels einer engen Kopplung von Verifikationseigenschaften mit Modellelemente, verschiedenen Spezifikationssprachen für die Formulierung von Eigenschaften, sowie Visualisierung und Simulation von Gegenbeispielen durchgeführt. Die Auswertung der Ergebnisse umfasst prototypische Implementierungen und Fallstudien.     «

Das Ziel dieser Dissertation ist die Einführung von Sampling Algorithmen und die Untersuchung einer formalen Verifikationsunterstützung für hybride Systeme. Wir bauen die formale Modellierungstheorie FOCUS zur Spezifikation von verteilten und interaktive Systeme aus, um hybride Systeme zu unterstützen. Wir schlagen Sampling Lösungen vor, die von gewünschten Anforderungen/Szenarien oder durch Variation der Variablenwerte geleitet werden. Unsere Integration von formaler Verifikation wird mittels e...     »