[SEE]

Club 63
Systèmes Informatiques de Confiance
Présidente : Karama.Kanoun (LAAS-CNRS)


Le site web du club est désormais accessible ici.

Pour vous inscrire au club, remplir et renvoyer cette fiche.

Cette page regroupe les programmes et transparents des journées et réunions passées du club et de ses cercles.

Journées passées


Logiciels sur étagère (libres ou commerciaux) : quelle confiance peut-on leur accorder?

[Programme et transparents de la journée].

Ingénierie des besoins

[Programme et transparents de la journée].

Méthodes formelles pour la sûreté de fonctionnement et la sécurité des systèmes d'information

[Programme et transparents de la journée].

Les systèmes critiques face à la malveillance

Le programme de la journée est le suivant :

Facteurs Humains

Le "facteur humain" est pris en compte dans la conception et l'exploitation des systèmes à travers des données, issues d'observations effectives de comportements humains. L'objectif de cette journée est de faire le point sur les études et techniques qui permettent de générer ou d'utiliser de telles données : gestion du retour d'expérience, conception de systèmes intégrant une coopération personne-machine, ...

Le programme de la journée est le suivant :

Modélisation comportementale des systèmes critiques

La modélisation comportementale des systèmes critiques, couplée à des outils d'analyse et de simulation est utilisée pour de multiples raisons. Dans les phases amont de conception du système, elle permet de pré-dimensionner l'architecture matérielle ou encore d'évaluer au plus tôt les risques engendrés par l'architecture fonctionnelle du système. PLus tard, elle permettra de réaliser des simulations plus fines et d'explorer des situations trop dangereuses pour être testées sur le système réel.

La réalisation des modèles et leur exploitation posent divers problèmes. Quels sont les modèles pertinents pour les besoins d'une analyse ? Quels outils assistent la réalisation et l'exploitation des modèles ? Environnements de modélisation de haut niveau ? Structures d'accueil de simulations ? Comment peut-on s'assurer de la fidélité du modèle par rapport au système étudié ? Comment peut-on partager des données de simulation de manière cohérente ? sûre ? etc. L'objectif de cette journée est de répondre à ces questions.

Le programme de la journée est le suivant :

Technologie objet et systèmes de confiance

Le test

Processus d'acceptation : évaluation, certification, qualification, ...

Réunions passées


Conception et Validation pour la Sûreté de Fonctionnement

Objectif Zéro Défaut

Sécurité des Systèmes d'information