Symposium sur les méthodes formelles de la NASA 2025

Description

Points forts

Axé sur les techniques formelles pour l'assurance des logiciels et des systèmes dans l'espace, l'aviation, la robotique et d'autres systèmes critiques. Organisé par l'équipe des méthodes formelles du Centre de recherche Langley de la NASA. Vise à favoriser la collaboration entre théoriciens et praticiens de la NASA, des agences gouvernementales, du milieu universitaire et de l'industrie. Traite de la spécification, de la conception, de la vérification, de la validation et de la certification des systèmes critiques pour les missions et la sécurité. Inclut des présentations, des démonstrations d'outils et des sessions d'affiches. Les articles seront publiés dans les Lecture Notes in Computer Science (LNCS) de Springer. Les soumissions incluent des articles réguliers, des articles courts, des articles sur les outils et des études de cas. Format de conférence hybride permettant une participation en personne et à distance. Aucun frais d'inscription pour les participants, mais l'inscription est requise. Couvre des sujets émergents tels que l'assurance de la sécurité des systèmes autonomes activés par l'apprentissage automatique.