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 条
  • [21] Comparison of Ada and real-time Java']Java™ for safety-critical applications
    Brosgol, Benjamin M.
    Wellings, Andy
    RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 13 - 26
  • [22] Quality requirements for real-time safety-critical systems
    Kirner, TG
    CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 965 - 973
  • [23] Method for Generating a Diverse Set of Requirements for Safety-Critical Systems
    Maurio, Joseph
    McClure, Christopher
    2014 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2014, 28 : 465 - 472
  • [24] Security Requirements Engineering in Safety-Critical Railway Signalling Networks
    Heinrich, Markus
    Vateva-Gurova, Tsvetoslava
    Arul, Tolga
    Katzenbeisser, Stefan
    Suri, Neeraj
    Birkholz, Henk
    Fuchs, Andreas
    Krauss, Christoph
    Zhdanova, Maria
    Kuzhiyelil, Don
    Tverdyshev, Sergey
    Schlehuber, Christian
    SECURITY AND COMMUNICATION NETWORKS, 2019, 2019
  • [25] Modeling Safety-Critical System Requirements with Hierarchical State Machine
    Wang, Zheng
    Geng, Chen-ge
    Chen, Xiang-xian
    Wang, Dong
    Huang, Hai
    Guan, Ai-ai
    2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, 2014, : 720 - 723
  • [26] Formal Requirements Specification in Safety-critical Railway Signaling System
    Jo, Hyun-Jeong
    Hwang, Jong-Gyu
    Yoon, Yong-Ki
    T& D ASIA: 2009 TRANSMISSION & DISTRIBUTION CONFERENCE & EXPOSITION: ASIA AND PACIFIC, 2009, : 731 - 734
  • [27] An Approach for automated safety testing of safety-critical software system based on safety requirements
    Yu, Gang
    Xu, Zhong Wei
    Du, Jun Wei
    2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 3, PROCEEDINGS, 2009, : 166 - 169
  • [28] Towards Enabling Reuse in the Context of Safety-critical Product Lines
    Gallina, Barbara
    2015 IEEE/ACM FIFTH INTERNATIONAL WORKSHOP ON PRODUCT LINE APPROACHES IN SOFTWARE ENGINEERING (PLEASE 2015), 2015, : 15 - 18
  • [29] Examining the impact of ethical leadership on safety and task performance: a safety-critical context
    Shafique, Imran
    Kalyar, Masood Nawaz
    Rani, Tassadduq
    LEADERSHIP & ORGANIZATION DEVELOPMENT JOURNAL, 2020, 41 (07) : 909 - 926
  • [30] Embedded, real-time, safety-critical control is nothing new to the Ada language
    Anon
    Control Solutions, 2001, 74 (05):
12345