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

2011 ◽  
Author(s):  
Oyvind Smogeli ◽  
Jon Espen Skogdalen
Keyword(s):  
Control System ◽  
Third Party ◽  
System Software ◽  
Safety Critical

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.

Nuclear safety-critical Digital Instrumentation and Control system software: Reliability demonstration

2018 ◽  
Vol 120 ◽  
pp. 516-527 ◽  
Author(s):  
Jia Guo ◽  
Ming Yang ◽  
Bowen Zou ◽  
Yuxin Zhang ◽  
Jun Yang ◽  
...  
Keyword(s):  
Control System ◽  
Software Reliability ◽  
Nuclear Safety ◽  
System Software ◽  
Safety Critical ◽  
Digital Instrumentation ◽  
And Control

Formal Verification of Control System Software

2019 ◽  
Author(s):  
Pierre-Loïc Garoche
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Formal Analysis ◽  
Critical Systems ◽  
System Software ◽  
Unified Approach ◽  
Verification Methods ◽  
Autonomous Cars ◽  
Computer Scientists ◽  
Verification Techniques

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.

Closed loop auto control system software for Miniature Neutron Source Reactors (MNSRs)

Kerntechnik ◽  
2009 ◽  
Vol 74 (5-6) ◽  
pp. 280-285
Author(s):  
M. Iqbal ◽  
J. Qadir ◽  
T. K. Bhatti ◽  
Q. Abbas ◽  
S. M. Mirza
Keyword(s):  
Control System ◽  
Neutron Source ◽  
Closed Loop ◽  
System Software

Development of a centralized approach to conducting interlaboratory proficiency tests

2021 ◽  
pp. 428-434
Author(s):  
Светлана Владимировна Габова ◽  
Анастасия Александровна Трусагина ◽  
Михаил Евгеньевич Артёмов
Keyword(s):  
Quality Control ◽  
Control System ◽  
Oil Quality ◽  
Third Party ◽  
Quality Control System ◽  
Proficiency Tests ◽  
Testing Program ◽  
Testing Laboratories ◽  
Measurement Results ◽  
Reliability Of Measurement Results

Важнейшим звеном системы контроля качества нефти являются испытательные лаборатории, от компетентности которых зависит достоверность результатов измерений и эффективность управленческих решений, принимаемых с учетом полученных данных. Одним из способов подтверждения достоверности результатов измерений является проверка квалификации лаборатории посредством ее участия в межлабораторных сличительных (сравнительных) испытаниях (МСИ). В настоящей статье рассмотрены вопросы проведения таких испытаний для лабораторий организаций системы «Транснефть». Описан действующий порядок, предполагающий участие лабораторий в МСИ в регионах своего местонахождения, при этом разработкой и реализацией программы проверки квалификации занимаются сторонние организации - провайдеры МСИ. Такая практика имеет существенные недостатки, не позволяя, в том числе, систематизировать и обобщить результаты МСИ для общей оценки деятельности испытательных лабораторий ПАО «Транснефть». В статье представлен централизованный подход к проведению МСИ в ПАО «Транснефть», устанавливающий единый порядок участия лабораторий в испытаниях с целью осуществления общей оценки квалификации лабораторий, своевременной разработки и реализации предупреждающих и корректирующих мероприятий по улучшению деятельности лабораторий, усовершенствования системы контроля качества нефти на объектах ПАО «Транснефть». 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.

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
Sign in / Sign up

Export Citation Format

Share Document