Testing timed automata

DOI10.1016/S0304-3975(99)00134-6MaRDI QIDQ5940921zbMATH OpenFDO

Authors J. Springintveld, F. Vaandrager, P. R. D'Argenio

Publication date 20 August 2001

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(99)00134-6

zbMATH Keywords

(black-box) conformance testingbisimulationI/O automatareal-time systemstimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1701769
• Model Checking Software
• Conformance testing for real-time systems
• Conformance tests for real-time systems with timed automata specifications
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Cites work

• A theory of timed automata
• Automated verification of an audio-control protocol using UPPAAL
• Efficient scaling-invariant checking of timed bisimulation
• scientific article; zbMATH DE number 3888886 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 3328721 (Why is no real title available?)
• Liveness in timed and untimed systems
• Symbolic model checking for real-time systems
• Testing Software Design Modeled by Finite-State Machines
• Uppaal in a nutshell

Cited in

(36)

• Testing from a stochastic timed system with a fault model
• Passive testing with asynchronous communications and timestamps
• Synthesis of distinguishing test cases for timed finite state machines
• A graph based semantics for logical functional diagrams in power plant controllers
• Testing real-time systems using determinization techniques for automata over timed domains
• Introducing complexity to formal testing
• An integer programming approach for the Chinese postman problem with time-dependent travel time
• Simulation testing of automata
• Formal testing from timed finite state machines
• Grid automata and supervisory control of dense real-time discrete event systems
• A local approach to the testing of real-time systems
• scientific article; zbMATH DE number 1701769 (Why is no real title available?)
• Towards deriving test sequences by model checking
• Off-line test selection with test purposes for non-deterministic timed automata
• Off-line test selection with test purposes for non-deterministic timed automata
• A General Testability Theory
• A method for testing real-time systems based on timed automata
• Conformance Testing Relations for Timed Systems
• A method for testing real-time system based on timed automata
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Efficiently identifying deterministic real-time automata from labeled data
• scientific article; zbMATH DE number 2013786 (Why is no real title available?)
• A menagerie of timed automata
• Complete model-based equivalence class testing for nondeterministic systems
• Model Checking Software
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• FM 2005: Formal Methods
• Control Strategies for Off-Line Testing of Timed Systems
• SetExp: a method of transformation of timed automata into finite state automata
• Learning of event-recording automata
• Testing membership for timed automata
• Control strategies for off-line testing of timed systems
• Equivalence checking and intersection of deterministic timed finite state machines
• Repairing timed automata clock guards through abstraction and testing
• An optimised complete strategy for testing symbolic finite state machines
• Conformance testing for real-time systems

Describes a project that uses

Uses Software

• HyTech
• Uppaal
• Kronos

This page was built for publication: Testing timed automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5940921)