White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

A timeband framework for modelling real-time systems

Burns, A. and Hayes, I.J. (2010) A timeband framework for modelling real-time systems. Real-Time Systems. pp. 106-142. ISSN 1573-1383

Full text available as:
[img] Text (WRRO_author_version_front_page.pdf)
WRRO_author_version_front_page.pdf - Draft Version

Download (506Kb)

Abstract

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.

Item Type: Article
Copyright, Publisher and Additional Information: © 2010 Springer Verlag. This is an author produced version of a paper published in REAL-TIME SYSTEMS. Uploaded in accordance with the publisher's self archiving policy.
Keywords: Electrical and Electronic Engineering, Computer Networks and Communications, Computer Science Applications, Control and Systems Engineering, Control and Optimization, Modelling and Simulation
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: Repository Administrator York
Date Deposited: 20 Jun 2010 18:32
Last Modified: 16 Nov 2014 01:01
Published Version: http://dx.doi.org/10.1007/s11241-010-9094-5
Status: Published
Refereed: Yes
Related URLs:
URI: http://eprints.whiterose.ac.uk/id/eprint/10929

Actions (repository staff only: login required)