Arguing Software Compliance With ISO 26262

被引：8

作者：

Hocking, Ashlie B. ^{[1
]}

Knight, John ^{[1
]}

Aiello, M. Anthony ^{[1
]}

Shiraishi, Shin'ichi ^{[2
]}

机构：

[1] Dependable Comp LLC, Charlottesville, VA 22901 USA

[2] USA Inc, Toyota InfoTechnol Ctr, Mountain View, CA USA

来源：

2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW) | 2014年

关键词：

Software assurance case; ISO; 26262; safety case;

D O I：

10.1109/ISSREW.2014.88

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

ISO 26262 is a safety standard for electrical and/or electronic systems in automobiles and includes specific requirements for software. Compliance with the standard requires a safety case. In this paper we present an approach to structuring a software assurance case that complies with ISO 26262 and argues explicitly that the subject software meets appropriate dependability goals. The resulting assurance case integrates conveniently into a safety case for the subject system.

引用

页码：226 / 231

页数：6

共 15 条

[1]

Amey P, 2002, CROSSTALK MAGAZI MAR

[2]

[Anonymous], 2002, RTI PROJECT

[3]

[Anonymous], 2003, High Integrity Software: The SPARK Approach to Safety and Security

[4]

Avizienis Algirdas., 2004, IEEE T DEPENDABLE SE, V1

[5]

Birch J., 2013, COMPUTER SAFETY RELI

[6] Arguing Conformance [J].

Graydon, Patrick ;

Habli, Ibrahim ;

Hawkins, Richard ;

Kelly, Tim ;

Knight, John .

IEEE SOFTWARE, 2012, 29 (03) :50-57

[7]

International Organization for Standardization , 2011, 262622011 ISO, P2011

[8]

Kelly T., 2004, WORKSH ASS CAS INT C

[9]

McDermid J., 2002, FORMAL TECHNIQUES RE

[10]

Palin R., 2010, P 29 INT C COMP SAF

← 1 2 →