Formal modeling and analysis of timed systems

Más información sobre el libro

InhaltsverzeichnisInvited Talk.Modular Performance Analysis of Distributed Embedded Systems.Logic and Specification.Real Time Temporal Logic: Past, Present, Future.Translating Timed I/O Automata Specifications for Theorem Proving in PVS.Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.Times Games and Synthesis.On Optimal Timed Strategies.Average Reward Timed Games.Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.Verification of Parameterized Timed Systems.Model Checking.Model Checking the Time to Reach Agreement.Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.A New Verification Procedure for Partially Clairvoyant Scheduling.Timing Analysis and Simulation Tools for Real-Time Control.Hybrid Systems.Automatic Rectangular Refinement of Affine Hybrid Systems.Reachability Problems on Extended O-Minimal Hybrid Automata.Counterexamples for Timed Probabilistic Reachability.Petri Nets.Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.Comparison of the Expressiveness of Timed Automata and Time Petri Nets.Semantics.Quantifying Similarities Between Timed Systems.Performance of Pipelined Asynchronous Systems.Is Timed Branching Bisimilarity an Equivalence Indeed?.Semantics and Modelling.Implementation of Timed Automata: An Issue of Semantics or Modeling?.Timed Abstract Non-interference.