L’objectif stratégique du projet ANR TASCCC est de produire les outils conceptuels, méthodologiques et techniques pour le test de conformité d’un système vis-à-vis des exigences fonctionnelles et des exigences de sécurité qui lui sont assignées. Ces outils et techniques permettront d’accélérer le développement de politique de sécurité de systèmes embarqués et leur test en vue de leur évaluation Critères Communs.

Dans le cadre du projet TASCCC, Supélec s'est consacré à une phase amont de formalisation de politiques de sécurité; Supélec a défini un riche langage d’expression de propriétés formelles et de besoins de tests instanciés par l’ingénieur validation.

La tâche du poste consistera à concrétiser la conception du langage d’expression de propriétés de sécurité par l'implantation d'un prototype automatisé de saisie, formalisation et exploitation des propriétés.

• Voir Publications du Département