Licensing reliable embedded software for safety-critical applications

被引：1

作者：

Saglietti, F ^{[1
]}

机构：

[1] Univ Erlangen Nurnberg, Dept Software Engn, D-91058 Erlangen, Germany

来源：

REAL-TIME SYSTEMS | 2004年 / 28卷 / 2-3期

关键词：

embedded software; safety applications; software reliability; software licensing; software certification; product quality; process quality; pre-developed component; expert judgment;

D O I：

10.1023/B:TIME.0000045318.83240.86

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This article offers an overview on existing approaches for assessing the reliability of complex software with safety demands. It addresses both inherent difficulties as well as observable trends towards international standardized procedures. The contribution distinguishes between product-based and process-based quality indicators and comments on the applicability of existing techniques to evaluate them qualitatively and quantitatively. In particular, it focusses on licensing the re-use of pre-developed software components. In the light of lessons learnt from real-world accidents it proposes to adopt a procedure supporting the re-usability of component certification when licensing software systems for new safety applications.

引用

页码：217 / 236

页数：20

共 50 条

[1] Licensing Reliable Embedded Software for Safety-Critical Applications
Francesca Saglietti
[J]. Real-Time Systems, 2004, 28 : 217 - 236
[2] Licensing of software for safety-critical applications on the basis of operating experience
Ehrenberger, W
[J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2358 - 2363
[3] Reliability demonstration testing method for safety-critical embedded applications software
Qin, Zhidong
Chen, Hui
Shi, Youqun
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 481 - 487
[4] Software testing for safety-critical applications
Wang, LF
Tan, KC
[J]. IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
[5] Software Qualification Approach for Safety-Critical Software of the Embedded System
Kim, Jangyeol
Kim, Soongohn
[J]. COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
[6] Testing of Safety-Critical Software Embedded in an Artificial Heart
Cha, Sungdeok
Jeong, Sehun
Yoo, Junbeom
Kim, Young-Gab
[J]. ADVANCES IN SYSTEMS SAFETY, 2011, : 143 - +
[7] A Controlled Experiment in Testing of Safety-Critical Embedded Software
Enoiu, Eduard P.
Causevic, Adnan
Sundmark, Daniel
Pettersson, Paul
[J]. 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 1 - 11
[8] A software diversity model for embedded safety-critical system
Wang, Haifeng
Liang, Nan
[J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS AND INFORMATION SYSTEMS, 2009, : 106 - 109
[9] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
[J]. ERCIM NEWS, 2008, (75): : 12 - 13
[10] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
[J]. ENGINEERING, 1991, 231 (08): : 45 - 47

← 1 2 3 4 5 →