Fault mitigation in safety-critical software systems

被引：6

作者：

Subramanian, S ^{[1
]}

Elliott, L ^{[1
]}

Vishnuvajjala, RV ^{[1
]}

Tsai, WT ^{[1
]}

Mojdehbakhsh, R ^{[1
]}

机构：

[1] UNIV MINNESOTA,DEPT COMP SCI,MINNEAPOLIS,MN 55455

来源：

NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/CBMS.1996.507118

中图分类号：

R-058 [];

学科分类号：

摘要：

引用

页码：12 / 17

页数：6

共 50 条

[1] A software fault tolerance method for safety-critical systems: Effectiveness and drawbacks
Nicolescu, B
Velazco, R
Sonza-Reorda, M
Rebaudengo, M
Violante, M
[J]. 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 101 - 106
[2] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
[J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[3] Fault detection in safety-critical embedded systems
Verber, D
Colnaric, M
Halang, WA
[J]. DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 113 - 119
[4] Software reuse in safety-critical airborne systems
Wlad, Joe
[J]. 2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
[5] Safety-critical software
[J]. 1600, IEEE Computer Society (30):
[6] Safety-Critical Software
Merino, Pedro
Schoitsch, Erwin
[J]. ERCIM NEWS, 2008, (75): : 12 - 13
[7] SAFETY-CRITICAL SOFTWARE
PANCUCCI, D
[J]. ENGINEERING, 1991, 231 (08): : 45 - 47
[8] Using Fault Trees and Event Trees as Oracles for Testing Safety-Critical Software Systems
[J]. Prof Saf, 4 (41):
[9] Inject fault to test safety-critical software using script
Yang, JH
Li, M
[J]. ICEMI 2005: CONFERENCE PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL 8, 2005, : 354 - 359
[10] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
Kumar, S. Phani
Ramaiah, P. Seetha
Khanaa, V.
[J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193

← 1 2 3 4 5 →