The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The paper aims to present an improved methodology of safety assessment with system simulation. In this paper, the Monte Carlo simulation and uncertainty analysis will be applied to the research of FMECA which is the basis of safety assessment. The improved methodology will overcome the shortages of traditional method. At the same time, the idea of the method will provide a comprehensive safety analysis...
This paper presents the system dynamic modelling and simulation of folic acid tabs supply chain in rural areas in district Haridwar, Uttarakhand, India. During the investigation and data collection, an enormous shortage of folic acid tabs was observed at various stages leaving a large population unserved. The stock out occurs due to uncertain lead time and demand. Therefore the model is developed...
In this paper, we introduce a metropolitan traffic simulation with microscopic vehicle agents with approximated behavior near intersections. We simulate a metropolitan traffic flow for Tokyo and surrounding four prefectures with fine-grained traffic demand obtained from Tokyo Person Trip survey. Though this simulator has an ability to manage signal control, it is difficult to obtain the real signal...
In this study, a comparison between simulations using the Particle and Heavy Ion Transport code System (PHITS) code and activated material analysis of JT-60U have been performed. Neutron transport has been simulated using the Monte Carlo method PHITS to determine the neutron fluency at the irradiation position. The activated analysis has been complemented by the foil-activation technique. The preliminary...
Cooperative intelligent transport systems (ITS) are considered as the key enabling technology to improve road safety, traffic efficiency and driving experience. V2X (vehicle-to-vehicle and vehicle-to-infrastructure) communications are gaining increasing importance in automotive research and engineering domains. Many mobility and convenience applications require the V2X bidirectional communications...
Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automatically generating mappings between failure ports...
Failure Mode and Effects Analysis (FMEA) is a well-known technique for evaluating the effects of potential failure modes of components of a system. It is a crucial reliability and safety engineering activity for critical systems requiring systematic inductive reasoning from postulated component failures. We present an approach based on SysML and Prolog to support the tasks of an FMEA analyst. SysML...
This paper proposes a driving safety evaluation method based on the parameter analysis of a driver model. Since the driving abilities, such as reaction, recognition and judgment time decrease with aging, it is difficult for elderly drivers to avoid the traffic accidents instantly. Therefore, the proactive safety driving is important for the elderly drivers to prevent the accidents. Then, the safety...
Due to complex safety requirements, medical devices must obey rigorous standards. In the development of these devices, modeling techniques must be used to analyze the design decisions in agreement with such standards. In this paper, we present a Matlab/Simulink specification as an analytical model for Automated External Defibrillators (AEDs) and its integration with a Model Based Systems Engineering...
Vehicular Ad-hoc NETworks (VANETs) are networks rely on short-range communication technology to facilitate Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) communications. Various Media Access Control (MAC) protocols are proposed by recent researches to support efficient and reliable wireless access for VANETs. Particularly, Dedicated Multichannel MAC (DMMAC) distinguished itself as a...
In the development of safety-critical system, ModelBased Safety Assessment (MBSA) process can reduce the development complexity and improve assessment efficiency. As an important part of MBSA, system modeling and safety requirements description with formal methods still lack a well-defined process. In this paper, the relationship between traditional safety assessment process and MBSA is discussed,...
Integrated Modular Avionics (IMA) develops fast and brings more advantages than traditional avionics, such as reducing the hardware redundancy, improving the resource utilization, making the system adaptable and flexible. And the dynamic reconfiguration improves the resource utilization, the flexibility and other advantages as well as the complexity. The safety problems grow as the complexity of IMA...
With the increase of military and civil aircraft system complexity, the shortage of traditional safety analysis technology goes distinctly, while the Model-based Safety Analysis technology attaches more and more importance. Therefore, this paper presents the background, basic concept and research and application situation of Model-based Safety Analysis technology, identifies the benefit of it. This...
In this paper, we propose a system storing sensor data generated from the vehicle using Big data system and analyzing real-time sensor output to predict the car slip. A large amount of data will be distributed and stored by MongoDB which is one of NoSQL Database, and analyzed to control the vehicle by Hadoop Map/Reduce. The proposed system can be applied to general vehicle and also to the field of...
Safety-Critical Systems as used in avionics systems are now extremely software-reliant. As these systems are life-or mission- critical, software must be carefully designed and certified according to stringent standards. One typical pitfalls of such project is the late detection of safety issues or bugs at integration time that impose to redo development steps. Model-Based Engineering aims at capturing...
Modern avionics systems benefit a lot from integration which in return increases the system complexity and safety problems. The hazards existed in IMA have been considered from the prospects of resources allocation/ scheduling while the resource process integration is ignored. The existing analysis methods, proposed by the ARP4761, cannot analyze the data interaction problems among functions. The...
Mechatronic systems become widely used as onboard systems with the development of electric and hybrid vehicles, more-electric aircrafts, etc. to achieve critical missions such as the control of these systems. The synergistic aspect of mechatronic systems makes their design challenging to take into account all the interactions among components of different domains. The safety-critical aspect of these...
This article focuses on operation sequences engineering and preparation for complex and critical systems. The main objective is to safely operate some action sequences on the process devices (mainly actuators), according to safety requirements specifications. Based on a process formal model using communicating automata, this article shows both feasibility and limits of an automatic approach for the...
This study presents an analysis of the interaction between a driver and an automated driving system (ADS) using a communicating sequential process (CSP). Level 3 of automated vehicles requires that drivers are able to take control from the ADS in emergency situations. To allow this, the interactions between the driver and ADS must be treated as part of the safety system. In an emergency situation,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.