Integrating formal methods and automated tools for DO-178C compliance in UAV software

Rim Zrelli, Henrique Amaral Misson, Sorelle Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes, Gabriela Nicolescu

Article de revue (2026)

Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Voir chez l'éditeur officiel

Mots clés

Département:
Département de génie informatique et génie logiciel
Organismes subventionnaires:
Consortium for Aerospace Research and Innovation in Quebec (CRIAQ), Mitacs
Numéro de subvention:
IT19246, IT30530
Adresse URL de PolyPublie:
https://publications.polymtl.ca/72401/
Titre de la revue :
Information and Software Technology ( vol. 194 )
Maison d'édition:
Elsevier BV
DOI:
10.1016/j.infsof.2026.108068
Autres DOI associés à ce document:
10.5281/zenodo.20763825; 10.5281/zenodo.20763826
URL officielle:
https://doi.org/10.1016/j.infsof.2026.108068
OAI:
oai:publications.polymtl.ca:72401
ORCID
Date du dépôt:
10 févr. 2026 09:17
Dernière modification:
14 oct. 2026 14:33
Citer en APA 7:
Zrelli, R., Amaral Misson, H., Kamkuimo, S., Ben Attia, M., Shabah, A., Gohring de Magalhaes, F., & Nicolescu, G. (2026). Integrating formal methods and automated tools for DO-178C compliance in UAV software. Information and Software Technology, 194, 108068 (18 pages). https://doi.org/10.1016/j.infsof.2026.108068

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document