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

DOI10.1007/s11241-007-9017-2zbMath1118.68094OpenAlexW2038115166MaRDI QIDQ2642537

Yong Rae Kwon, Heung Seok Chae, Woojin Lee, 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

Petri netsComponentReal-time systemTiming analysisCBDCompositional analysisTiming constraints

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Toward a discipline of real-time programming
• Recoverability of Communication Protocols--Implications of a Theoretical Study

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