Scenario-based consistency verification of component-based real-time system designs

MaRDI QIDQ5469523zbMATH OpenFDO

Authors

Publication date 19 May 2006

Mathematics Subject Classification ID

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

Recommendations

• Scenario-Based Timing Consistency Checking for Time Petri Nets
• Scenario-based verification of real-time systems using UPPAAL
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• Modeling and specification of real-time interfaces with UTP
• Checking conformance for time-constrained scenario-based specifications

Cited in

(6)

• Requirements specifications checking of embedded real time software
• Specification and analysis of timing requirements for real-time systems in the CBD approach
• Modeling and specification of real-time interfaces with UTP
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• Verifying distributed real-time properties of embedded systems via graph transformations and model checking
• Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution

This page was built for publication: Scenario-based consistency verification of component-based real-time system designs

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