实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems

书籍目录

I  Invited Tutorials　UPPAAL Implementation Secrets　Software Hazard and Safety AnalysisII  Invited Papers　Real-Time Operating Systems: 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 Architectm　Scheduler Modeling Based on the Controller Synthesis ParadigmIII  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 ResourcesIV  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  V  Bounded Model Checking　Verification of Timed Automata via Satisfiability Checking　Take It NP-Easy: Bounded Model Construction for Duration Calculus　Towards Bounded Model Checking for the Universal Fragment of TCTLVI  Verification and Conformance Testing　A Typed Interrupt Calculus　Parametric Verification of a Group Membership Algorithm　A Method for Testing the Conformance of Real Time SystemsVII  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 CollaborationsVIII  Timed Automata II　Partial Order Path Technique for Checking Parallel Timed Automata 　Constructing Test Automata from Graphical Real-Time RequirementsAuthor Index

作者简介

This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002.The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing, and UML models and model checking.

 实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems下载