A timeband framework for modelling real-time systems

被引：21

作者：

Burns, Alan ^{[1
]}

Hayes, Ian J. ^{[2
]}

机构：

[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England

[2] Univ Queensland, Sch Informat Technol & Elect Engn, Brisbane, Qld, Australia

来源：

REAL-TIME SYSTEMS | 2010年 / 45卷 / 1-2期

基金：

澳大利亚研究理事会; 英国工程与自然科学研究理事会;

关键词：

Real-time systems; Modelling; Cyber physical; SPECIFICATIONS; GRANULARITIES; CIRCUS;

D O I：

10.1007/s11241-010-9094-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：106 / 142

页数：37

共 50 条

[1] TOWARDS A GENERAL-THEORY OF ACTION AND TIME [J].

ALLEN, JF .

ARTIFICIAL INTELLIGENCE, 1984, 23 (02) :123-154

[2]

[Anonymous], 1993, Human reliability analysis: Context and control

[3]

Baxter G, 2007, CONTEMPORARY ERGONOMICS 2007, P55

[4] Temporal frameworks and individual cultural activities -: Four typical profiles [J].

Bergadaa, Michelle .

TIME & SOCIETY, 2007, 16 (2-3) :387-407

[5]

Bettini C., 1997, TEMPORAL DATABASES, P406

[6]

BLOUNT S, 2007, ORG LIMIT, P122

[7] A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS [J].

BURNS, A ;

LISTER, AM .

COMPUTER JOURNAL, 1991, 34 (02) :173-181

[8]

BURNS A, 2005, 390 YCS U YORK

[9]

Burns A, 2006, STRUCTURE FOR DEPENDABILITY: COMPUTER-BASED SYSTEMS FROM AN INTERDISCIPLINARY PERSPECTIVE, P74, DOI 10.1007/1-84628-111-3_4

[10]

Cavalcanti A., 2003, Formal Aspects of Computing, V15, P146, DOI 10.1007/s00165-003-0006-5

← 1 2 3 4 5 →