Specification and Seamless Verification ofEmbedded Real-Time Systems
FOCUS on Isabelle
(Sprache: Englisch)
The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of...
Leider schon ausverkauft
versandkostenfrei
Buch
79.00 €
Produktdetails
Produktinformationen zu „Specification and Seamless Verification ofEmbedded Real-Time Systems “
Klappentext zu „Specification and Seamless Verification ofEmbedded Real-Time Systems “
The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of systems that are especially safety critical - embedded real-time systems. The specification and verification/validationmethodologies are treated as a single, joined, methodology with the main focus on the specification part.The key contributions of the thesis are+ Embedding of that part of the framework Focus, which is appropriate for the specification of real-time systems, into Isabelle/HOL. \"Focus on Isabelle\" enables to validate and verify system specificationsin a methodological way.+ Syntax extensions for Focus for the argumentation over time intervals: a special kind of tables, timed state transition diagrams, and a number of new operators. The deep embedding into Isabelle/HOL includes all these extensions.+ Schemata forautomatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.
Autoren-Porträt von Maria Spichkova
Spichkova, Maria1980: born in Moscow, Russia2000: B.C.Sc. Degree, Moscow Power Engineering Institute (Technical University)2003 M.C.Sc. Degree, Technische Universität Dresden (due to DAAD-Sienens Scholarship Programm)from 2003: TU München, Department of Informatics, Chair Software & Systems Engineering2007: Dr.rer.nat. (Ph.D.), TU München
Bibliographische Angaben
- Autor: Maria Spichkova
- 2008, 292 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller e.K.
- ISBN-10: 3836494523
- ISBN-13: 9783836494526
- Erscheinungsdatum: 13.11.2013
Sprache:
Englisch
Kommentar zu "Specification and Seamless Verification ofEmbedded Real-Time Systems"
0 Gebrauchte Artikel zu „Specification and Seamless Verification ofEmbedded Real-Time Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specification and Seamless Verification ofEmbedded Real-Time Systems".
Kommentar verfassen