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 条
  • [1] An Executable Formal Framework for Safety-Critical Human Multitasking
    Broccia, Giovanna
    Milazzo, Paolo
    Olveczky, Peter Csaba
    [J]. NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 54 - 69
  • [2] Executable Specifications of Safety-Critical Systems with S#
    Habermaier, Axel
    Leupolz, Johannes
    Reif, Wolfgang
    [J]. IFAC PAPERSONLINE, 2015, 48 (07): : 44 - 49
  • [3] Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language
    Liu, Huiyu
    Liu, Jing
    Yin, Wei
    Sun, Haiying
    Yang, Chenchen
    [J]. 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 388 - 399
  • [4] Formalization and Validation of Safety-Critical Requirements
    Cimatti, Alessandro
    Roveri, Marco
    Susi, Angelo
    Tonetta, Stefano
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (20): : 68 - 75
  • [5] Verification of requirements for safety-critical software
    Carpenter, PB
    [J]. ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
  • [6] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    [J]. ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [7] ANALYSIS OF TIMELINESS REQUIREMENTS IN SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 171 - 192
  • [8] Requirements Engineering for Safety-Critical Molecular Programs
    Lutz, Robyn R.
    [J]. 2022 30TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2022), 2022, : 302 - 308
  • [9] Security Assessment of FPGA-based Safety-Critical Systems: US NRC Requirements Context
    Kharchenko, V.
    Kovalenko, A.
    Siora, O.
    Sklyar, V.
    [J]. 2015 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT), 2015, : 132 - 138
  • [10] Operational anomalies as a cause of safety-critical requirements evolution
    Lutz, RR
    Mikulski, IC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 65 (02) : 155 - 161
12345