Retour à la liste des ateliers
Retour à la thématique
Retour au programme
Retour à la liste des thématiques
Ludovic Apvrille - Télécom ParisTech
L'atelier est progressif et accessible à toute personne sachant utiliser un ordinateur et une interface graphique. Le public avancé trouvera son bonheur dans la modélisation de mécanismes de sécurité, et dans la preuve de propriétés de sécurité. Les débutants arriveront à simuler un premier modèle. Et les intermediaires, entre les deux
Vous savez concevoir des logiciels à peu près sûrs ? Mais vos logiciels sont-ils aussi sécurisés ? Ou vous ne savez même pas faire un logiciel sûr ? Ou alors, vous aimez bien dessiner des boites avec des traits entre les boites (modèle UML !) ? Alors, cet atelier est fait pour vous ?
Cet atelier vous apprendra à modéliser des logiciels à la fois sûrs et sécurisés, et à vérifier facilement qu'ils sont effectivement sûrs et sécurisés !
Vous ferez tout cela avec l'outil “TTool” et le langage “AVATAR” supporté par TTool. Avatar est construit autour de UML/SysML.
Si vous voulez préparer un peu avant, il faut aller voir la section “avatar” du site de TTool : http://ttool.telecom-paristech.fr/avatar.html