Unlock instant, AI-driven research and patent intelligence for your innovation.

Formalization-based automobile electronic system safety target confirmation method

A system safety, automotive electronics technology, applied in the field of formalized automotive electronic system safety target confirmation, can solve problems such as incompleteness and inaccurate safety targets, to ensure correctness and integrity, improve test efficiency and quality, The effect of good readability

Pending Publication Date: 2020-09-18
EAST CHINA NORMAL UNIV +1
View PDF10 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, many analyzes in the conceptual stage are artificial, and the defined security goals may be inaccurate and incomplete, so formal methods are required for modeling

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Formalization-based automobile electronic system safety target confirmation method
  • Formalization-based automobile electronic system safety target confirmation method
  • Formalization-based automobile electronic system safety target confirmation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0039] Such as figure 1 As shown, it is a schematic flow chart of confirming the safety target of the automotive electronic system based on the formal method of the present invention. According to the flowchart, the detailed implementation steps are as follows:

[0040] Step 1: In the concept stage of the project, we first need to determine which items are included in the automotive electronic system, and then define each item separately. The items here refer to the subsystems included in the automotive electronic system.

[0041] ISO26262 gives suggestions on project information definition, project boundary condition definition and project interface definition: project information includes project purpose and function, project non-functional requirements, legal and regulatory requirements, known national and international standards, etc. From the boundary conditions of the project and the interface conditions between projects, it can be defined including all elements of the ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a formalization-based automobile electronic system safety target confirmation method, which is based on ISO 26262 International Standards for Road Vehicle Functional Safety, and comprises the following steps of defining a project according to the standards, and confirming interfaces of subsystems and environments contained in the project; secondly, analyzing and identifyingall possible hazards of the project in combination with a fault tree, performing ASIL grading on each hazard, and evaluating a safety target capable of enabling the project to run normally accordingto the ASIL grades; thirdlyly, modeling a project safety target by adopting an SOFL formalized language; finally, conducting semantic analysis on the SOFL through an existing auxiliary tool, and generating an XML file for supporting other software development activities. According to the invention, the code-level safety target of each electronic system of the automobile can be effectively confirmed.

Description

technical field [0001] The invention relates to the technical field of road vehicle functional safety, in particular to a method for confirming safety targets of an automotive electronic system based on formalization. Background technique [0002] There is a large gap between my country's automotive electronics products and the international advanced level, but the development space is vast, so all aspects of my country's automotive electronics industry have realized that they should seize this opportunity. It is especially important to develop automotive electronic systems and ensure the functional safety of electronic systems, and ISO 26262 came into being. [0003] ISO 26262 is a process framework and program model provided by the International Organization for Standardization No. 26262 for the development and testing of emergency safety electronic systems for motor vehicles, aiming to improve the international standards for the functional safety of automotive electronics...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G05B23/02
CPCG05B23/0256G05B2219/24065
Inventor 马莎赵涌鑫郭建蒲戈光刘虹
Owner EAST CHINA NORMAL UNIV