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

2011 ◽  
Author(s):  
Oyvind Smogeli ◽  
Jon Espen Skogdalen
Author(s):  
Øyvind Smogeli ◽  
Trond Augustson

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.


2018 ◽  
Vol 120 ◽  
pp. 516-527 ◽  
Author(s):  
Jia Guo ◽  
Ming Yang ◽  
Bowen Zou ◽  
Yuxin Zhang ◽  
Jun Yang ◽  
...  

Author(s):  
Pierre-Loïc Garoche

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.


Kerntechnik ◽  
2009 ◽  
Vol 74 (5-6) ◽  
pp. 280-285
Author(s):  
M. Iqbal ◽  
J. Qadir ◽  
T. K. Bhatti ◽  
Q. Abbas ◽  
S. M. Mirza

Author(s):  
Светлана Владимировна Габова ◽  
Анастасия Александровна Трусагина ◽  
Михаил Евгеньевич Артёмов

Важнейшим звеном системы контроля качества нефти являются испытательные лаборатории, от компетентности которых зависит достоверность результатов измерений и эффективность управленческих решений, принимаемых с учетом полученных данных. Одним из способов подтверждения достоверности результатов измерений является проверка квалификации лаборатории посредством ее участия в межлабораторных сличительных (сравнительных) испытаниях (МСИ). В настоящей статье рассмотрены вопросы проведения таких испытаний для лабораторий организаций системы «Транснефть». Описан действующий порядок, предполагающий участие лабораторий в МСИ в регионах своего местонахождения, при этом разработкой и реализацией программы проверки квалификации занимаются сторонние организации - провайдеры МСИ. Такая практика имеет существенные недостатки, не позволяя, в том числе, систематизировать и обобщить результаты МСИ для общей оценки деятельности испытательных лабораторий ПАО «Транснефть». В статье представлен централизованный подход к проведению МСИ в ПАО «Транснефть», устанавливающий единый порядок участия лабораторий в испытаниях с целью осуществления общей оценки квалификации лабораторий, своевременной разработки и реализации предупреждающих и корректирующих мероприятий по улучшению деятельности лабораторий, усовершенствования системы контроля качества нефти на объектах ПАО «Транснефть». The most important link in the oil quality control system are testing laboratories, the competence of which determines the reliability of measurement results and the effectiveness of management decisions based on the data obtained. One way to confirm the validity of measurement results is to verify the laboratory qualifications through its participation in interlaboratory proficiency (comparative) tests (IPT). This article considers the issues of such tests for the laboratories of Transneft system entities. The current procedure is described, which involves the participation of laboratories in the IPT in the regions of their location, while the development and implementation of the proficiency testing program is carried out by third-party IPT provider organizations. This practice has significant drawbacks, not allowing, among other things, to systematize and summarize the results of IPT for an overall assessment of the activities of Transneft PJSC’s testing laboratories. The article presents a centralized approach to conducting IPT in Transneft PJSC, which establishes a unified procedure for the participation of laboratories in tests in order to implement an overall assessment of laboratory qualification, timely development and implementation of preventive and corrective measures to improve the performance of laboratories and improve the oil quality control system at the Transneft PJSC facilities.


Author(s):  
Milan Štrbo ◽  
Pavol Tanuška ◽  
Augustín Gese

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.


2022 ◽  
Vol 166 ◽  
pp. 108812
Author(s):  
Vinay Kumar ◽  
Kailash Chandra Mishra ◽  
Pooja Singh ◽  
Aditya Narayan Hati ◽  
Mohan Rao Mamdikar ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document