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

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.