AUTOMATING THE DEVELOPMENT OF DISTRIBUTED CONTROL SOFTWARE

被引：9
作者：
BASS, JM
BROWNE, AR
HAJJI, MS
MARRIOTT, DG
CROLL, PR
FLEMING, PJ
机构：
[1] UNIV SHEFFIELD,DEPT AUTOMAT CONTROL & SYST ENGN,SHEFFIELD,S YORKSHIRE,ENGLAND
[2] UNIV SHEFFIELD,CTR ADV COMP,PARALLEL PROC RES GRP,SHEFFIELD,S YORKSHIRE,ENGLAND
[3] ROLLS ROYCE UNIV,CTR TECHNOL CONTROL & SYST ENGN,DERBY,ENGLAND
来源：
IEEE PARALLEL & DISTRIBUTED TECHNOLOGY | 1994年 / 2卷 / 04期
关键词：
D O I：
10.1109/88.345964
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The Development Framework translates application-specific system specifications into parallel, hard real-time implementations using methods that are both familiar to developers and optimal for the application.
引用
收藏
页码：9 / 19
页数：11
相关论文
共 12 条
[1]  
BAKKERS AWP, 1991, 13TH P IFAC WORLD C
[2]  
Browne A. R., 1994, Proceedings IEEE/IFAC Joint Symposium on Computer-Aided Control System Design (Cat. No.94TH0619-7), P369, DOI 10.1109/CACSD.1994.288904
[3]  
Englehart M., 1994, Proceedings IEEE/IFAC Joint Symposium on Computer-Aided Control System Design (Cat. No.94TH0619-7), P261, DOI 10.1109/CACSD.1994.288920
[4]  
HATLEY DJ, 1987, STRATEGIES REAL TIME
[5]  
Hoare C.A.R., 1985, COMMUNICATING SEQUEN
[6]  
IRWIN GW, 1992, TRANSPUTERS REAL TIM
[7]   VALIDATION OF ULTRAHIGH DEPENDABILITY FOR SOFTWARE-BASED SYSTEMS [J].
LITTLEWOOD, B ;
STRIGINI, L .
COMMUNICATIONS OF THE ACM, 1993, 36 (11) :69-80
[8]  
Lorczak P., 1989, 19 INT S FAULT TOL C, P444
[9]  
Peterson J. L., 1981, PETRI NET THEORY MOD
[10]  
Rimer M., 1990, IEEE Control Systems Magazine, V10, P33, DOI 10.1109/37.60422
12