A modeling method based on multi-view accident model of embedded system software
A technology of embedded system and modeling method, applied in the field of embedded software as a control system, multi-view accident model and modeling based on embedded system software, which can solve the lack of effective evaluation and analysis of the causes of accidents , Not applicable to embedded system software accidents, embedded system software problem description is not comprehensive and in-depth, etc., to achieve the effect of improving security
Inactive Publication Date: 2020-11-20
BEIHANG UNIV
View PDF6 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0009] However, the traditional accident model is not suitable for describing the embedded system software accident with many interactions, while the modern accident model based on system theory can describe the interaction process of complex systems, but it is not enough to describe the specific mechanism of embedded system software problems Comprehensive and in-depth, while lacking effective evaluation and analysis of the system that caused the accident and the cause of the accident
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0062] The present invention will be further described below in conjunction with the accompanying drawings and specific embodiments.
[0063] A kind of evaluation and analysis method based on embedded system software multi-view accident model among the present invention, described embedded software accident model mainly comprises:
[0064] (1) The top-level accident process model;
[0065] (2) In-depth problem generation model;
[0066] 1. Top-level accident process model:
[0067] The accident occurrence process model of the top layer divides the causes of embedded system software accidents into embedded system software failures and interaction errors between embedded software and other components in the system; the immediate cause of the embedded system software accident is The failure of hazard control makes the spread of hazards become accidents. The main cause of accidents is that the failure of safety constraints makes the system enter a dangerous state. The root cause...
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
Login to View More Abstract
The invention discloses an evaluation and analysis method for a multi-view accident model based on embedded system software. The multi-view accident model includes a top-level accident process model and a deep-level problem generation model. The top-level accident process model is utilized to analyze the accident generating process from software failure and interactive accidents between software and other components in a system; and the deep-level problem generation model includes a development view, a composition view, a logical view and an environment view for establishing a software layer and a system layer; the software layer is utilized to analyze problems leading to accidents; and the system layer is utilized to analyze the problems leading to the accidents from a mechanism of interaction errors between software and other components in the system. According to the evaluation and analysis method, a hierarchical multi-view description method is provided for software failure accidents and software interaction accidents, which is more in line with features of the embedded system. Accident occurrence reasons are explained fundamentally, and the process and mechanism of accidents of the embedded system software are described in detail and fully.
Description
technical field [0001] The method relates to the field of embedded systems, especially the field where embedded software is used as a control system and has higher reliability and safety requirements. Specifically, it relates to a multi-view accident model based on embedded system software and its modeling method. Background technique [0002] Embedded systems are widely used in advanced industries, especially in aerospace. Embedded system software plays an important control role in these areas, and is often an important part of ensuring the success of safety-critical tasks within the system. Due to the characteristics of limited hardware resources, harsh operating environment, strict timing logic, long running time, and high safety-critical level, once the embedded system software runs incorrectly, it may cause accidents and cause losses. [0003] For accidents that have occurred, an accident model can be established to accurately describe the mechanism and process of the...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/00G06F11/07
CPCG06F11/008G06F11/0736G06F11/079
Inventor 王望鲍晓红
Owner BEIHANG UNIV