+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - Procos, Lubeck, Germany, September 19 - 23, 1994. Proceedings - Hans Langmaack

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - Procos, Lubeck, Germany, September 19 - 23, 1994. Proceedings

By: Hans Langmaack (Editor), Willem-Paul de Roever (Editor), Jan Vytopil (Editor)

Paperback Published: 7th September 1994
ISBN: 9783540584681
Number Of Pages: 787

Share This Book:


or 4 easy payments of $53.31 with Learn more
Ships in 15 business days

Earn 426 Qantas Points
on this Book

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lubeck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

Hybrid Verification by Exploiting the Environmentp. 1
Correctness of Real Time Systems by Constructionp. 19
Specifying and Verifying Fault-Tolerant Systemsp. 41
Development of Hybrid Systemsp. 77
Linear Duration Invariantsp. 86
Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programsp. 110
A Comparison of Statecharts Variantsp. 128
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systemsp. 149
Verification of an Audio Control Protocolp. 170
Verifying Invariance Properties of Timed Systems with Duration Variablesp. 193
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Netsp. 211
Designing and Implementing Correct Real-Time Systemsp. 228
Specification and Refinement of Finite Dataflow Networks - a Relational Approachp. 247
Activation-Oriented Specification of Real-Time Systemsp. 268
Provably Correct Systemsp. 288
Simulation Approach to Provably Correct Hardware Compilationp. 336
Verification Methods for the Divergent Runs of Clock Systemsp. 351
Fault-Tolerant Bisimulation and Process Transformationsp. 373
Layering of Real-Time Distributed Processesp. 393
Testing and Refinement for Nondeterministic and Probabilistic Processesp. 418
Proving Safety Properties of Hybrid Systemsp. 431
A Layered Real-Time Specification of a RISC Processorp. 455
A Real Time Fault Tolerant Microprocessor based On-Board Computer System for INSAT-2 Spacecraftp. 476
Reasoning about Durations in Metric Temporal Logicp. 488
Scheduling in Critical Real-Time Systems: a Manifestop. 511
Stepwise Development of Fault-Tolerant Reactive Systemsp. 529
Distributed Implementation of SIGNAL: Scheduling and Graph Clusteringp. 547
Derivation of the Input Conditional Formula from a Reactive System Specification in Temporal Logicp. 567
From Physical Modelling to Compositional Models of Hybrid Systemsp. 583
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrencyp. 605
Languages for Reactive Specifications: Synchrony Vs Asynchronyp. 621
Specification and Verification of Controlled Systemsp. 641
Towards a Duration Calculus Proof Assistant in PVSp. 660
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Informationp. 680
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automatap. 694
A Calculus for Hybrid Sampled Data Systemsp. 716
Formal Design of Hybrid Systemsp. 738
A Formal Proof of the Deadline Driven Schedulerp. 756
Statematep. 776
The PVS Verification System and PC/DCp. 777
The DST Z-Toolsp. 778
The VDM Domain Compilerp. 779
Case Study Production Cellp. 780
IFAD VDM-SL Toolboxp. 781
Control Specification Language - CSLp. 782
System Verification Environment - SVEp. 783
ITEX-DE: A TTCN Development Environmentp. 784
SDT: The SDL Design Toolp. 785
Tatzelwurmp. 786
Formal Specification and Verification Using KIVp. 787
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540584681
ISBN-10: 3540584684
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 787
Published: 7th September 1994
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 4.09
Weight (kg): 1.12

Earn 426 Qantas Points
on this Book