Analyse statique de logiciels : retour d’expériences industrielles

Le Forum Méthodes Formelles est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l’expérience acquise en ce domaine par les grands acteurs de l’aéronautique et de l’espace. La prochaine journée, dont le forum s’organisera sous la forme de retours d’expériences industrielles, s’intéresse à l’analyse statique de codes pour la validation formelle de systèmes logiciels. Le schéma général pour cette conférence est d’associer systématiquement une présentation d’outil par son concepteur/développeur et le retour d’expérience utilisateur. A cette occasion les grandes entreprises en avionique et espace présenteront leurs expériences à partag er pour l’utilisation de ces méthodes dans d’autres domaines tels que la santé ou les transports terrestres.