A timeband framework for modelling real-time systems
From MaRDI portal
Publication:987537
DOI10.1007/S11241-010-9094-5zbMATH Open1197.68032OpenAlexW2031939519MaRDI QIDQ987537FDOQ987537
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a general theory of action and time
- Time, clocks, and the ordering of events in a distributed system
- A calculus of durations
- A UTP semantics for \textsf{Circus}
- A refinement strategy for Circus
- Embedding time granularity in a logical specification language for synchronous real-time systems
- Representing and Reasoning about Temporal Granularities
- Temporalized logics and automata for time granularity
Cited In (11)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
- Theoretical Aspects of Computing – ICTAC 2005
- Extending rely-guarantee thinking to handle real-time scheduling
- Mode change protocols for real-time systems: a survey and a new proposal
- Modelling temporal behaviour in complex systems with Timebands
- Reasoning about goal-directed real-time teleo-reactive programs
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
- Time variant dynamic models in diagnosing of real-time computer systems
- Dynamic networks of heterogeneous timed machines
- Towards an Algebra for Real-Time Programs
- Heterogeneous and asynchronous networks of timed systems
Uses Software
This page was built for publication: A timeband framework for modelling real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987537)
