A timeband framework for modelling real-time systems

DOI10.1007/s11241-010-9094-5zbMath1197.68032OpenAlexW2031939519MaRDI QIDQ987537

Ian J. Hayes, Alan Burns

Publication date: 13 August 2010

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://eprints.whiterose.ac.uk/10929/1/WRRO_author_version_front_page.pdf

zbMATH Keywords

modellingreal-time systems

Mathematics Subject Classification ID

Computer system organization (68M99)

Related Items (7)

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ Towards an Algebra for Real-Time Programs ⋮ Dynamic networks of heterogeneous timed machines ⋮ Heterogeneous and asynchronous networks of timed systems ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Reasoning about goal-directed real-time teleo-reactive programs

Uses Software

• ProofPower
• Z
• Circus

Cites Work

• Embedding time granularity in a logical specification language for synchronous real-time systems
• A refinement strategy for Circus
• A UTP semantics for \textsf{Circus}
• Towards a general theory of action and time
• A calculus of durations
• Time, clocks, and the ordering of events in a distributed system
• Representing and Reasoning about Temporal Granularities
• Temporalized logics and automata for time granularity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A timeband framework for modelling real-time systems