A timeband framework for modelling real-time systems

Burns, Alan and Hayes, Ian J. (2010) A timeband framework for modelling real-time systems. Real-time Systems [computer resource], 45 1-2: 106-142. doi:10.1007/s11241-010-9094-5

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Burns, Alan
Hayes, Ian J.
Title A timeband framework for modelling real-time systems
Journal name Real-time Systems [computer resource]   Check publisher's open access policy
ISSN 0922-6443
1573-1383
Publication date 2010-06
Sub-type Article (original research)
DOI 10.1007/s11241-010-9094-5
Volume 45
Issue 1-2
Start page 106
End page 142
Total pages 37
Place of publication Boston
Publisher Kluwer Academic
Collection year 2011
Language eng
Subject 0806 Information Systems
0906 Electrical and Electronic Engineering
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. © Springer Science+Business Media, LLC 2010.
Keyword Real-time systems
Modelling
Cyber physical
Specifications
Granularities
Circus
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Published online: 20 April 2010

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2011 Collection
School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 13 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 21 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sun, 13 Jun 2010, 00:00:52 EST