Cover Image
Read Now

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

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...

Full description

Bibliographic Details
Other Authors: Damm, Werner (Editor), Olderog, Ernst-Rüdiger (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:1st ed. 2002
Series:Lecture Notes in Computer Science
Subjects:
Computer Systems
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Computer System Implementation
Processor Architectures
Microprocessors
Special Purpose And Application-based Systems
Computers, Special Purpose
Computer Architecture
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items