Duration Calculus

Das Buch "Duration Calculus" bietet eine umfassende Einführung in die formalen Grundlagen des Duration Calculus, einer speziellen Logik zur Entwicklung von Echtzeitsystemen. Es behandelt die einzigartigen Merkmale dieser Logik, die es ermöglichen, Zeitdauern von Zuständen in Echtzeitsystemen präzise auszudrücken und zu analysieren. Durch eine klare und systematische Darstellung wird das Konzept des Duration Calculus sowohl für die formale Spezifikation als auch für die Verifikation von Echtzeitsystemen erläutert. Das Buch enthält zudem ausgewählte Fallstudien, die die praktische Anwendung des Duration Calculus veranschaulichen, sowie eine umfassende Übersicht über die aktuelle Forschung in diesem Bereich. Es richtet sich an Studierende auf Master- und Doktoratsniveau sowie an erfahrene Forscher und Fachleute, die sich mit der Entwicklung und Analyse von Echtzeitsystemen beschäftigen.