Error-minimized display of information about high-integrity systems

被引:0
|
作者
Hickling, E.M. [1 ]
机构
[1] Synergy Consultants, United Kingdom
来源
IEE Conference Publication | 1999年 / 463期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:173 / 178
相关论文
共 50 条
  • [1] The error-minimised display of information about high-integrity systems
    Hickling, EM
    [J]. PEOPLE IN CONTROL, 1999, (463): : 173 - 178
  • [2] ANALYZING HIGH-INTEGRITY SYSTEMS
    CLARK, JA
    MCDERMID, JA
    BURNS, A
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
  • [3] ADA tasking for high-integrity systems
    Humphris, D
    Dobbing, B
    [J]. LESSONS IN SYSTEM SAFETY, 2000, : 113 - 133
  • [4] Ada 2005 for high-integrity systems
    Ruiz, Jose F.
    [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
  • [5] Code generation & high-integrity embedded systems
    Erkkinen, T
    [J]. DR DOBBS JOURNAL, 2004, 29 (06): : 68 - 70
  • [6] Ongoing requirements discovery in high-integrity systems
    Lutz, RR
    Mikulski, IC
    [J]. IEEE SOFTWARE, 2004, 21 (02) : 19 - +
  • [7] 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 - +
  • [8] Simulation of Maxwell's Equations on GPU Using a High-Order Error-Minimized Scheme
    Sheu, Tony W. H.
    Wang, S. Z.
    Li, J. H.
    Smith, Matthew R.
    [J]. COMMUNICATIONS IN COMPUTATIONAL PHYSICS, 2017, 21 (04) : 1039 - 1064
  • [9] 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 - +
  • [10] 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