HRT-HOOD - A STRUCTURED DESIGN METHOD FOR HARD REAL-TIME SYSTEMS

被引:54
作者
BURNS, A
WELLINGS, AJ
机构
[1] Real-time and Distributed Systems Research Group, Department of Computer Science, University of York, Heslington, YO1 5DD, York
关键词
D O I
10.1007/BF01245300
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Most structured design methods claim to address the needs of hard real-time systems. However, few contain abstractions which directly relate to common hard real-time activities, such as periodic or sporadic processes. Furthermore, the methods do not constrain the designer to produce systems which can be analyzed for their timing properties. In this article we present a structured design method called HRT-HOOD (Hard Real-Time Hierarchical Object Oriented Design). HRT-HOOD is an extension of HOOD, and includes object types which enable common hard real-time abstractions to be represented. The method is presented in the context of a hard real-time system life cycle, which enables issues of timeliness and dependability to be addressed much earlier on in the development process. We argue that this will enable dependable real-time systems to be engineered in a more cost effective manner than the current practice, which in effect treats these topics as performance issues. To illustrate our approach we present a simple case study of a Mine Drainage Control System, and show how it can be designed using the abstractions presented in the article.
引用
收藏
页码:73 / 114
页数:42
相关论文
共 49 条
[1]  
ANDSLEY NC, 1991, RTRG106 U YORK DEP C
[2]  
Audsley N. C., 1993, Control Engineering Practice, V1, P71, DOI 10.1016/0967-0661(93)92105-D
[3]  
AUDSLEY NC, 1991, 10TH P IFAC WORKSH D
[4]   TASK ALLOCATION IN FAULT-TOLERANT DISTRIBUTED SYSTEMS [J].
BANNISTER, JA ;
TRIVEDI, KS .
ACTA INFORMATICA, 1983, 20 (03) :261-281
[5]  
BARRETT PA, 1990, 20TH P INT S FAULT T, P481
[6]  
Brinch-Hansen P., 1973, OPERATING SYSTEM PRI
[7]  
Buhr R., 1984, SYSTEM DESIGN ADA
[8]   SCHEDULING HARD REAL-TIME SYSTEMS - A REVIEW [J].
BURNS, A .
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03) :116-128
[9]   A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS [J].
BURNS, A ;
LISTER, AM .
COMPUTER JOURNAL, 1991, 34 (02) :173-181
[10]  
BURNS A, 1991, DEV DESIGN METHODOLO