Real-Time: Theory in Practice

Abstract

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.