REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE

被引：0

作者：

King, Tim ^{[1
]}

机构：

[1] DDC I, Phoenix, AZ 85028 USA

来源：

2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2012年

关键词：

D O I：

暂无

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

Developers of certified, safety-critical avionics software face many challenges. A key challenge arises when software developed for one system is reused in another system. Given the features and capabilities of most Commercial-Off-The-Shelf (COTS) safety-critical Real-Time Operating Systems (RTOSs), reusing software in a different target environment means modifying that software and reincurring costly certification activities (e. g., DO178B [1]). In this paper, we discuss some of the unique features of DDC-I's Deos: a time and space partitioned, safety-critical RTOS. Using these features, safety-critical software developers can reconfigure and adapt their software for reuse in new systems without the need to modify that software and incur costly re-certification activities.

引用

页数：6

共 50 条

[21] The quantitative safety assessment for safety-critical software
Yu, YY
Johnson, BW
29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
[22] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[23] Reliability modeling for safety-critical software
Schneidewind, NF
IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
[24] Stochastic Delay Analysis of a Wireless Safety-Critical Avionics Network
Dang, D-K.
Mifdaoui, A.
2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015, : 98 - 107
[25] Can safety-critical software be flexible?
Fraser, SW
PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2003, : 588 - 593
[26] Interactive Verification of Safety-Critical Software
da Cruz, Daniela
Henriques, Pedro Rangel
Pinto, Jorge Sousa
2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
[27] Software reuse: A safety-critical primer
Wlad, Joseph
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2007, 22 (04) : 18 - 22
[28] Verification of requirements for safety-critical software
Carpenter, PB
ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
[29] Toward dependable safety-critical software
Bastani, F
Cukic, B
Hilford, V
Jamoussi, A
SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
[30] On the formal development of safety-critical software
Galloway, Andy
Iwu, Frantz
McDermid, John
Toyn, Ian
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373

← 1 2 3 4 5 →