Specification and analysis of timing requirements for real-time systems in the CBD approach

DOI10.1007/S11241-007-9017-2MaRDI QIDQ2642537zbMATH OpenOpenAlexFDO

Authors Woojin Lee, Heung Seok Chae, Yong Rae Kwon, Ho-Kyoung Lee

Publication date 17 August 2007

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11241-007-9017-2

zbMATH Keywords

CBDComponentCompositional analysisPetri netsReal-time systemTiming analysisTiming constraints

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Scenario-based consistency verification of component-based real-time system designs
• Specification and timing analysis of real-time systems
• Formal Modeling and Analysis of Timed Systems
• Delivering Real-Time Behaviour
• scientific article; zbMATH DE number 1956483

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 108536 (Why is no real title available?)
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Statecharts: a visual formalism for complex systems
• Toward a discipline of real-time programming

Cited in

(4)

• scientific article; zbMATH DE number 1104397 (Why is no real title available?)
• FM 2005: Formal Methods
• Specifying multi-level security for an embedded real-time control system
• Enforceable component-based realtime contracts. Supporting realtime properties from software development to execution

This page was built for publication: Specification and analysis of timing requirements for real-time systems in the CBD approach

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