Specification and Compositional Verification of Real-Time Systems
(Sprache: Englisch)
The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Specification and Compositional Verification of Real-Time Systems “
Klappentext zu „Specification and Compositional Verification of Real-Time Systems “
The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Next,this model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer.
Inhaltsverzeichnis zu „Specification and Compositional Verification of Real-Time Systems “
Compositionality.- Compositionality and real-time.- Adding program variables.- Shared processors.- Concluding remarks.
Bibliographische Angaben
- Autor: Jozef Hooman
- 1991, 1991, 242 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 3540549471
- ISBN-13: 9783540549475
- Erscheinungsdatum: 27.11.1991
Sprache:
Englisch
Kommentar zu "Specification and Compositional Verification of Real-Time Systems"
0 Gebrauchte Artikel zu „Specification and Compositional Verification of Real-Time Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specification and Compositional Verification of Real-Time Systems".
Kommentar verfassen