RII - Vérification de systèmes embarqués critiques avec CADP 2009.
Imprimer
Inria-710-VASY-fr.mp4
RII - Vérification de systèmes embarqués critiques avec CADP 2009.
Lien vers la page du documentCopiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.
Code HTMLCopiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Taille d'affichage :
Titre :
RII - Vérification de systèmes embarqués critiques avec CADP 2009.
Légende - Résumé :
Frédéric Lang présente l'équipe Inria VASY (Validation de systèmes, recherche et application) qui développe une boîte à outil nommée CADP qui permet de faire de la vérification et de l'évaluation de performance de systèmes qui contiennent du parallélisme.
Rencontres Inria - Industrie sur le thème "Les industries de l'aéronautique et de l'espace: modélisation et systèmes sûrs", le 17 mai 2010 à Toulouse.
