Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Invited Tutorials.- UppaaL Implementation Secrets.- Software Hazard and Safety Analysis.- Invited Papers.- Real-Time Operating Problems and Novel Solutions.- Real-Time UML.- Eager Class Initialization for Java.- Applications of Formal Methods in Biology.- An Overview of Formal Verification for the Time-Triggered Architecture.- Scheduler Modeling Based on the Controller Synthesis Paradigm.- Synthesis and Scheduling.- Component-Based Synthesis of Dependable Embedded Software.- From the Specification to the Scheduling of Time-Dependent Systems.- On Control with Bounded Computational Resources.- Timed Automata I.- Decidability of Safety Properties of Timed Multiset Rewriting.- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.- Fault Diagnosis for Timed Automata.- Bounded Model Checking.- Verification of Timed Automata via Satisfiability Checking.- Take It Bounded Model Construction for Duration Calculus.- Towards Bounded Model Checking for the Universal Fragment of TCTL.- Verification and Conformance Testing.- A Typed Interrupt Calculus.- Parametric Verification of a Group Membership Algorithm.- A Method for Testing the Conformance of Real Time Systems.- UML Models and Model Checking.- A Probabilistic Extension of UML Statecharts.- Eliminating Queues from RT UML Model Representations.- Model Checking Timed UML State Machines and Collaborations.- Timed Automata II.- Partial Order Path Technique for Checking Parallel Timed Automata.- Constructing Test Automata from Graphical Real-Time Requirements.