scholarly journals A framework of safety analysis with temporal feature based on MBSA and case study for ACC system

2021 ◽  
Author(s):  
Lisong Wang ◽  
Qin Zhang ◽  
Jun Hu
Keyword(s):  
New Technologies ◽  
Fault Tree Analysis ◽  
Autonomous Driving ◽  
Safety Analysis ◽  
Mathematical Form ◽  
Analysis Method ◽  
Cruise Control ◽  
Fault Trees ◽  
High Level

Abstract The safety of automotive Adaptive Cruise Control (ACC) system is of great significance to prevent fatigue driving, improve driving comfort, reduce accident rate and promote the development of intelligent transportation and autonomous driving technology. However, the current safety analysis of ACC lacks consideration of the temporal dynamic property, so it is necessary to establish a set of safety analysis methods to consider the temporal characteristics. This paper proposes a new safety analysis method based on MBSA framework and introduces temporal features. Altarica3.0 is a high-level modeling language for safety analysis, and its basic mathematical form is Guardian Transformation System (GTS). In this paper we outline an analysis approach that converts failure behavioral models (GTS) to temporal fault trees (TFTs), which can be analyzed using Pandora a recent technique for introducing temporal logic to fault trees. However, like classical fault tree analysis, TFT analysis requires a lot of manual effort, which makes it time consuming and expensive. In order to improve the safety of the system, the proposal extends Bayesian Networks with Pandora and results to dependability analysis with temporal relationships to provide more reliable basis for safety design. As a typical case study, the safety analysis method proposed in this paper is applied to the safety analysis of adaptive cruise system, and the results show the effectiveness of the proposed method. Furthermore, it also provides new technologies for the automation and intelligence of safety analysis for Smart Internet of Vehicle.

GIS Based Multi-Criteria decision support system and machine learning for Hospital Site Selection case study Oran - Algeria

2022 ◽  
Vol 14 (1) ◽  
pp. 0-0
Keyword(s):  
Site Selection ◽  
Decision Makers ◽  
Analysis Method ◽  
Automatic Learning ◽  
Hospital Site ◽  
Set Up ◽  
High Level ◽  
Selection Of ◽  
The Ideal

The selection of hospital sites is one of the most important choice a decision maker has to take so as to resist the pandemic. The decision may considerably affect the outbreak transmission in terms of efficiency , budget, etc. The main targeted objective of this study is to find the ideal location where to set up a hospital in the willaya of Oran Alg. For this reason, we have used a geographic information system coupled to the multi-criteria analysis method AHP in order to evaluate diverse criteria of physiological positioning , environmental and economical. Another objective of this study is to evaluate the advanced techniques of the automatic learning . the method of the random forest (RF) for the patterning of the hospital site selection in the willaya of Oran. The result of our study may be useful to decision makers to know the suitability of the sites as it provides a high level of confidence and consequently accelerate the power to control the COVID19 pandemic.

scholarly journals A zonal safety analysis methodology for preliminary aircraft systems and structural design

2018 ◽  
Vol 122 (1255) ◽  
pp. 1330-1351 ◽  
Author(s):  
Z. Chen ◽  
J. P. Fielding
Keyword(s):  
Failure Modes ◽  
Hazard Analysis ◽  
Fault Tree Analysis ◽  
Cost Effective ◽  
Safety Analysis ◽  
Design Tool ◽  
Assessment Process ◽  
Design Stage ◽  
Preliminary Design

ABSTRACTZonal Safety Analysis (ZSA) is a major part of the civil aircraft safety assessment process described in Aerospace Recommended Practice 4761 (ARP4761). It considers safety effects that systems/items installed in the same zone (i.e. a defined area within the aircraft body) may have on each other. Although the ZSA may be conducted at any design stage, it would be most cost-effective to do it during preliminary design, due to the greater opportunity for influence on system and structural designs and architecture. The existing ZSA methodology of ARP4761 was analysed, but it was found to be more suitable for detail design rather than preliminary design. The authors therefore developed a methodology that would be more suitable for preliminary design and named it the Preliminary Zonal Safety Analysis (PZSA). This new methodology was verified by means of the use of a case study, based on the NASA N3-X project. Several lessons were learnt from the case study, leading to refinement of the proposed method. These lessons included focusing on the positional layout of major components for the zonal safety inspection, and using the Functional Hazard Analysis (FHA)/Fault Tree Analysis (FTA) to identify system external failure modes. The resulting PZSA needs further refinement, but should prove to be a useful design tool for the preliminary design process.

scholarly journals The colour analysis method applied to homogeneous rocks

Geologos ◽  
2015 ◽  
Vol 21 (4) ◽  
pp. 233-239
Author(s):  
Amadé Halász ◽  
Ákos Halmai
Keyword(s):  
Radioactive Waste ◽  
Rock Type ◽  
Cost Effective ◽  
Analysis Method ◽  
The Core ◽  
Cost Effective Method ◽  
Natural Gamma ◽  
Computer Aided ◽  
High Level

Abstract Computer-aided colour analysis can facilitate cyclostratigraphic studies. Here we report on a case study involving the development of a digital colour analysis method for examination of the Boda Claystone Formation which is the most suitable in Hungary for the disposal of high-level radioactive waste. Rock type colours are reddish brown or brownish red, or any shade between brown and red. The method presented here could be used to differentiate similar colours and to identify gradual transitions between these; the latter are of great importance in a cyclostratigraphic analysis of the succession. Geophysical well-logging has demonstrated the existence of characteristic cyclic units, as detected by colour and natural gamma. Based on our research, colour, natural gamma and lithology correlate well. For core Ib-4, these features reveal the presence of orderly cycles with thicknesses of roughly 0.64 to 13 metres. Once the core has been scanned, this is a time- and cost-effective method.

scholarly journals Qualitative Analysis of State/Event Fault Trees Based on Interface Automata

2021 ◽  
Vol 11 (6) ◽  
pp. 663-669
Author(s):  
Gaofeng He ◽  
Bingfeng Xu
Keyword(s):  
Qualitative Analysis ◽  
Fire Protection ◽  
Formal Semantics ◽  
Analysis Method ◽  
Fault Trees ◽  
System Failures ◽  
State Space Explosion ◽  
Interface Automata ◽  
Analysis Process

State/Event Fault Tree (SEFT) can be used for safety modeling and assessment. However, SEFT does not provide adequate semantics for analyzing the minimal scenarios leading to system failures. In this paper, we propose a novel qualitative analysis method for SEFT based on interface automata. Firstly, we propose the concept of guarded interface automata by adding guards on interface automata transitions. Based on this model, we can describe the triggers and guards of SEFT simultaneously. Then, a weak bisimilarity operation is defined to alleviate the state space explosion problem. Based on the proposed guarded interface automata and the weak bisimilarity operation, the semantics of SEFT can be precisely determined. After that, a qualitative analysis process is presented on the basis of the formal semantics of SEFT, and the analyzing result is the minimal cut sequence set representing the causes of system failures. Finally, a fire protection system case study is illustrated step by step to demonstrate the effectiveness of our method.

scholarly journals Operational site selection for disaster management bases in Tehran, Iran

MAUSAM ◽  
2021 ◽  
Vol 71 (3) ◽  
pp. 431-442
Author(s):  
ALAVI SAYYED ALI ◽  
MESHKINI ABOLFAZL ◽  
EBRAHIMI MOHAMMAD
Keyword(s):  
Natural Disasters ◽  
Disaster Management ◽  
Human Life ◽  
Main Role ◽  
Gis Analysis ◽  
Analysis Method ◽  
Selection For ◽  
High Level ◽  
Spatial Analysis Method

Natural disasters play a main role in human life. It should be taken into consideration that it is impossible to predict these disasters from happening, but preparation for a good response for these disasters can be a good solution to decrease post-damage casualties in the cities. Herein, Disaster Management Bases in terms of prevention, preparation and dealing with the crisis play a key role, especially in Tehran and in times of natural disasters. There is no doubt that a high level and efficient function of these bases has a striking correlation with the way they are located in both an urban and regional level in a way that in addition to providing security of the bases against disasters, based on the service area they could be able to provide good services for the areas of crisis. This paper tries to use Multi Criteria Decision Making (MCDM) techniques and spatial analysis method in order to assess the effectiveness of these bases. Based on assessments Disaster Management Bases have spontaneously distributed in Tehran and have located in inappropriate places. Thus using MCDM with GIS analysis, the best locations in case study area was proposed.  

Computerization Movements and Scientific Disciplines

2006 ◽  
pp. 26-47 ◽  
Author(s):  
Christine Hine
Keyword(s):  
New Technologies ◽  
Scientific Practice ◽  
Scientific Discipline ◽  
Strategic Responses ◽  
Cultural Perceptions ◽  
Policy Document ◽  
Scientific Disciplines ◽  
High Level ◽  
Recent Policy

This chapter examines some of the factors which help to create a momentum for developing new infrastructures for scientific research. Specifically it discusses the usefulness of the “computerization movement” perspective for understanding how innovations in scientific practice catch on and to what effect, arguing that we need to understand the role that wider cultural perceptions about the potential of new technologies play in shaping high level policy and day-to-day practice in science. A case study to develop this point is drawn from one scientific discipline, biological systematics. Examination of a recent policy document suggests that a computerization movement is in progress in this discipline, accompanied by a variety of strategic responses. It can be seen that a computerization movement in science can not only stimulate particular forms of technical activity, but also provide the occasion for focused discussions on the directions, goals and audiences for a discipline.

scholarly journals Constraint-based deadlock checking of high-level specifications

2011 ◽  
Vol 11 (4-5) ◽  
pp. 767-782 ◽  
Author(s):  
STEFAN HALLERSTEDE ◽  
MICHAEL LEUSCHEL
Keyword(s):  
Formal Models ◽  
Cruise Control ◽  
Industrial Case Study ◽  
General Technique ◽  
Constraint Solver ◽  
Smt Solvers ◽  
Deadlock Freedom ◽  
Cruise Control System ◽  
High Level

AbstractEstablishing the absence of deadlocks is important in many applications of formal methods. The use of model checking for finding deadlocks in formal models is often limited. In this paper, we propose a constraint-based approach to finding deadlocks employing the ProB constraint solver. We present the general technique, as well as various improvements that had to be performed on ProB's Prolog kernel, such as reification of membership and arithmetic constraints. This work was guided by an industrial case study, where a team from Bosch was modelling a cruise control system. Within this case study, ProB was able to quickly find counterexamples to very large deadlock-freedom constraints. In the paper, we also present other successful applications of this new technique. Experiments using SAT and SMT solvers on these constraints were thus far unsuccessful.

scholarly journals Functional safety analysis of SAE conditional driving automation in time-critical situations and proposals for its feasibility

2020 ◽  
Author(s):  
Takayuki Hirose ◽  
Tetsuo Sawaragi ◽  
Hideki Nomoto ◽  
Yasutaka Michiura
Keyword(s):  
Transfer Problem ◽  
Autonomous Driving ◽  
Safety Analysis ◽  
Fundamental Solutions ◽  
Analysis Method ◽  
Functional Modeling ◽  
Resonance Analysis ◽  
Critical Situation ◽  
The Right ◽  
Time Critical

Abstract The autonomous driving technology is rapidly developed for commercial use, aiming at the conditional driving automation or the third level of driving automation (LoDA 3). One of the most critical challenges for the achievement is the smooth authority transfer from the system to human drivers in an emergency. However, it is still on the way to find out fundamental solutions. The difficulty is closely related to the envisioned world problem, for which the concept of functional modeling could be a solution. This paper presents a safety analysis of the authority transfer problem based on the ideas of functional modeling. We discuss the safety of the authority transfer in a time-critical situation by using a simulator based on the functional resonance analysis method (FRAM). The result shows that the involvement of human drivers in driving activities is still essential even during autonomous driving. We show that the current LoDA 3 is a myth that the human drivers are supposed to be required just in non-normal situations, while they can be free from dynamic driving tasks (DDTs) in usual cases. Based on the result, this work makes some proposals for successful autonomous driving, effective human–machine collaboration, and the right design of artifacts.

scholarly journals Calculation of the Probabilistic Safety Analysis and Reliability by the Fault Trees and Event Trees Methods

2019 ◽  
Author(s):  
Мария Берберова ◽  
Mariya Berberova ◽  
Александр Дмитриев ◽  
Aleksandr Dmitriev ◽  
Александр Голубков ◽  
...  
Keyword(s):  
Nuclear Power ◽  
Probabilistic Models ◽  
Safety Analysis ◽  
Fault Trees ◽  
Equipment Failures ◽  
Event Trees ◽  
High Level ◽  
The Impact ◽  
Current Risk ◽  
Probabilistic Safety

One of the main requirements for ensuring a high level of safety and economic efficiency of nuclear power units at all stages of the life cycle - designing new ones, operating existing power units and decommissioning them - is a probabilistic safety analysis of nuclear power units. The most widely used method for probabilistic safety analysis is the fault tree method. NPP power units are a complex system consisting of a large number of units of equipment, systems and units that are interconnected functionally and affect each other. In addition, to increase the adequacy of the developed probabilistic model of a power unit, it is necessary to take into account equipment failures for general reasons and the human factor. The resulting in-depth probabilistic models of power units can contain tens of thousands of fault trees and, as a result, hundreds or more of thousands of minimum sections and require lengthy calculations to obtain acceptable accuracy of the results. This complicates the application of this method, especially when monitoring risk in real time, when it is necessary to promptly make changes to the model and assess the impact of these changes on the current risk. The novelty of the project is the use of a modified modularization method, which significantly accelerates the generation of many minimal sections.

Sign in / Sign up

Export Citation Format

Share Document