Spezifikation und Kompositionsprüfung von Echtzeitsystemen von Jozef Hooma

EUR 80,54 Sofort-Kaufen, EUR 9,94 Versand, 30-Tag Rücknahmen, eBay-Käuferschutz
Verkäufer: the_nile_uk_store ✉️ (20.250) 98.3%, Artikelstandort: Ohio, US, Versand nach: WORLDWIDE, Artikelnummer: 235491988128 Spezifikation und Kompositionsprüfung von Echtzeitsystemen von Jozef Hooma. The Nile on eBay   FREE SHIPPING UK WIDE  

Specification and Compositional Verification of Real-Time Systems

by Jozef Hooman

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.

FORMAT Paperback LANGUAGE English CONDITION Brand New

Publisher Description

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.

Notes

This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming.

Table of Contents

Compositionality.- Compositionality and real-time.- Adding program variables.- Shared processors.- Concluding remarks.

Promotional

Springer Book Archives

Description for Sales People

This monograph presents two formal methods for the specification and compositional verification of real-time systems. One uses a real-time extension of temporal logic and the other is based on extended Hoare triples. Programs consist of concurrent processes with synchronous message passing. The maximal parallelism model is extended to multiprogramming.

Details ISBN3540549471 Author Jozef Hooman Short Title SPECIFICATION & COMPOSITIONAL Series Lecture Notes in Computer Science Language English ISBN-10 3540549471 ISBN-13 9783540549475 Media Book Format Paperback Series Number 558 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Place of Publication Berlin Country of Publication Germany Affiliation Katholieke Universiteit Nijmegen, The Netherlands Pages 242 Illustrations X, 242 p. DOI 10.1007/b44364;10.1007/978-3-540-46602-4;10.1007/3-540-54947-1 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 1991 ed. Year 1991 Edition 1991st Publication Date 1991-11-27 DEWEY 004 Audience Postgraduate, Research & Scholarly

We've got this

At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love!


30 DAY RETURN POLICY

No questions asked, 30 day returns!

FREE DELIVERY

No matter where you are in the UK, delivery is free.

SECURE PAYMENT

Peace of mind by paying through PayPal and eBay Buyer Protection TheNile_Item_ID:158854559;

  • Condition: Neu
  • ISBN-13: 9783540549475
  • Book Title: Specification and Compositional Verification of Real-Time Systems
  • ISBN: 9783540549475
  • Publication Year: 1991
  • Type: Textbook
  • Format: Paperback
  • Language: English
  • Publication Name: Specification and Compositional Verification of Real-Time Systems
  • Item Height: 235mm
  • Author: Jozef Hooman
  • Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
  • Item Width: 155mm
  • Subject: Computer Science
  • Item Weight: 790g
  • Number of Pages: 242 Pages

PicClick Insights - Spezifikation und Kompositionsprüfung von Echtzeitsystemen von Jozef Hooma PicClick Exklusiv

  •  Popularität - 0 Beobachter, 0.0 neue Beobachter pro Tag, 3 days for sale on eBay. 0 verkauft, 10 verfügbar.
  •  Bestpreis -
  •  Verkäufer - 20.250+ artikel verkauft. 1.7% negativ bewertungen. Großer Verkäufer mit sehr gutem positivem Rückgespräch und über 50 Bewertungen.

Die Leute Mochten Auch PicClick Exklusiv