Executable requirements in a safety-critical context with Ada

被引：0
|
作者：
Bâillon, Christophe [1 ]
Bouchez-Mongardé, Shanti [1 ]
机构：
[1] SOGILIS, 10 ter boulevard Gambetta, 38000 Grenoble, France
来源：
Ada User Journal | 2010年 / 31卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：131 / 135
相关论文
共 50 条
  • [41] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [42] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [43] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    ERCIM NEWS, 2008, (75): : 12 - 13
  • [44] Safety-critical software
    1600, IEEE Computer Society (30):
  • [45] SAFETY-CRITICAL SOFTWARE
    PANCUCCI, D
    ENGINEERING, 1991, 231 (08): : 45 - 47
  • [46] Analysing context-dependent deviations in interacting with safety-critical systems
    Paterno, Fabio
    Santoro, Carmen
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2006, 91 (12) : 1546 - 1553
  • [47] Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems
    Lang, Clemens
    Stilkerich, Isabella
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (01)
  • [48] The Cardiac Pacemaker Case Study and its implementation in Safety-Critical Java']Java and Ravenscar Ada
    Singh, Neeraj Kumar
    Wellings, Andy
    Cavalcanti, Ana
    PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 62 - 71
  • [49] Ontology-based Requirements Generation for Credibility Validation of Safety-critical System
    Li, Rui
    Ma, Shilong
    Yao, Wentao
    CIT/IUCC/DASC/PICOM 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - UBIQUITOUS COMPUTING AND COMMUNICATIONS - DEPENDABLE, AUTONOMIC AND SECURE COMPUTING - PERVASIVE INTELLIGENCE AND COMPUTING, 2015, : 849 - 854
  • [50] Development of a normative package for safety-critical software using formal regulatory requirements
    Vilkomir, SA
    Ghose, AK
    PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 2004, 3009 : 523 - 537
12345