Objectif

• Les membres du groupe NSL, experts industriels des normes de sûreté applicables aux systèmes embarqués critiques et à leur logiciel dans différents domaines d’application, se sont donné pour tâche de décloisonner leur réflexion autour de ces normes, et d’identifier et comprendre la justification de leurs similitudes et différences, avec pour principaux objectifs :

  • D’améliorer la compréhension de ces normes et leur mise en œuvre dans la pratique industrielle, notamment dans des contextes relevant de plusieurs domaines d’application avec des normes différentes,
  • De contribuer, lorsque c’est possible et justifié, à la convergence des normes ainsi qu’à leur amélioration.

  Contexte

  Les motivations sous-jacentes à la constitution du groupe se situent dans un contexte où l’élaboration des normes de sûreté se fait encore trop souvent en « silo », domaine par domaine, avec trop peu de contacts et d’échanges. Outre la diminution d’efficacité du processus d’élaboration des normes qui en résulte, cela conduit à des particularités et différences qui accroissent les difficultés de mise en œuvre des normes, en particulier pour des systèmes ou outils relevant de plusieurs domaines d’application.

  Plan de travail du GT et livrables

  Depuis sa création en 2008 (initialement sous l’égide du CG2E, Club des Grandes Entreprises de l’Embarqué), le groupe NSL se réunit tous les deux mois pour des séances d’une à deux journées de travail, auxquelles s’ajoutent l’organisation d’événements tels qu’une réunion d’échange multi-projets Européens sur les systèmes critiques en 2012, un workshop « formal methods and tests » associé à Safecomp-2013, une table ronde « Foundations of trust in safety critical software » à ERTS-2016, et des échanges avec d’autres groupes de travail (tels que le groupe sûreté de fonctionnement du GIFAS ou le groupe sûreté de fonctionnement Occitanie).

  Outre des documents de travail préparés en support aux contributions de ses membres dans les organisations de normalisation, dans leur entreprise ou dans d’autres groupes de travail, ainsi que des présentations régulières (notamment aux Assises de l’Embarqué) ou sur invitation (workshop CARS 2013, Ecole d’Eté 2014 Chaire Airbus sur les systèmes critiques, Ecole d’Eté Temps-Réel ETR-2017), le groupe NSL a choisi de concrétiser les résultats de ses travaux par des présentations et publications dans des revues et conférences scientifiques nationales et internationales (soumises à sélection par revue de pairs) afin d’élargir la diffusion et les échanges au sein de la communauté des systèmes critiques. La liste actuelle des publications du groupe comprend :

• « Multi-domain Comparison of safety standards », ERTS-2010, Toulouse, France, May 19-21, 2010“

• « Comparaison de normes de sécurité-innocuité de plusieurs domaines industriels », Revue de l’Electricité et de l’Electronique (REE) vol.2011-2, Février 2011,

• « Criticality categories across safety standards in different domains », ERTS-2012, Toulouse, France, February 1-3, 2012

• « Cross domain comparison of System Assurance », ERTS-2012, Toulouse, France, February 1-3, 2012

• « A cross-domain comparison of software development assurance standards », ERTS-2012, Toulouse, France, February 1-3, 2012

• « Joint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries », ERTS-2014, Toulouse, France, February 5-7, 2014

• « Perspectives on Probabilistic Assessment of Systems and Software », ERTS-2016, Toulouse, France

• « Software Safety Assessment and Probabilities », DSN-2016, Toulouse, France, June 28 – July 1st, 2016

• « Software Safety – A journey across domains and safety standards », ERTS-2018, Toulouse, France, January 30 – February 2, 2018

• Do assurance standards need radical changes?, ERTS 2022 

  Perspectives on ML Safety Assurance. ERTS 2024