14-18 juin 2021 Virtuelle (France)
Panorama sur les exigences de sécurité
Ludovic Apvrille  1@  
1 : Telecom Paris
Télécom ParisTech

La présentation expliquera tout d'abord comment les exigences de sécurité se situent dans le cycle de développement d'un système. Nous ferons ensuite une revue exhaustive des différents types d'exigences de sécurité, en contextualisant ces types d'exigences sous la forme d'expressions simples et textuelles. Par la suite, nous montrerons, pour certaines de ces exigences, comment elles peuvent être exprimées au regard de diagrammes UML / SysML, et comment elles peuvent être formellement exprimées et vérifiées avec l'outil TTool.


Personnes connectées : 53 Vie privée
Chargement...