Towards Reliable and Efficient Safety-Critical Systems: A DO-178C Framework for UAV Development

Des progrès considérables ont été réalisés dans le développement des véhicules aériens sans pilote (UAV), qui permettent désormais des opérations autonomes sophistiquées dans divers domaines, tels que la mobilité aérienne urbaine, la logistique et la surveillance. Ces véhicules doivent interagir avec d’autres systèmes avioniques en opérant dans des environnements hautement dynamiques et critiques en termes de sûreté, tout en restant fiables et en respectant des réglementations aéronautiques strictes. Leur capacité à opérer au-delà de la ligne de visée (BVLOS) et dans un espace aérien partagé souligne l’importance cruciale de la sûreté. Conformément aux meilleures pratiques, le développement de logiciels pour drones doit être conforme aux normes industrielles telles que DO-178C, qui définit les lignes directrices pour la certification des logiciels dans les systèmes aéroportés. Le respect de ces normes exige une vérification, une validation et une traçabilité approfondies, toutes essentielles pour prouver l’exactitude et la robustesse du logiciel. Bien que la conformité à la norme DO-178C présente de nombreux avantages, la réalisation de ses objectifs s’accompagne de défis considérables. Assurer la traçabilité des exigences de haut niveau (HLR) à la mise en oeuvre, générer les artefacts de certification nécessaires et maintenir la cohérence tout au long du cycle de développement du logiciel exige un effort manuel important et des connaissances spécialisées. En outre, il devient plus difficile de valider la correction fonctionnelle, les propriétés de sûreté et la robustesse contre les défaillances en raison de la complexité des logiciels modernes pour drones, en particulier dans les systèmes autonomes. Les méthodologies de développement conventionnelles dépendent souvent de procédures manuelles et de techniques informelles, ce qui rend difficile la conformité avec les objectifs de la DO-178C tout en gérant efficacement les tâches de vérification et de validation. La résolution de ces problèmes nécessite des approches structurées qui combinent les méthodes formelles et l’automatisation afin d’optimiser le processus de développement et d’améliorer la fiabilité des logiciels critiques. Pour relever ces défis, cette recherche présente une méthodologie conforme à la norme DO- 178C qui intègre des méthodes formelles avec des outils automatisés pour faciliter le développement et la certification de logiciels pour drones. Une deuxième contribution est l’introduction d’un langage de modélisation spécifique au domaine (DSML) conçu pour définir des exigences de haut niveau en mettant l’accent sur les aspects liés à la sûreté. Ce DSML assure la conformité avec les objectifs de la DO-178C et permet une modélisation précise des exigences. Un cadre de transformation des modèles est également créé pour générer automatiquement une architecture logicielle à partir d’exigences de haut niveau, minimisant ainsi la dépendance à l’égard des transitions manuelles et améliorant la traçabilité. En s’appuyant sur des techniques basées sur des modèles et sur l’automatisation, l’approche proposée améliore la fiabilité des logiciels tout en réduisant les efforts nécessaires à la certification. La méthodologie est validée à l’aide d’une étude de cas portant sur un système d’évitement des collisions de drones, un composant critique conçu pour détecter et atténuer le risque de collisions en vol. L’étude de cas illustre comment le cadre de transformation de modèle permet la dérivation automatique de l’architecture logicielle et comment le DSML proposé soutient la spécification formelle des exigences de sûreté. L’efficacité de l’approche est évaluée en examinant dans quelle mesure elle améliore la cohérence, minimise les erreurs et produit des artefacts de certification conformes à la norme DO-178C. Les résultats démontrent les avantages de la combinaison de l’automatisation et de la modélisation formelle lors du développement de logiciels critiques de drones. En conclusion, cette recherche contribue à faire progresser les pratiques d’ingénierie logicielle pour les systèmes aéroportés en introduisant une approche structurée et automatisée pour la spécification des exigences de haut niveau et la génération d’architecture. La méthodologie proposée améliore la traçabilité, réduit la complexité du développement et aide à répondre aux exigences de certification en comblant le fossé entre les exigences et l’architecture logicielle. Les résultats de cette recherche offrent des perspectives significatives pour améliorer l’efficacité et la rigueur du développement de logiciels dans le domaine des drones, ce qui permettra de créer des systèmes autonomes plus fiables et certifiables. Mots-clés: DO-178C, Systèmes de sûreté critiques, Développement de logiciels, Ingénierie basée sur les modèles, Langage de modélisation spécifique à un domaine, Transformation de modèles.