Use of formal method in construting safey-critical automotive software component

Author

Qiu Fang ; Chenxi Zhang

Author_Institution

Sch. of Electron. & Inf., Tongji Univ., Shanghai, China

fYear

2014

fDate

27-29 June 2014

Firstpage

70

Lastpage

76

Abstract

An automotive function safety standard, ISO26262, has been published recently, in which formal methods are recommended in developing the software, especially for high class ASIL function. This paper introduces the research work about the development methods related with ISO26262. Then an approach is advanced by using Event-B to constructing the software component correctly which can match the V-mode of ISO26262. This method is applied in developing the parking assistance component of the automobile cluster. After integration and validation the cluster, the result shows that it is a feasible way to develop safety-critical automotive software component.

Keywords

ISO standards; automotive engineering; object-oriented programming; safety; safety-critical software; ASIL function; ISO26262; V-mode; automobile cluster; automotive function safety standard; event-B; formal methods; parking assistance component; safety-critical automotive software component; Automotive; Event-B; Formal Method; IS026262; Software component;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on

Conference_Location

Beijing

ISSN

2327-0586

Print_ISBN

978-1-4799-3278-8

Type

conf

DOI

10.1109/ICSESS.2014.6933516

Filename

6933516