第一图书网

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

Damm, W.; Olderog, E. R.; Damm, Werner 湖南文艺出版社
出版时间:

2002-12  

出版社:

湖南文艺出版社  

作者:

Damm, W.; Olderog, E. R.; Damm, Werner  

页数:

452  

内容概要

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.

书籍目录

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


图书封面

广告

下载页面


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



相关图书