Coverart for item
The Resource Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings, H. Langmaack, W.-P. de Roever, J. Vytopil, eds

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings, H. Langmaack, W.-P. de Roever, J. Vytopil, eds

Label
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
Statement of responsibility
H. Langmaack, W.-P. de Roever, J. Vytopil, eds
Title variation
ProCoS
Contributor
Subject
Genre
Language
eng
Summary
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 Lübeck, 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
Member of
Cataloging source
SCPER
Dewey number
004/.33
Illustrations
illustrations
Index
no index present
LC call number
QA76.54
LC item number
.F66 1994eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1943-
  • 1947-
http://library.link/vocab/relatedWorkOrContributorName
  • Langmaack, Hans
  • Roever, W.-P. de
  • Vytopil, J.
  • Working Group Provably Correct Systems
Series statement
Lecture notes in computer science
Series volume
863
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
  • Fault-tolerant computing
  • Real-time data processing
Label
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings, H. Langmaack, W.-P. de Roever, J. Vytopil, eds
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Hybrid verification by exploiting the environment -- Correctness of real time systems by construction -- Specifying and verifying fault-tolerant systems -- Development of hybrid systems -- Linear duration invariants -- Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs -- A comparison of Statecharts variants -- A calculus of stochastic systems -- Verification of an audio control protocol -- Verifying invariance properties of timed systems with duration variables -- Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets -- Designing and implementing correct real-time systems -- Specification and refinement of finite dataflow networks -- a relational approach -- Activation-oriented specification of real-time systems -- Provably Correct Systems -- Simulation approach to provably correct hardware compilation -- Verification methods for the divergent runs of clock systems -- Fault-tolerant bisimulation and process transformations -- Layering of real-time distributed processes -- Testing and refinement for nondeterministic and probabilistic processes -- Proving safety properties of hybrid systems -- A layered real-time specification of a RISC processor -- A real time fault tolerant microprocessor based On-Board Computer System for INSAT-2 spacecraft -- Reasoning about durations in Metric Temporal Logic -- Scheduling in critical real-time systems: a manifesto -- Stepwise development of fault-tolerant reactive systems -- Distributed implementation of SIGNAL: Scheduling & graph clustering -- Derivation of the input conditional formula from a reactive system specification in temporal logic -- From physical modelling to compositional models of hybrid systems -- Specification and transformation of reactive systems with time restrictions and concurrency -- Languages for reactive specifications: Synchrony vs asynchrony -- Specification and verification of controlled systems -- Towards a duration calculus proof assistant in PVS -- Algebraic reasoning for real-time probabilistic processes with uncertain information -- Specifying timed state sequences in powerful decidable logics and timed automata -- A calculus for hybrid sampled data systems -- Formal design of hybrid systems -- A formal proof of the Deadline Driven scheduler -- Tools Demonstration
Control code
326712699
Dimensions
unknown
Extent
1 online resource (xiv, 787 pages)
Form of item
online
Isbn
9783540489849
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-58468-4
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)326712699
Label
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings, H. Langmaack, W.-P. de Roever, J. Vytopil, eds
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Hybrid verification by exploiting the environment -- Correctness of real time systems by construction -- Specifying and verifying fault-tolerant systems -- Development of hybrid systems -- Linear duration invariants -- Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs -- A comparison of Statecharts variants -- A calculus of stochastic systems -- Verification of an audio control protocol -- Verifying invariance properties of timed systems with duration variables -- Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets -- Designing and implementing correct real-time systems -- Specification and refinement of finite dataflow networks -- a relational approach -- Activation-oriented specification of real-time systems -- Provably Correct Systems -- Simulation approach to provably correct hardware compilation -- Verification methods for the divergent runs of clock systems -- Fault-tolerant bisimulation and process transformations -- Layering of real-time distributed processes -- Testing and refinement for nondeterministic and probabilistic processes -- Proving safety properties of hybrid systems -- A layered real-time specification of a RISC processor -- A real time fault tolerant microprocessor based On-Board Computer System for INSAT-2 spacecraft -- Reasoning about durations in Metric Temporal Logic -- Scheduling in critical real-time systems: a manifesto -- Stepwise development of fault-tolerant reactive systems -- Distributed implementation of SIGNAL: Scheduling & graph clustering -- Derivation of the input conditional formula from a reactive system specification in temporal logic -- From physical modelling to compositional models of hybrid systems -- Specification and transformation of reactive systems with time restrictions and concurrency -- Languages for reactive specifications: Synchrony vs asynchrony -- Specification and verification of controlled systems -- Towards a duration calculus proof assistant in PVS -- Algebraic reasoning for real-time probabilistic processes with uncertain information -- Specifying timed state sequences in powerful decidable logics and timed automata -- A calculus for hybrid sampled data systems -- Formal design of hybrid systems -- A formal proof of the Deadline Driven scheduler -- Tools Demonstration
Control code
326712699
Dimensions
unknown
Extent
1 online resource (xiv, 787 pages)
Form of item
online
Isbn
9783540489849
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-58468-4
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)326712699

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...