Une architecture logicielle a été développé au sein du DTIS pour permettre de simplifier la spécification et la vérification d'un système robotique en écrivant un modèle, appelé "skillset". Cet approche, dite "formelle" dans le sens où l'on peut vérifier mathématiquement un comportement, permet d'accompagner les roboticiens dans le développement de leurs plateformes. Pour vérifier les skillsets ainsi créé, l'utilisation de réseaux de Petri semble tout adapté: cet ensemble de places avec des jetons, de transitions et d'arcs, qui semble très simple à première vue, permet une grande liberté de modélisation et de vérification. C'est tout particulièrement le cas pour la modélisation de machine à états et de partage de ressources entre elles, ce qui est le cas de nos skillsets. Nous allons voir ensemble comment passer d'un skillset à un réseau de Petri, et toute la magie qui en découle !
Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.
Lien visio : https://rdv.onera.fr/seminaireDTIS