Model-driven engineering to ensure the security of automotive software
L’ingénierie dirigée par les modèles pour assurer la sécurité des logiciels embarqués en automobile
Résumé
The advent of autonomous vehicles was long seen as an event that would revolutionize the world of transportation and improve the comfort and safety of users. Although this optimism is shared by most people and significant technological progress has been made in this direction, the road ahead offers many challenges, particularly in the area of safety, due to the increasing use of embedded software that has become very complex. Faced with this growing complexity, traditional manual, document-based methods of safety analysis have reached their limits and it is time to rethink approaches. We propose to rely on model-driven engineering to conduct safety analyses no longer directly from design documents but from a model of the embedded software architecture. To this goal, we make a methodological proposal, which, validated on the study of an automotive software component, improves current practices in time, analysis quality and reuse.
L'avènement des véhicules autonomes a été longtemps perçu comme un événement qui allait révolutionner le monde du transport, améliorer le confort et la sécurité des usagers. Bien que cet optimisme soit partagé par la plupart et que d'importants progrès technologiques aient été fait dans ce sens, le chemin ne reste pas pour le moins jonché de nombreux défis, notamment celui de la sécurité, liée à l'utilisation croissante de logiciels embarqués devenus très complexes. Face à cette complexité grandissante, les méthodes manuelles traditionnelles d'analyse de la sécurité basées sur des documents ont atteint leur limite et il est temps de repenser les approches. Nous proposons pour cela de nous appuyer sur l'ingénierie dirigée par les modèles pour mener les analyses de sécurité non plus directement à partir des documents de conception mais d'un modèle de l'architecture du logiciel embarqué. Nous faisons en ce sens une proposition méthodologique, qui, validée sur l'étude d'un composant logiciel automobile, améliore les pratiques actuelles en temps, en qualité des analyses et en réutilisation.
Fichier principal
L’ingénierie dirigée par les modèles pour assurer la sécurité des logiciels embarqués en automobile. Proposition méthodologique et étude de cas.pdf (1.55 Mo)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|