Description: Specification and Compositional Verification of Real-time Systems, Paperback by Hooman, Jozef, ISBN 3540549471, ISBN-13 9783540549475, Like New Used, Free shipping in the US 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.
Price: 66.4 USD
Location: Jessup, Maryland
End Time: 2024-11-22T10:16:20.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Book Title: Specification and Compositional Verification of Real-time Systems
Number of Pages: X, 242 Pages
Publication Name: Specification and Compositional Verification of Real-Time Systems
Language: English
Publisher: Springer Berlin / Heidelberg
Subject: Software Development & Engineering / General, Computer Science, Data Processing, Compilers
Publication Year: 1991
Item Weight: 27.9 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Computers
Author: J. Hooman
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
