The inclusion of autonomous vehicles into our society requires not only mature automated technologies but also adequate confidence in safety guarantees. Safety the intended functionality (SOTIF) is an incipient important field that focuses on risk led by performance limitations rather than faults. There are still plenty gaps addressing it, especially when concerning perception ability. This article introduces a method to evaluate SOTIF-oriented effectiveness for forward obstacle detection...

In recent years, system of systems resilience has been widely studied. System obvious properties when considering dynamic reconfiguration in the following four parts: avoidance, survival, adaption and recovery. can be downgraded recovered by reconfiguring resources to keep performance output enough satisfy threshold under internal failure or external shocks. other words, because reconfiguration, characteristics resilience. this study, first, a new model for based on is proposed. Second,...

Integrated modular avionics architecture has become the most attractive idea to enhance system capability as well improve efficiency. However, this makes designing a configuration scheme difficult because multiple resources are shared support different functions that may have been irrelevant before. This article introduces method optimize for an integrated while considering functional redundancy requirements. Not only allocation scheme, which illustrates relationships between and is taken...

In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports of fault propagation paths before making costly design commitments. However, traditional FFIP some deficiencies. this paper, we extend functional failure logic (FFL) in introduce concept deviation. So, can be used to analyze process systems make logical easier. Based on extended FFL,...

Based on power adding technology, the linear transformer driver (LTD) scheme is widely used to generate high-energy pulsed outputs and adopts a hierarchical modular structure. Although robust design fault analysis for basic components have been conducted recently, there still lack of enough reliability studies whole system. Taking an actual LTD system as object, this paper presents model based load-sharing mechanism. A unified rule structure established four typical rules corresponding...

The coupling of man-machine-environment is one the important hazardous causes in complex processes, which currently lack effective analysis methods on subsequent impacts. In this paper, a hybrid hazard method applying core ideas Process Failure Mode and Effects Analysis (PFMEA) Bayesian Network (BN) proposed to decompose describe determine boundary conditions. Coupling model analyze impact processes. BN used accident process evaluate probability accident. Finally, feasibility effectiveness...

Most of the traditional researches on IMA system safety focus dynamic scheduling and real-time management design resources. Although integration process is also important to guarantee function safety, there are insufficient researches. The ultimate object maximize implementation resources under premise safety.

This paper mainly contains three contributions as follows: 1. The concurrency and the consequent safety issues of complex system are identified. According to resources, behavioral activities, their interrelationship in system, basic elements Petri net used model with concurrency. Thereafter, reachable tree under normal conditions is obtained. Finally, based on for established. 2. transformed into Simulink/Stateflow model. presents rules transform process. verify correct logical relationship...

SUMMARY & CONCL USIONSFunctional Failure Identification and Propagation (FFIP) is a graphical processing technology based on the mapping between components, functions, system behaviors. It supports safety analysis of failure propagation before making high-cost design commitments.This paper mainly makes contributions in following three aspects:•In order to solve problem unclear expression functional logic (FFL) FFIP, mathematical used improve FFIP method. This not only conducive establishment...

The Integrated Modular Avionics System (IMA) has been a core technology for the new generation of aircrafts in recent years. It consists set reusable and interoperable common functional modules. However, highly coupled relationship resources makes it difficult to identify control dangers. As an effective efficient way, blueprints are used describe manage IMA system. Owing system management functions provided by blueprints, we can accurately determine configuration status, which is very...