Best Paper Award pour proposer l’interopérabilité des systèmes de communication des armées
Les systèmes de communication des armées s’appuient maintenant sur des équipements et infrastructures combinant matériel et logiciel, et permettant une grande flexibilité dans l’utilisation des types de communications en fonction des spécificités du terrain. Ces systèmes, appelés « Radio Logicielle », posent néanmoins des problèmes critiques d’interopérabilité pour garantir la communication entre des technologies, constructeurs et pays différents (par exemple dans des contextes tels que l’OTAN).
L’article présenté fin octobre à Rome par une équipe de FEMTO-ST/DISC dans le cadre de la conférence Européenne du Wireless Innovation Forum a reçu le prix du meilleur article scientifique de la conférence. Les résultats mis en avant portent en effet sur l’application des méthodes de génération de tests à partir de modèles formels pour vérifier la conformité au standard du logiciel embarqué dans ces équipements, permettant d’assurer ainsi leur interopérabilité.
Ces résultats ont été obtenus dans le cadre du projet de recherche ANR ASTRID OSeP soutenu par la DGA – Direction Générale de l’Armement – et en partenariat avec la société Smartesting.
Ces travaux ouvrent ainsi des perspectives pour automatiser la vérification de conformité de ce type d’équipement et du logiciel qu’il embarque.
Contacts :
[[{"fid":"1731","type":"media","view_mode":"default","attributes":{"class":"media-element file-default ext-link"},"fields":{"format":"default","alignment":""},"link_text":"Voir le dipl\u00f4me (pdf, 395 Ko)"}]]
-
INGÉNIERIE
Sciences informatiques
