Adding time to scenarios

DOI10.1007/978-1-4020-6254-4_7MaRDI QIDQ3564019zbMATH OpenOpenAlexFDO

Authors Prakash Chandrasekaran, Madhavan Mukund

Publication date 2 June 2010

Published in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-6254-4_7

zbMATH Keywords

communicating finite-state machinesMSCtimed scenariosverification

Mathematics Subject Classification ID

Time-scale analysis and singular perturbations in control/observation systems (93C70)

Recommendations

• scientific article; zbMATH DE number 1760052
• Time consistency of MSC-2000 specifications.
• A semantics for timed MSC
• Lectures on Concurrency and Petri Nets
• Matching Scenarios with Timing Constraints

Cited in

(11)

• Checking MSC specifications for timing inconsistency
• scientific article; zbMATH DE number 1706370 (Why is no real title available?)
• Formal techniques for analysing scenarios using message sequence charts
• Early verification of computer systems temporal properties
• Verification of scenario-based specifications using templates
• Quantitative analysis of communication scenarios
• Matching Scenarios with Timing Constraints
• Checking Coverage for Infinite Collections of Timed Scenarios
• scientific article; zbMATH DE number 1956501 (Why is no real title available?)
• scientific article; zbMATH DE number 1836357 (Why is no real title available?)
• Modal scenarios as automata

This page was built for publication: Adding time to scenarios

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