Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System

2015 ◽  
Author(s):  
Ya Wang ◽  
Rui Wang ◽  
Yong Guan ◽  
Xiaojuan Li ◽  
Hongxing Wei ◽  
...  
Keyword(s):  
Control System ◽  
Fire Fighting ◽  
Formal Modeling ◽  
Safety Critical

"DIP" Fire Fighting and Blowout Control System

1999 ◽  
Author(s):  
Davorin Armanda ◽  
Ante Kovacic ◽  
Vjekoslav Posavec ◽  
Danko Seletkovic
Keyword(s):  
Control System ◽  
Fire Fighting

scholarly journals The Proposal of the Process of Safety Analysis for Complex Dynamic Technology Systems

2013 ◽  
Vol 21 (Special-Issue) ◽  
pp. 104-108
Author(s):  
Milan Štrbo ◽  
Pavol Tanuška ◽  
Augustín Gese
Keyword(s):  
Control System ◽  
Dynamic Systems ◽  
Quantitative Methods ◽  
Safety Analysis ◽  
Complex Dynamic ◽  
Critical States ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Qualitative And Quantitative Methods ◽  
Complex Dynamic Systems

Abstract The aim of this article is the proposal of process of the safety analysis for complex dynamic systems in process of the proposal of control system for safety-critical processes. The method of safety analysis depends on various safety-critical states of system which are system are controlled by models. We propose to use the method SQMD for modeling these states. This method combines qualitative and quantitative methods of modeling states and takes advantage of both methods. The model of the proposal is shown in the diagram. The article includes detailed description of the tasks for each step of analysis.

Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system

2022 ◽  
Vol 166 ◽  
pp. 108812
Author(s):  
Vinay Kumar ◽  
Kailash Chandra Mishra ◽  
Pooja Singh ◽  
Aditya Narayan Hati ◽  
Mohan Rao Mamdikar ◽  
...  
Keyword(s):  
Control System ◽  
Model Checking ◽  
Reliability Analysis ◽  
Control Systems ◽  
Safety Critical ◽  
And Control

Third Party HIL Testing of Safety Critical Control System Software on Ships and Rigs

2012 ◽  
Author(s):  
Øyvind Smogeli ◽  
Trond Augustson
Keyword(s):  
Control System ◽  
Control Systems ◽  
Technology Development ◽  
Emergency Situation ◽  
Third Party ◽  
System Software ◽  
Safety Critical ◽  
Test Methodology ◽  
Automation Systems ◽  
And Performance

The drilling industry is characterized by a rapid and up front technology development to conquer larger water and drilling depths. The level of automation has been steadily increasing over several decades, growing from manually operated sledge-hammer technology to space-age computer-based integrated systems. Most of the automation systems on today’s vessels are put into operation without independent testing. This is a paradox considering that a single control system may be more complex than all the mechanical systems onboard. It is also a paradox that the automation systems often contain safety-critical failure handling functionality that may be difficult or dangerous to test onboard the real vessel, and therefore is not properly tested until it is activated during an emergency situation. These automation systems are essential for the safety, reliability, and performance of the vessels. Examples are the Dynamic Positioning (DP) systems, Power Management systems, Drilling Control Systems, BOP control systems, Managed Pressure Drilling (MPD) systems, and crane control systems. Hardware-In-the-Loop (HIL) testing is a well proven test methodology from automotive, avionics, and space industries, and is now also gaining recognition in the marine and offshore industries. The aim of this paper is to clarify what HIL testing is, how third party HIL testing can be applied to safety critical control system software on drilling ships and rigs, and why this is an important contribution to technical safety, reliability and profitability of offshore operations.

Sign in / Sign up

Export Citation Format

Share Document