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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Damm, Werner (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Olderog, Ernst-Rüdiger (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2469
• Θέματα: Programming languages (Electronic computers).; Software engineering.; Architecture, Computer.; Computer logic.; Microprocessors.; Special purpose computers.; Programming Languages, Compilers, Interpreters.; Software Engineering/Programming and Operating Systems.; Computer System Implementation.; Logics and Meanings of Programs.; Processor Architectures.; Special Purpose and Application-Based Systems.

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solu...

Πίνακας περιεχομένων:

• Invited Tutorials
• UppaaL Implementation Secrets
• Software Hazard and Safety Analysis
• 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 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 NP-Easy: 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.