Scenario-based verification of real-time systems using UPPAAL

DOI10.1007/S10703-010-0103-ZMaRDI QIDQ633291zbMATH OpenOpenAlexFDO

Authors Shuhao Li, Sandie Balaguer, Alexandre David, Brian Nielsen, Saulius Pusinskas, Kim G. Larsen

Publication date 31 March 2011

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-010-0103-z

zbMATH Keywords

verificationmodelingtimed automatareal-time systemscenariolive sequence chart

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1746447
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1696448
• Uppaal in a nutshell
• Model-checking for real-time systems

Cites work

• scientific article; zbMATH DE number 1701777 (Why is no real title available?)
• scientific article; zbMATH DE number 1979562 (Why is no real title available?)
• scientific article; zbMATH DE number 2006497 (Why is no real title available?)
• scientific article; zbMATH DE number 5044575 (Why is no real title available?)
• A theory of timed automata
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• Formal Methods for the Design of Real-Time Systems
• Foundations of Software Science and Computation Structures
• Kronos: A verification tool for real-time systems
• LSCs: Breathing life into message sequence charts
• On the Expressive Power of Live Sequence Charts
• Real-time system = discrete system + clock variables
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• Scenario-based verification of real-time systems using UPPAAL
• Schedulability of asynchronous real-time concurrent objects
• The computational complexity of scenario-based agent verification and design
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of a radio-based signaling system using the STATEMATE verification environment

Cited in

(11)

• Scenario-based consistency verification of component-based real-time system designs
• Speeding up model checking of timed-models by combining scenario specialization and live component analysis
• scientific article; zbMATH DE number 1696495 (Why is no real title available?)
• scientific article; zbMATH DE number 1759739 (Why is no real title available?)
• Verification of the legOS scheduler using Uppaal
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1746447 (Why is no real title available?)
• scientific article; zbMATH DE number 2006497 (Why is no real title available?)
• scientific article; zbMATH DE number 1696448 (Why is no real title available?)
• Scenario-based verification of real-time systems using UPPAAL
• SMT-based scenario verification for hybrid systems

Describes a project that uses

Uses Software

• Kronos
• Uppaal

This page was built for publication: Scenario-based verification 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 Q633291)