Delivering Real-Time Behaviour

DOI10.1007/978-3-540-74964-6_1MaRDI QIDQ3525017zbMATH OpenOpenAlexFDO

Authors Alan Burns, Andy Wellings

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74964-6_1

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of software (68N99)

Recommendations

• An engineering process for the verification of real-time systems
• Specification and timing analysis of real-time systems
• Analysis of scheduling behaviour using generic timed automata
• Rigorous implementation of real-time systems -- from theory to application
• scientific article; zbMATH DE number 53319

Cited in

(6)

• Time aspects in requirements engineering: Or `every cloud has a silver lining'
• Specification and timing analysis of real-time systems
• Modelling temporal behaviour in complex systems with Timebands
• Specification and analysis of timing requirements for real-time systems in the CBD approach
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1729260 (Why is no real title available?)

This page was built for publication: Delivering Real-Time Behaviour

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