Welcome,

RSS Feed icon YouTube icon Blog icon Facebook Icon LinkedIn Icon Twitter Icon

Training Courses - Course Information


SAS-202F : Sécurisation des architectures à base de logiciel

Les dates de cours

Date(s) & Location(s):
Available for on-site delivery. Contact us for further information.
Duration:
2 days

Description du cours

L’informatisation des systèmes complexes est en pleine expansion. Dans le cadre d’application mettant en jeu la vie des personnes (transport ferroviaire, aéronautique, nucléaire, automobile, …), il devient de plus en plus important de garantir la sécurité de l’application informatique. La sûreté est mise en oeuvre au travers de la maîtrise du développement logiciel afin de produire un logiciel « correct » et au travers de la maîtrise de l’exécution de cette application. Cette formation se focalise sur l’aspect « sécurisation de l’exécution de l’application ».

Cette formation ne nécessite pas la connaissance d’un langage ou d’une méthode de conception de logiciel particulière.

Les concepts et les méthodes qui seront présentés par l’animateur sont issus d’un retour d’expérience de nombreuses années acquis dans de très nombreux secteurs et en particulier dans le secteur ferroviaire.

Objectifs du cours

  • A l’issue de cette formation, les participants auront une vue des méthodes et techniques applicables industriellement pour la mise en sécurité des calculateurs et des logiciels associés

A l’issue de ce cours, les participants

  • Ont une connaissance de la problématique liée au développement d’application « zéro défaut »,
  • Maîtrisent la problématique liée aux architectures informatiques et à la sécurisation de l’exécution d’un programme,
  • Connaissent les méthodes et les techniques de sécurisation de l’exécution d’un programme (mise en redondance, mise en place de code, monitoring, …),
  • Ont la capacité de répondre à des exigences de SdF de niveau système ou sous-système,
  • Connaissent les principes liés à la mise en oeuvre d’une démarche de SdF composant (matériel+logiciel) au sein d’une entité de développement

Pré-requis

  • Connaissance de l’architecture d’un ordinateur
  • Connaissance de la programmation

Public concerné

  • Ingénieurs logiciels
  • Ingénieurs Sûreté de Fonctionnement matériels et systèmes
  • Ingénieurs des services qualité

Prestation

  • Support de cours (français)
  • Cours dispensé en français (anglais sur demande)

Formations associées

Programme

Jour 1

  • Principes de Sûreté de Fonctionnement
  • Particularités et risques liés au logiciel
  • Impact sur l’architecture informatique
  • Introduction à la conception de logiciel « correct »
  • Présentation des approches formelle (Méthode B, SCADE …)
  • Caractéristiques de l’informatique embarquée
  • Exigences normatives
  • Techniques de sécurisation
  • Redondance Logiciel
  • Redondance Matériel (1002, 2002, 2003 et n00m)
  • Monitoring et détection des défauts

Jour 2

  • Analyse de mise en oeuvre
  • Présentation du « processeur codé » (ferroviaire)
  • Exemple de redondance matérielle (aéronautique)
  • Sûreté de Fonctionnement du couple logiciel/matériel
  • Analyse des interactions
  • Etude des modes communs et évaluation de la SdF
  • Validation de l’application
  • Technique de vérification et Validation des logiciels
  • Technique de vérification classique et formelle

Course Files

Course Data Sheet:
SAS-202F.pdf  [865 Kb]