Verwandte Artikel zu Mechanical Verification of Parameterized Real-Time...
Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler - Softcover
Inhaltsangabe
Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Dr.-Ing. Thomas Göthel received his diploma in Computer Science and his PhD from Technische Universität Berlin, both with honor. Currently, he works as a postdoctoral researcher in a DFG funded project. His main research focus is on software engineering techniques for the design of provably correct embedded real-time systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Mechanical Verification of Parameterized Real-Time...
Foto des Verkäufers
Mechanical Verification of Parameterized Real-Time Systems
ISBN 10: 3838134605
ISBN 13: 9783838134604
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification. 240 pp. Englisch. Bestandsnummer des Verkäufers 9783838134604
Neu kaufen
EUR 89,90
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Mechanical Verification of Parameterized Real-Time Systems
Verlag:
Südwestdeutscher Verlag für Hochschulschriften, 2012
ISBN 10: 3838134605
ISBN 13: 9783838134604
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Goethel ThomasDr.-Ing. Thomas Goethel received his diploma in Computer Science and his PhD from Technische Universitaet Berlin, both with honor. Currently, he works as a postdoctoral researcher in a DFG funded project. His main research. Bestandsnummer des Verkäufers 5407736
Neu kaufen
EUR 71,55
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mechanical Verification of Parameterized Real-Time Systems : A Formal Framework and its Application to a Real-Time Operating System Scheduler
Verlag:
Südwestdeutscher Verlag Für Hochschulschriften AG Co. KG, 2012
ISBN 10: 3838134605
ISBN 13: 9783838134604
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification. Bestandsnummer des Verkäufers 9783838134604
Neu kaufen
EUR 97,24
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Mechanical Verification of Parameterized Real-Time Systems | A Formal Framework and its Application to a Real-Time Operating System Scheduler
Verlag:
Südwestdeutscher Verlag für Hochschulschriften AG Co. KG, 2015
ISBN 10: 3838134605
ISBN 13: 9783838134604
Neu
Taschenbuch
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Mechanical Verification of Parameterized Real-Time Systems | A Formal Framework and its Application to a Real-Time Operating System Scheduler | Thomas Göthel | Taschenbuch | Paperback | 240 S. | Englisch | 2015 | Südwestdeutscher Verlag für Hochschulschriften AG Co. KG | EAN 9783838134604 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Bestandsnummer des Verkäufers 106324191
Neu kaufen
EUR 75,15
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Mechanical Verification of Parameterized Real-Time Systems
ISBN 10: 3838134605
ISBN 13: 9783838134604
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Real-time systems, such as real-time operating systems, often have to be able to cope with an unbounded number of similar components. These systems fall in the class of parameterized systems. Especially in safety-critical areas, formal verification ensures that they behave correctly in all cases. However, the machine-assisted verification of parameterized real-time systems is hard because automatic verification techniques (such as model checking) can be employed directly only for finite instances of a system and are thus incomplete. To overcome this problem, we provide a framework for the mechanical, comprehensive, and semi-automatic verification of parameterized real-time systems. At its core, we employ the process calculus Timed CSP. We provide an interactive theorem proving environment enhanced with debugging capabilities using automatic verification techniques. Thus, finite instances can be checked and debugged with automatic tool support. Then, given the evidence that the overall parameterized real-time system behaves correctly, our theorem proving environment facilitates its semi-automatic, comprehensive verification.Books on Demand GmbH, Überseering 33, 22297 Hamburg 240 pp. Englisch. Bestandsnummer des Verkäufers 9783838134604
Neu kaufen
EUR 89,90
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar