Code generation & high-integrity embedded systems

被引：0
|
作者：
Erkkinen, T
机构：
来源：
DR DOBBS JOURNAL | 2004年 / 29卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：68 / 70
页数：3
相关论文
共 50 条
  • [41] SHIYF: A Secured and High-Integrity YARN Framework
    Deng, Junyi
    Liu, Yanheng
    Wang, Jian
    Li, Shujing
    [J]. ELECTRONICS, 2019, 8 (05)
  • [42] HEAVY, HIGH-INTEGRITY, FORGING AT WALTER SOMERS
    NATION, G
    [J]. METALLURGIA, 1978, 45 (01): : 26 - 26
  • [43] 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
  • [44] 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 - +
  • [45] Experience in the integration of heterogeneous models in the model-driven engineering of high-integrity systems
    Bordin, Matteo
    Tsiodras, Thanassis
    Perrotin, Maxime
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 171 - 184
  • [46] High-integrity protective systems - 1 - Comprehensive design, maintenance keys to HIPS reliability
    Thomas, C
    Bourgeois, P
    [J]. OIL & GAS JOURNAL, 2000, 98 (16) : 53 - +
  • [47] Communication paradigms for high-integrity distributed systems with hard real-time requirements
    Uruena, Santiago
    Zamorano, Juan
    Pulido, Jose A.
    de la Puente, Juan A.
    [J]. DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 151 - 160
  • [48] HIGH-INTEGRITY CONTAINER FOR HIGH-SPECIFIC-ACTIVITY WASTES
    CHAPMAN, RL
    HAELSIG, RT
    [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1982, 43 : 143 - 145
  • [49] PRL: Standardizing Performance Monitoring Library for High-Integrity Real-Time Systems
    Giesen, Jeremy
    Mezzetti, Enrico
    Abella, Jaume
    Cazorla, Francisco J.
    [J]. 2021 IEEE 39TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2021), 2021, : 344 - 348
  • [50] YASIR: A low-latency, high-integrity security retrofit for legacy SCADA systems
    Tsang, Patrick P.
    Smith, Sean W.
    [J]. PROCEEDINGS OF THE IFIP TC 11/ 23RD INTERNATIONAL INFORMATION SECURITY CONFERENCE, 2008, : 445 - 459
12345