By the same authors

Delivering Real-Time Behaviour

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2007
Original languageUndefined/Unknown


This paper focuses on how we can engineer systems so that they can meet their timing requirements. Four separate, but related, issues are addressed: a time band model that caters for the broad set of granularities found in a typical complex system, the delay and deadline statements that allow timing requirements to be specified, scheduling analysis that enables a set of concurrent deadlines to be verified and timing analysis that enables sequential code to be inspected to determine its worst case behaviour. These four topics together with a number of other techniques and tool described in the paper allow real-time behaviour to be delivered.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations