DESIGN AND CHECKING OF A LARGE ADA REAL-TIME SYSTEM

被引:0
作者
THERON, JL
机构
[1] SEMA Group Energy Division, 38243 Meylan Cedex, Chemin du Vieux-Chhene
关键词
D O I
10.1016/0168-9002(90)91463-L
中图分类号
TH7 [仪器、仪表];
学科分类号
0804 ; 080401 ; 081102 ;
摘要
SEMA Group, a European software company, is currently developing the control system for France's 1400 MW nuclear power plants. The project is described briefly in terms of user needs and technical challenges. The technical choices are also described, and currently available statistics on the project are given. © 1990.
引用
收藏
页码:373 / 376
页数:4
相关论文
共 5 条
[1]  
BELTRANDA G, 1988, OCT P NUCSAFE 88 SFE
[2]  
Boehm B.W., 1981, SOFTWARE ENG EC
[3]  
Booch G., 1983, SOFTWARE ENG ADA
[4]  
MILLER E, 1986, SOFTWARE QUALITY CON
[5]  
PHILIPPS C, 1989, SEP P OPERA 89 SFEN