Real-Time: Theory in Practice

REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
1992
ISBN: 978-3-540-55564-3
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 600, 723 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1095 g

Reihe: Lecture Notes in Computer Science

In the past decade, the formal theory of specification,
verfication and development of real-time programs has grown
from work of a few specialized groups to a real "bandwagon".
Many eminent research groups have shifted their interests in
this direction. Consequently, research in real-time is now
entering established research areas in formal methods, such
as process algebra, temporal logic, and model checking.
This volume contains the proceedings of a workshop dedicated
to the theory of real-time with the purpose of stepping back
and viewing the results achieved as well as considering the
directions of ongoing research. The volume gives a
representative picture of what is going on in the field
worldwide, presented by eminent, active researchers. The
material in the volume was prepared by the authors after the
workshop took place and reflects the results of the workshop
discussions.

Zielgruppe

Research

Autoren/Hrsg.

Bakker, J. W. De

Rozenberg, G.

Huizing, C.

Roever, W. P. De

Fachgebiete

• Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management

Inhaltsverzeichnis

An old-fashioned recipe for real time.- Verifying automata specifications of probabilistic real-time systems.- The theory of timed automata.- Logics and models of real time: A survey.- The state operator in real time process algebra.- Timed process algebras with urgent interactions and a unique powerful binary operator.- Time in state based formal description techniques for distributed systems.- Real-time and the Mu-Calculus (preliminary report).- Implementing reactive programs on circuits a hardware implementation of LUSTRE.- Semantics and completeness of Duration Calculus.- Timed transition systems.- Compositional verification of real-time systems using extended Hoare triples.- Semantics of reactive systems in abstract time.- Problems, promises and performance: some questions for real-time system specification.- Abstraction in real time process algebra.- (Real) time: A philosophical perspective.- Specification and analysis of resource-bound real-time systems.- Forward and backward simulations for timing-based systems.- Prom timed to hybrid systems.- Coping with implementation dependencies in real-time system verification.- Validating real-time systems by executing logic specifications.- An overview and synthesis on timed process algebras.- From ATP to timed graphs and hybrid systems.- Verification of safety critical systems using TTM/RTTL.- Predicative specification of timed processes.- Putting time into proof outlines.- Timed CSP: Theory and practice.- A specification of the cat and mouse problem.- Layering and action refinement for timed systems.