Safety-Critical Software

被引：0

作者：

Merino, Pedro ^{[2
]}

Schoitsch, Erwin ^{[1
]}

机构：

[1] ARC AARIT, Austrian Res Ctr, Vienna, Austria

[2] Univ Malaga, SpaRCIM, Malaga, Spain

来源：

ERCIM NEWS | 2008年 / 75期

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：12 / 13

页数：2

共 50 条

[21] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
BERZTISS, AT
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
[22] Software testing for safety-critical applications
Wang, LF
Tan, KC
IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
[23] Towards the Design of Safety-Critical Software
Rafeh, R.
Rabiee, A.
JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
[24] Timing tolerances in safety-critical software
Wassyng, A
Lawford, M
Hu, XY
FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
[25] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
DAVIS, PI
COMPUTER, 1992, 25 (12) : 72 - 73
[26] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
SAEED, A
DELEMOS, R
ANDERSON, T
ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
[27] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE
Guo Jia
Yang Ming
PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
[28] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE
King, Tim
2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
[29] Integrated formal verification of safety-critical software
Ge, Ning
Jenn, Eric
Breton, Nicolas
Fonteneau, Yoann
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
[30] Integrated formal verification of safety-critical software
Ning Ge
Eric Jenn
Nicolas Breton
Yoann Fonteneau
International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440

← 1 2 3 4 5 →