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 order to specify the description of accident process and structure the general formal model, this paper abstracted and defined some correlate concepts of fault propagation process, and carried on a systematic formal description to accident development process through introducing the typical six-elements Finite State Machine (FSM). Then, this paper built the fault propagation models of the system...
According to the deficiency that traditional reliability and safety analysis approach cannot describe dynamic behaviors of complex system, priority of failure events, and failure mode propagation. A new safety analysis and assessment technique is studied. It is based on the finite state machine theory and use the formal specification language AltaRica for system modeling. Because it puts event as...
A service robot especially a care-providing robot, works in the vicinity of a human body and is sometimes even in direct contact with it. Conventional safety methods and precautions in industrial robotics are not applicable to such robots. This paper presents a safety approach for designing the safe care-providing robot FRIEND. The approach is applied in each step of design iteratively to identify...
Control systems are used in industry for process automation and to increase the reliability and dependability when executing critical tasks. Failures in the operation of such systems may cause expensive losses and can compromise the plant safety. Therefore, it is necessary to define techniques, methods and tools to increase the dependability as well as reliability. Verification and validation techniques...
This paper is motivated by the challenge to traditional development process of embedded systems from the evolution of dependability requirements, which leads to manual analysis and revision of system designs at design-time or post-implementation at a high cost, especially when the target system is complex or large. This paper proposes a complementary methodology, namely the model monitoring approach,...
Programmable logic controller is becoming the most important device adopted for controlling productive systems classified as safety-related. The main reason for that is associated to advances in technology that improve the reliability of the hardware and software components of such a controller. While in the hardware context the increase in reliability is attained by using electronic components with...
Systems verification requires first to model the system to be verified, then to formalize the properties to be satisfied, and finally to describe the behaviour of the environment. This last point, known as the proof context, is often neglected. It could, however, be of great importance in order to reduce the complexity of the proof. The question is then how to formalize such a proof context. This...
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.