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 条
  • [1] ANALYZING HIGH-INTEGRITY SYSTEMS
    CLARK, JA
    MCDERMID, JA
    BURNS, A
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
  • [2] ADA tasking for high-integrity systems
    Humphris, D
    Dobbing, B
    [J]. LESSONS IN SYSTEM SAFETY, 2000, : 113 - 133
  • [3] Ada 2005 for high-integrity systems
    Ruiz, Jose F.
    [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
  • [4] Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation
    Short, Michael
    Pont, Michael J.
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (07) : 1163 - 1183
  • [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