Safer Marine and Offshore Software with Formal-Verification-Based Guidelines

Lucas Duboc (1) , Sébastien Flanc (2) , Florent Kirchner (3) , Hélène Marteau (1) , Virgile Prévosto (3) , Franck Sadmi (1) , Franck Védrine (3)

1 Bureau Veritas
2 SIREHNA
3 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies

As the development of ship software systems has followed the growth curve of digital technologies, Marine & Offshore assessors, like Bureau Veritas, are lacking dedicated software safety assessment standards and tools compared to other industrial sectors like railways or aeronautics. Indeed, in this field of Marine & Offshore, software systems are seen as black-boxes, i.e. only assessed through system testing without specific requirements for the software development. Given the impacts of software failures on human, strategic, economic, or environmental aspects, this approach is not sufficient. From this statement and because usual safety standards are very demanding in terms of development processes, Bureau Veritas has decided to issue pragmatic guidelines for the development and the assessment of industrial software. They are focusing on development processes and the use of efficient tools to verify software through a white-box approach. In this context Bureau Veritas has partnered with CEA-List which is a major actor in applied formal verification techniques. This paper is illustrated by a use case with Sirehna for the implementation of those guidelines on a critical ship software system.

Domaines: Systèmes embarqués

Lucas Duboc, Sébastien Flanc, Florent Kirchner, Hélène Marteau, Virgile Prévosto, et al.. Safer Marine and Offshore Software with Formal-Verification-Based Guidelines. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292258⟩