Online testing of real-time systems using Uppaal

DOI10.1007/978-3-540-31848-4_6MaRDI QIDQ5710654zbMATH OpenOpenAlexFDO

Authors Marius Mikučionis, Brian Nielsen, Kim G. Larsen

Publication date 2 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106767

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Approaches to Software Testing
• Scenario-based verification of real-time systems using UPPAAL
• A method for testing real-time systems based on timed automata

Cited in

(18)

• Testing from a stochastic timed system with a fault model
• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Monitoring timed properties (revisited)
• Trading plaintext-awareness for simulatability to achieve chosen ciphertext security
• Modelling timed reactive systems from natural-language requirements
• Conformance Testing Relations for Timed Systems
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• On Conformance Testing for Timed Systems
• Connectivity testing through model-checking
• Control Strategies for Off-Line Testing of Timed Systems
• Testing using CSP Models: Time, Inputs, and Outputs
• Formal Approaches to Software Testing
• Control strategies for off-line testing of timed systems
• Scenario-based verification of real-time systems using UPPAAL
• RoboWorld: verification of robotic systems with environment in the loop
• Time for timed monitorability
• Conformance testing for real-time systems
• Scalable online feasibility tests for admission control in a Java real-time system

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Online testing of real-time systems using Uppaal

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