Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A man-machine interaction risk scene recognition method based on formal verification

A formal verification and human-computer interaction technology, applied in special data processing applications, instruments, electrical digital data processing, etc.

Active Publication Date: 2019-05-21
BEIHANG UNIV
View PDF11 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The present invention provides a human-computer interaction risk scene identification method based on formal verification, focusing on solving the problems of completeness investigation and key dangerous path identification of human-computer system abnormal state interaction risk scene

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
  • A man-machine interaction risk scene recognition method based on formal verification
  • A man-machine interaction risk scene recognition method based on formal verification
  • A man-machine interaction risk scene recognition method based on formal verification

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0200]The present invention is a human-computer interaction risk scene identification method based on formal verification, and the analysis process is as follows: Figure 5 As shown in Fig. 1, the human-computer interaction process of aero-engine fire emergency response is taken as an example to illustrate the process, and the case description is as follows.

[0201] The aero engine is the power unit of the aircraft. When an engine fire is detected, emergency procedures are generally required to be carried out immediately; however, if the engine fire occurs during takeoff, the pilot should first establish and stabilize the aircraft on a safe climbing path, and then execute the emergency procedures. Engine fire emergency procedures include:

[0202] Shut off the engine (put the engine mixer control lever in the OFF position);

[0203] Isolate the engine (shut off the hydraulic system, cut off the air and fuel lines, cut off the power supply);

[0204] · Release the fire extin...

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

A man-machine interaction risk scene recognition method based on formal verification comprises the following steps that firstly, carrying out modeling on a complex man-machine interaction deduction process, and forming a universal man-machine interaction formal deduction model; 2, establishing a task formal model automatic deduction template considering human errors, and a system, a human-computerinterface and an environment formal model automatic deduction template considering abnormal states; 3, determining a man-machine system security attribute expression to obtain a man-machine system security specification; 4, completing the troubleshooting of a risk scene path by means of a model checking tool; 5, evaluating the possibility of the evolution path by adopting a qualitative comparisonmethod, and identifying a risk scene path with relatively high occurrence possibility; Through the above steps, a man-machine interaction formalization method is adopted, the problem of completenesschecking of abnormal-state interaction risk scenes of a man-machine system is solved, the effect of automatically completing complete enumeration of risk scene paths is achieved, and recognition of key risk scenes is achieved through a qualitative comparison method.

Description

technical field [0001] The present invention provides a human-computer interaction risk scene identification method based on formal verification, which is a human-computer system safety analysis method in the cross-technical field of reliability design and human factors engineering, and focuses on solving the abnormal state interaction risk of the human-computer system The completeness investigation of the scene and the identification of critical dangerous paths. Background technique [0002] Major safety accidents of human-machine systems are often the result of the coupled evolution of human, machine, and environment elements in the task process, and the process can be described by risk scenarios. Due to the complex characteristics of the human-computer system, there are many branches of the risk scenario path and the coupling relationship is complex; at the same time, the changes in the task characteristics, information characteristics and performance formation factors of...

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): G06F17/50
Inventor 马烁曾声奎郭健彬赵健宇秦泰春
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com