Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study

Abstract

The development of driver assistance and autonomous driving systems for vehicles has started to revolutionize the transportation sector, offering comfort and safety. While significant technological progress has already been made in this area, the road ahead is littered with many challenges. Among these challenges, ensuring driver safety has become even more critical due to the increasing use of complex, communicating and reconfigurable embedded software. Current approaches to document-based safety analysis have reached their limit and the time has come to rethink them. To this end, we propose to rely on model-driven engineering to conduct safety analyses. This paper makes a methodological proposal that improves current practices in terms of time, analysis quality and reusability, and that has been validated on the study of an automotive software component.