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

Circuscomplex real-time systemstime bandsUTP

Mathematics Subject Classification ID

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

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

• 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
• A UTP semantics for \textsf{Circus}
• An axiomatic basis for computer programming
• Embedding time granularity in a logical specification language for synchronous real-time systems
• 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?)
• Integrated Formal Methods
• Representing and Reasoning about Temporal Granularities
• Temporalized logics and automata for time granularity
• The benefits of relaxing punctuality
• The Miracle of Reactive Programming
• 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

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

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)