Modelling temporal behaviour in complex systems with Timebands

DOI10.1007/s10703-013-0193-5zbMath1291.68271OpenAlexW2056823793MaRDI QIDQ2248089

Kun Wei, Alan Burns, J. C. P. Woodcock

Publication date: 30 June 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://eprints.whiterose.ac.uk/94536/1/modelling_temporal_behaviour.pdf

zbMATH Keywords

CircusUTPcomplex real-time systemstime bands

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Towards Algebraic Semantics of Circus Time

Uses Software

• SPIN
• Uppaal
• ProofPower
• Z
• Isabelle/Circus
• Circus

Cites Work

• Timewise refinement for communicating processes
• Embedding time granularity in a logical specification language for synchronous real-time systems
• A process algebraic framework for specification and validation of real-time systems
• A timeband framework for modelling real-time systems
• A UTP semantics for \textsf{Circus}
• A theory of timed automata
• Unifying theories in ProofPower-Z
• The Miracle of Reactive Programming
• A really temporal logic
• The benefits of relaxing punctuality
• Representing and Reasoning about Temporal Granularities
• Temporalized logics and automata for time granularity
• An axiomatic basis for computer programming
• Integrated Formal Methods
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modelling temporal behaviour in complex systems with Timebands