skip to content
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings Preview this item
ClosePreview this item
Checking...

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings

Author: J Vytopil
Publisher: Berlin ; New York : Springer-Verlag, ©1991.
Series: Lecture notes in computer science, 571.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
(OCoLC)24907268
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Vytopil
ISBN: 9783540466925 3540466924
OCLC Number: 321283831
Description: 1 online resource (ix, 620 pages) : illustrations.
Contents: ISL: An interval logic for the specification of real-time programs.- Duration specifications for shared processors.- A compositional semantics for fault-tolerant real-time systems.- Modelling real-time behavior with an interval time calculus.- Multicycles and RTL logic satisfiability.- Voluntary preemption: A tool in the design of hard real-time systems.- Observing task preemption in Ada 9X.- Real-time scheduling by queue automata.- Broadcast communication for real-time processes.- Analysis of timeliness requirements in safety-critical systems.- Verification of a reliable net protocol.- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization.- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems.- On fault-tolerant symbolic computations.- Temporal logic applied to reliability modelling of fault-tolerant systems.- Specifying asynchronous transfer of control.- Protocol design by layered decomposition.- Scheduling in Real-Time Models.- A temporal approach to requirements specification of real-time systems.- RLucid, a general real-time dataflow language.- A mechanized theory for the verification of real-time program code using higher order logic.- Specification and verification of real-time behaviour using Z and RTL.- TAM: A formal framework for the development of distributed real-time systems.- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language.- The real-time behaviour of asynchronously communicating processes.- Asynchronous communication in real space process algebra.- Translating timed process algebra into prioritized process algebra.- Operational semantics for timed observations.- Real-timed concurrent refineable behaviours.- Stepwise development of model-oriented real-time specifications from action/event models.- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic.- Timed and Hybrid Statecharts and their textual representation.
Series Title: Lecture notes in computer science, 571.
Responsibility: J. Vytopil (ed.).

Abstract:

Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/321283831> # Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "321283831" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4417341243#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
   schema:about <http://experiment.worldcat.org/entity/work/data/4417341243#Topic/real_time_data_processing> ; # Real-time data processing
   schema:about <http://id.worldcat.org/fast/1091219> ; # Real-time data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/4417341243#Topic/fault_tolerant_computing> ; # Fault-tolerant computing
   schema:about <http://dewey.info/class/004.33/e20/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/51790460> ; # Jan Vytopil
   schema:copyrightYear "1991" ;
   schema:datePublished "1991" ;
   schema:description "This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4417341243> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4417341243#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/24907268> ;
   schema:name "Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings"@en ;
   schema:productID "321283831" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/321283831#PublicationEvent/berlin_new_york_springer_verlag_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4417341243#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-55092-1> ;
   schema:url <http://dx.doi.org/10.1007/3-540-55092-5> ;
   schema:workExample <http://worldcat.org/isbn/9783540466925> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/321283831> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417341243#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417341243#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/321283831> ; # Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1091219> # Real-time data processing
    a schema:Intangible ;
   schema:name "Real-time data processing"@en ;
    .

<http://id.worldcat.org/fast/921988> # Fault-tolerant computing
    a schema:Intangible ;
   schema:name "Fault-tolerant computing"@en ;
    .

<http://viaf.org/viaf/51790460> # Jan Vytopil
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Vytopil" ;
   schema:givenName "Jan" ;
   schema:givenName "J." ;
   schema:name "Jan Vytopil" ;
    .

<http://worldcat.org/isbn/9783540466925>
    a schema:ProductModel ;
   schema:isbn "3540466924" ;
   schema:isbn "9783540466925" ;
    .

<http://www.worldcat.org/oclc/24907268>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/321283831> ; # Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
    .

<http://www.worldcat.org/title/-/oclc/321283831>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/321283831> ; # Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
   schema:dateModified "2017-10-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.