A Timeband Framework for Modelling Real-Time Systems
Alan Burns and Ian J. Hayes
Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems, it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and developed in this paper.
BibTex Entry
@article{Burns2010i,
accepted = {Accepted for publication 19 March 2010},
author = {Alan Burns and Ian J. Hayes},
doi = {10.1007/s11241-010-9094-5},
for = {080309 (Software Engineering)},
issn = {0922-6443 (Print) 1573-1383 (Online)},
journal = {Real-Time Systems},
keyword = {Real-time systems, time bands},
link = {http://www.springerlink.com/content/100334/?Content+Status=Accepted},
month = {June},
number = {1--2},
online = {Published online 20 April 2010},
pages = {106--142},
project = {TfTR},
publisher = {Springer Verlag},
seo = {890299 (Computer Software and Services not elsewhere classified)},
title = {A Timeband Framework for Modelling Real-Time Systems},
volume = {45},
year = {2010}
}