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.
In the future intelligent transport systems (ITS) the reliability and precision of the cooperative and autonomous vehicles are of the utmost importance. For such systems vehicle-to-vehicle and vehicle-to-infrastructure (V2X) communications is safety-critical component of ITS. Many mobility and convenience applications of ITS require the V2X bidirectional communications mode. This paper focuses on...
Cyber-Physical Systems (CPS) are known to be highly complex systems which can be applied to a variety of different environments, covering both civil and military application domains. As CPS are typically complex systems, its design process requires strong guarantees that the specified functional and non-functional properties are satisfied on the designed application. Model-Driven Engineering (MDE)...
In order to accurately simulate vehicles' running states of lane changing and more effectively reflect its characteristics, based on the driving experience, this paper introduced three changing rules and their corresponding lane changing benefits and safety factors, and summarized the lateral and longitudinal motion of vehicles as the interaction result between lane changing benefits and safety factors...
Many researchers analyzed the culture dissemination from observing and they did not give a mathematical model to quantitatively analyze the problem. In order to overcome the problem we would apply the theory of epidemic dynamics for safety cultures dissemination. In the paper, an ICB (the people in an organization divided into three groups: incomprehension, comprehension and oblivion) mathematic model...
Paper presents some specific technics developed to improve the modeling of Multiunit Probabilistic Safety Analyses (MUPSA) level 1. PSA has the goal to calculate risk metrics, as for instance Core Damage Frequency (CDF) for the reactor core. On the other side, extended targets for PSA, by considering more hazards at a time and effect of those on more than one nuclear reactors at a site, make the evaluation...
The present paper describes the behavior of the input key parameters selected in the analysis of the early stages of a Station Blackout scenario simulated in a CANDU 6 reactor. The event timing of an SBO accident progression was described in this paper. However, “time” is merely one of many aspects to be referred for the comparison of the level of safety. An overall comparison of the level of safety...
When using formal verification on critical software, an important question involves whether we have we specified enough properties for a given implementation model. To address this question, coverage metrics for property-based formal verification have been proposed. Existing metrics are usually based on mutation, where the implementation model is repeatedly modified and re-analyzed to determine whether...
In this paper, the emergency braking of high speed train is studied, and the relationship between the braking force, resistance, speed and deceleration is discussed. According to the Newton's second law of motion, by discretizing the speed and displacement, the emergency braking model of high speed train is established. Further, the unobserved braking parameters of model are identified by the iterative...
System Analysis Modeling Language (SAML) is a formal language which helps in expressing and analyzing the qualitative and quantitative aspects of the software as well as hardware models. This can be used in model-based safety analysis (MBSA) which provides the means of identifying, localizing and analyzing hazards in these real-time Safety-Critical Systems. This paper describes the work carried out...
With the urbanization process speeding up, the construction of City Road increased rapidly. So limited road resource is often occupied during the road construction, which makes road capacity of construction affected area greatly decrease. Then the contradiction of city original transport supply becomes more prominent. Therefore, it is very important to make a reasonable traffic organization plan....
Not all facilities in Indonesia have supporting facilities for wheelchairs in order to access these facilities freely. Obstacles encountered especially not their specific path to enter, so had to climb the stairs. The problem is the absence of a special path to enter the access, so it must climb the stairs. The movement of the wheels to climb the stairs and sitting balance system of the patient become...
To develop a new standard design of gas-insulated bus(GIB), an electromagnetic-structural finite element analysis has been conducted considering the electromagnetic force generated in GIB with a large current. The GIB are electrical bus-bar parts of a gas-insulated switchgear(GIS) installed as a protective device in power plants and substations. Since the electromagnetic forces generated by a large...
It is largely recognized that the architectures of embedded systems are becoming more and more complex both at hardware and software levels. Despite the significant advances in the development tools, developing the software of such systems while ensuring their safety is still a difficult task. In this paper, we propose an engineering methodology to ease the development of safe software systems. It...
According to the functional requirements for the hollow rotating lamp frame on the stage, its working principle is analyzed in the paper. The overall structure design is determined. The structure designs for body parts, connecting parts, power supply, hanger and rotating parts composed to the lamp frame are completed. The theory analysis and calculation to the power of rotating part are finished so...
In order to improve the electric car battery safety early warning ability and decrease the safe accident of electric vehicle charging, the electric vehicle charging safety factors are analyzed, the security early warning index selection ways and methods are studied, and a security early warning evaluation index system is set, the evaluation method of weight for safety index is discussed. Besides,...
The paper is devoted to a comprehensive modelling of the influence of the operation process and the climate-weather change process on the safety of a critical infrastructure. Particular models of critical infrastructure safety influenced by its inside among its components and subsystems dependences and by its outside operating environment threats and climate-weather hazards are created and a reasonable...
The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses...
In the last decades, Networked Control Systems (NCS) has become a key aspect in different application domains of mechatronic technology (e.g. automotive, railway and industrial automation). This NCS consist of several control nodes equipped with sensors and actuators, which fulfill the specified control tasks and are interconnected by bus systems for realizing an efficient I/O communication between...
Failure analysis is an important part in reliability analysis, while the traditional FMEA method could not analyze system with complex physical structure and functional logic by tables. Based on the Altarica language, this paper presents a method of product fault modeling and analysis for complex system. Then give examples of cold/warm backup system and reconfiguration system to verify the accuracy...
The paper is devoted to the climate influence on the safety of a critical infrastructure defined as a complex system in its operating environment that in the case of its degradation have significant destructive influence on the health, safety and security, economics and social conditions of large human communities and territory areas. The method based on the joint model linking a multistate approach...
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.