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
来源：
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT | 1990年 / 293卷 / 1-2期
关键词：
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
相关论文
共 50 条
  • [1] AN OPERATING SYSTEM FOR REAL-TIME ADA
    RABBIE, HM
    NELSONGAL, DA
    [J]. TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 490 - 497
  • [2] DESIGNING LARGE REAL-TIME SYSTEMS WITH ADA
    NIELSEN, KW
    SHUMATE, K
    [J]. COMMUNICATIONS OF THE ACM, 1987, 30 (08) : 695 - 715
  • [3] REAL-TIME ADA
    LEIBSON, SH
    [J]. EDN, 1989, 34 (17) : 102 - &
  • [4] Design pattern for the runtime model-based checking of a real-time embedded system
    Arm, J.
    Bradac, Z.
    Bastan, O.
    Streit, J.
    Misik, S.
    [J]. IFAC PAPERSONLINE, 2019, 52 (27): : 127 - 132
  • [5] THE ADA TASK SYSTEM AND REAL-TIME APPLICATIONS - AN IMPLEMENTATION SCHEMA
    COCCO, N
    MANDRIOLI, D
    MILANESE, V
    [J]. COMPUTER LANGUAGES, 1985, 10 (3-4): : 189 - 209
  • [6] Application of Ada Language in a Real-time Database System - A Perspective
    Moryc, Pavel
    Cernohorsky, Jindrich
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 236 - 241
  • [7] A parametric model checking approach for real-time systems design
    Sathawornwichit, C
    Katayama, T
    [J]. 12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 584 - 591
  • [8] REAL-TIME INTERRUPT HANDLING IN ADA
    RASMUSSEN, JB
    APPELBE, B
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (03): : 197 - 213
  • [9] ADA IN A HARD REAL-TIME ENVIRONMENT
    JONES, B
    [J]. AIAA FLIGHT SIMULATION TECHNOLOGIES CONFERENCE AND EXHIBITION: A COLLECTION OF TECHNICAL PAPERS, 1989, : 117 - 126
  • [10] Real-time utilities for Ada 2005
    Wellings, Andy
    Burns, Alan
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS, 2007, 4498 : 1 - +
12345