Invention Grant
- Patent Title: Method for evaluating the operating safety of a system
- Patent Title (中): 评估系统运行安全性的方法
-
Application No.: US12272490Application Date: 2008-11-17
-
Publication No.: US08271845B2Publication Date: 2012-09-18
- Inventor: Andre Leblond
- Applicant: Andre Leblond
- Applicant Address: FR Neuilly sur Seine
- Assignee: Thales
- Current Assignee: Thales
- Current Assignee Address: FR Neuilly sur Seine
- Agency: Stroock & Stroock & Lavan LLP
- Priority: FR0708057 20071116
- Main IPC: H03M13/00
- IPC: H03M13/00

Abstract:
Evaluating the operating safety of a complex software and or hardware system such as a system for displaying flight information on an instrument panel of an aircraft. The evaluation method includes construction of a first architecture of the system, divided into several blocks each comprising data inputs/outputs, the inputs of a block being connected to the outputs of other blocks in the first architecture; identification of failures of the outputs of the blocks of the architecture; construction of first boolean expressions expressing the states of the outputs of the blocks of the first architecture as a function of the states of the identified failures, of the states of the inputs of the blocks; definition of a first feared event to be examined by a second boolean expression constructed based on the first boolean expressions; and reduction of the second boolean expression in a sum of monomials.
Public/Granted literature
- US20090144599A1 METHOD FOR EVALUATING THE OPERATING SAFETY OF A SYSTEM Public/Granted day:2009-06-04
Information query
IPC分类: