ADA tasking for high-integrity systems

被引：0
|
作者：
Humphris, D [1 ]
Dobbing, B [1 ]
机构：
[1] Aonix Europe Ltd, Henley On Thames RG9 1HG, Oxon, England
来源：
LESSONS IN SYSTEM SAFETY | 2000年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：113 / 133
页数：21
相关论文
共 50 条
  • [1] Ada 2005 for high-integrity systems
    Ruiz, Jose F.
    [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
  • [2] High-integrity interfacing to programmable logic with Ada
    Hilton, AJ
    Hall, JG
    [J]. RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004, 2004, 3063 : 249 - 260
  • [3] ANALYZING HIGH-INTEGRITY SYSTEMS
    CLARK, JA
    MCDERMID, JA
    BURNS, A
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
  • [4] Code generation & high-integrity embedded systems
    Erkkinen, T
    [J]. DR DOBBS JOURNAL, 2004, 29 (06): : 68 - 70
  • [5] Towards Agile Engineering of High-Integrity Systems
    Paige, Richard F.
    Charalambous, Ramon
    Ge, Xiaocheng
    Brooke, Phillip J.
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 30 - +
  • [6] Ongoing requirements discovery in high-integrity systems
    Lutz, RR
    Mikulski, IC
    [J]. IEEE SOFTWARE, 2004, 21 (02) : 19 - +
  • [7] Cache-Aware Development of High-Integrity Systems
    Mezzetti, Enrico
    Betts, Adam
    Ruiz, Jose
    Vardanega, Tullio
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, 2010, 6106 : 139 - +
  • [8] High-integrity seal
    Ashley, S
    [J]. MECHANICAL ENGINEERING, 1995, 117 (11) : 40 - 40
  • [9] BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems
    Trompouki, Matina Maria
    Kosmidis, Leonidas
    [J]. 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 660 - 663
  • [10] Affordable High-Integrity Controls
    Lenz, J.
    Greer, A.
    Fritz, N.
    Schick, T.
    Bak, S.
    [J]. CONFERENCE: AGRICULTURAL ENGINEERING: LAND-TECHNIK 2010 - PARTNERSCHAFTEN FUR NEUR INNOVATIONSPOTENZIALE, 2010, : 219 - 229
12345