Author:
Rokseth Børge,Haugen Odd Ivar,Utne Ingrid Bouwer
Abstract
Autonomous and unmanned ships are approaching reality. One of several unsolved challenges related to these systems is how to perform safety verification. Although this challenge represents a many-faceted problem, which must be addressed at several levels, it seems likely that simulatorbased testing of high-level computer control systems will be an important technique. In the field of reliability verification and testing, design verification refers to the process of verifying that specified functions are satisfied over the life of a system. A basic requirement for any autonomous ship is that it has to be safe. In this paper, we propose to use the Systems-Theoretic Process Analysis (STPA) to (i) derive potential loss scenarios for autonomous ships and safety requirements to prevent them from occurring, and (ii) to develop a safety verification program, including test cases, intended to verify safety. Loss scenarios and associated safety requirements are derived using STPA. To derive a safety verification program, these unsafe scenarios and safety requirements are used to identify key variables, verification objectives, acceptance criteria and a set of suitable verification activities related to each scenario. The paper describes the proposed methodology and demonstrates it in a case study. Test cases for simulator-based testing and practical sea-trials are derived for autonomous ships. The case study shows that the proposed method is feasible as a way of generating a holistic safety verification program for autonomous ships.
Reference26 articles.
1. Abdulkhaleq A., & Wagner S. (2016). A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis (Vol. V). Retrieved from http://arxiv.org/abs/1612.03103
2. Abrecht B., & Leveson N. G. (2016). Systems theoretic process analysis (STPA) of an offshore supply vessel dynamic positioning system. Boston, MA: Massachusetts Institute of Technology. Retrieved from http://hdl.handle.net/1721.1/104618
3. Systems-Theoretic Process Analysis of Maritime Traffic Safety Management in the Gulf of Finland (Baltic Sea)
4. DNV-GL. (2018). Class guideline DNVGL-CG-0264: Autonomous and remotely operated ships.
5. Early Concept Development and Safety Analysis of Future Transportation Systems
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献