According to International Maritime Organization (IMO), the Baltic Sea Area has some of the densest maritime traffic in the world. The Baltic Sea was designated a Particularly Sensitive Sea Area (PSSA) at IMO Marine Environment Protection Committee's 53rd session in July 2005. The Mandatory Ship Reporting System in the Gulf of Finland Traffic Area (GOFREP) was established by IMO in 2003 and has been in operation since 2004. The objective of this study in progress is 1) to outline the hierarchical structure of the maritime navigation safety management system from European to ship onboard level and 2) to apply the Systems-Theoretic Process Analysis (STPA) to identify system level hazards and potentially unsafe ship speed and maneuvering control actions with respect to IMO Collision Regulations (COLREGs) Rules on ship safe speed, ship safe separation distances and the Traffic Separation Schemes requirements with the aim of evaluating the effective hazard control options to enable efficient updating of ship level situational awareness and the enforcement of safety constraints in real time.
Title: A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis
Authors:Asim Abdulkhaleq, Stefan Wagner
(Submitted on 9 Dec 2016)
Abstract: Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behaviours is impossible. Numerous testing approaches exist. However, they do not directly concern the information derived during the safety analysis. STPA (Systems-Theoretic Process Analysis) is a unique safety analysis approach based on system and control theory, and was developed to identify unsafe scenarios of a complex system including software. In this paper, we present a systematic and semi-automatic testing approach based on STPA to generate test cases from the STPA safety analysis results to help software and safety engineers to recognize and reduce the associated software risks. We also provide an open-source safety-based testing tool called STPA TCGenerator to support the proposed approach. We illustrate the proposed approach with a prototype of a software of the Adaptive Cruise Control System (ACC) with a stop-and-go function with a Lego-Mindstorms EV3 robot.
Submission historyFrom: Stefan Wagner [view email]
[v1] Fri, 9 Dec 2016 17:51:35 GMT (2925kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)