Mechanical Verification of Parameterized Real-Time Systems
A Formal Framework and its Application to a Real-Time Operating System Scheduler
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
89.90 €
Produktdetails
Produktinformationen zu „Mechanical Verification of Parameterized Real-Time Systems “
Klappentext zu „Mechanical Verification of Parameterized Real-Time Systems “
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.
Autoren-Porträt von Thomas Göthel
Göthel, ThomasDr.-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.
Bibliographische Angaben
- Autor: Thomas Göthel
- 2012, Aufl., 240 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: Südwestdeutscher Verlag für Hochschulschriften
- ISBN-10: 3838134605
- ISBN-13: 9783838134604
Sprache:
Englisch
Kommentar zu "Mechanical Verification of Parameterized Real-Time Systems"
0 Gebrauchte Artikel zu „Mechanical Verification of Parameterized Real-Time Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Mechanical Verification of Parameterized Real-Time Systems".
Kommentar verfassen