Delivering Real-Time Behaviour
A. Burns and A.J. Wellings
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.
Download Not Available
BibTex Entry
@incollection{Burns2007d,
author = {A. Burns and A.J. Wellings},
booktitle = {Domain Modeling and Duration Calculus},
editor = {C.W. George and Zhiming Liu and J. Woodcock},
pages = {1-50},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Delivering Real-Time Behaviour},
volume = {LNCS 4710},
year = {2007}
}