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 条

[31] Embedded, real-time safety-critical control is nothing new to the Ada language
Tokar, J
CONTROL SOLUTIONS, 2001, 74 (05): : 75 - 76
[32] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report
Provenzano, Luciana
Hanninen, Kaj
REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369
[33] A Design Flow with Integrated Verification of Requirements and Faults in Safety-Critical Systems
Yan, Wei
Fontaine, Daniel
Chandy, John A.
Michel, Laurent
2017 12TH SYSTEM OF SYSTEMS ENGINEERING CONFERENCE (SOSE), 2017,
[34] Experience in capturing requirements for safety-critical medical devices in an industrial environment
Tsai, WT
Mojdehbakhsh, R
Rayadurgam, S
1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 32 - 36
[35] Additional requirements for process assessment in safety-critical software and systems domain
Johansson, Mika
Nevalainen, Risto
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2012, 24 (05) : 501 - 510
[36] Requirements Engineering for Safety-Critical Systems: An Interview Study with Industry Practitioners
Martins, Luiz Eduardo G.
Gorschek, Tony
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020, 46 (04) : 346 - 361
[37] Beyond belief: Representing knowledge requirements for the operation of safety-critical interfaces
Johnson, C
HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 315 - 322
[38] Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering
Sklyar, Vladimir
Kharchenko, Vyacheslav
2022 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS, SERVICES AND TECHNOLOGIES (DESSERT), 2022,
[39] SAFETY-CRITICAL PUDDINGS
MALCOLM, B
ELECTRONICS AND POWER, 1987, 33 (05): : 291 - 291
[40] These are safety-critical times
Johan F. Hoorn
Cognition, Technology & Work, 2008, 10 (4) : 249 - 249

← 1 2 3 4 5 →