Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

Editors: Vytopil, Jan (Ed.)

Free Preview

Buy this book

eBook $119.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46692-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.00
price for USA in USD
  • ISBN 978-3-540-55092-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (32 chapters)

Table of contents (32 chapters)
  • ISL: An interval logic for the specification of real-time programs

    Goswami, Asis (et al.)

    Pages 1-20

  • Duration specifications for shared processors

    Chaochen, Zhou (et al.)

    Pages 21-32

  • A compositional semantics for fault-tolerant real-time systems

    Coenen, J. (et al.)

    Pages 33-51

  • Modelling real-time behavior with an interval time calculus

    Daniels, Mats

    Pages 53-71

  • Multicycles and RTL logic satisfiability

    Millet, Odile

    Pages 73-86

Buy this book

eBook $119.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46692-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.00
price for USA in USD
  • ISBN 978-3-540-55092-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Editors
  • Jan Vytopil
Series Title
Lecture Notes in Computer Science
Series Volume
571
Copyright
1991
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46692-5
DOI
10.1007/3-540-55092-5
Softcover ISBN
978-3-540-55092-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 628
Topics