Modelling temporal behaviour in complex systems with Timebands

DOI10.1007/S10703-013-0193-5MaRDI QIDQ2248089zbMATH OpenOpenAlexFDO

Authors Kun Wei, Alan Burns, Jim 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

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

Recommendations

• A timeband framework for modelling real-time systems
• A functional model for describing and reasoning about time behaviour of computing systems
• Delivering Real-Time Behaviour
• Refinement of time
• A categorical view of timed behaviours

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1949640 (Why is no real title available?)
• A UTP semantics for \textsf{Circus}
• A process algebraic framework for specification and validation of real-time systems
• A really temporal logic
• A theory of timed automata
• A timeband framework for modelling real-time systems
• An axiomatic basis for computer programming
• Embedding time granularity in a logical specification language for synchronous real-time systems
• Integrated Formal Methods
• Representing and Reasoning about Temporal Granularities
• Temporalized logics and automata for time granularity
• The Miracle of Reactive Programming
• The benefits of relaxing punctuality
• Timewise refinement for communicating processes
• Unifying theories in ProofPower-Z

Cited in

(2)

• Towards Algebraic Semantics of Circus Time
• A timeband framework for modelling real-time systems

Describes a project that uses

Uses Software

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

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

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