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 条
  • [31] THE ADA TASKING MODEL
    不详
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 262 : 9 - 26
  • [32] A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
    Urnena, Santiago
    Zamorano, Juan
    de la Puente, Juan A.
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 16 - 29
  • [33] On Component-Based Development and High-Integrity Real-Time Systems
    Panunzio, Marco
    Vardanega, Tullio
    [J]. 2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 79 - 84
  • [34] Rapid manufacturing of high-integrity aerospace components
    Zhang, SJ
    Raja, V
    Garside, J
    [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON FRONTIERS OF DESIGN AND MANUFACTURING, VOL 1, 2002, : 349 - 354
  • [35] XeroZerox: Analysis and Optimization of GPU Memory Management for High-Integrity Autonomous Systems
    Calderon, Alejandro J.
    Kosmidis, Leonidas
    Nicolas, Carlos-F.
    Cazorla, Francisco J.
    [J]. IEEE ACCESS, 2024, 12 : 77141 - 77155
  • [36] SHIYF: A Secured and High-Integrity YARN Framework
    Deng, Junyi
    Liu, Yanheng
    Wang, Jian
    Li, Shujing
    [J]. ELECTRONICS, 2019, 8 (05)
  • [37] Combining model processing and middleware configuration for building distributed high-integrity systems
    Hughes, Jerome
    Zalila, Bechir
    Pautet, Laurent
    [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 307 - +
  • [38] HEAVY, HIGH-INTEGRITY, FORGING AT WALTER SOMERS
    NATION, G
    [J]. METALLURGIA, 1978, 45 (01): : 26 - 26
  • [39] A practical language and toolkit for high-integrity tools
    Toyn, I
    Cattrall, DM
    McDermid, JA
    Jacob, JL
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 41 (03) : 161 - 173
  • [40] Guidance on the use of Ada95 in High Integrity Systems
    Michell, S
    Saaltink, M
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE, 1998, 1411 : 276 - 287
12345