Formations

Nos formations

Accédez à nos expertises

De la Maîtrise des Risques à l’Amélioration de la Performance, SECTOR a participé à plus de 2500 prestations d’étude et de conseil auprès de plus de 500 clients. Tout ce vécu d’expériences riches et variées est mis au service des formations présentées dans son catalogue. Celles-ci sont dispensées par des formateurs, également ingénieurs-consultants spécialisés et expérimentés. De ce fait, ils agrémentent leur séance de cours de nombreuses études de cas. Cette approche facilite l’assimilation rapide des notions essentielles et des méthodes spécifiques enseignées.

A l’issue de sa formation, l’apprenant doit disposer des clés susceptibles de répondre aux problématiques propres à son entreprise. Ceci est notre souci majeur et notre principal objectif. Nous veillons à faire évoluer nos supports en fonction des retours d’évaluation et de l’actualité de nos métiers : normes, réglementations, guides d’application, bonnes pratiques techniques, etc. En complément d’une formation, SECTOR propose son aide et son soutien à la mise en application des méthodes enseignées et à leur déploiement.

Les formations ont lieu dans nos locaux :
  • à Villebon-sur-Yvette (91), proche de la gare RER TGV de Massy,
  • à Villeurbanne (69), proche de la Gare de la Part Dieu.
  • Nos formations peuvent également être dispensées dans les locaux de votre entreprise de manière à répondre plus spécifiquement à vos différentes problématiques.

    Formation : La sûreté des calculateurs et des architectures informatiques

    La Sûreté des calculateurs et des architectures informatiques

    Durée

    2 jours

    Tarif

    1100€

    Moyens pédagogiques

    Exposés avec support illustré de cas pratique Déjeuner-rencontre avec l’intervenant

    Pour qui

    Chefs de projet, Bureaux d’études, Méthodes, R&D, Qualité

    Pré-requis

    Profil équivalent au niveau I ou II de l’éducation nationale technique et/ou scientifique

    Formateur

    Expert et/ou spécialiste de métier

    Modalités d'évaluation

    Fiche d’appréciation et auto-évaluation remis en fin de formation

    Lieux

    PARIS / LYON Sessions intra- entreprises sur demande

    Objectifs

    Se focalisant sur l’aspect « sécurisation de l’exécution de l’application », cette formation a pour objectifs de faire acquérir aux participants : une connaissance de la problématique liée au développement « zéro défaut » et aux architectures informatiques, les méthodes de sécurisation de l’exécution d’un programme, la capacité de répondre à des exigences de SdF de niveau système et les principes liés à la mise en œuvre d’une démarche SdF composants matériel et logiciel au sein d’une entité de développement.

    Programme

    Principes de SdF
    • Rappel des concepts de base (tolérance aux fautes,...)
    • Particularités liées au logiciel
    • Risques qui impactent l’exécution du logiciel
    • Impact sur l’architecture informatique
    • Typologie des défauts

    Introduction à la conception de logiciel « correct »
    • Définition et particularités liées au logiciel
    • Problématique du développement logiciel
    • Présentation des approches formelles (Méthode B, SCADE...)

    Caractéristiques de l’informatique embarquée
    • Présentation des concepts et des contraintes
    • Exigences normatives

    Techniques de sécurisation de l’exécution d’un programme
    • Redondance Matériel (1002, 2002, 2003 et n00m)
    • Redondance Logiciel
    • Monitoring et détection des défauts
    • Codage d’information

    Analyse de mise en œuvre
    • Présentation du « processeur codé » utilisé dans le transport ferroviaire
    • Exemples de mise en œuvre de redondance matérielle dans le domaine aéronautique

    SdF du couple logiciel/matériel
    • Analyse des interactions entre le logiciel et le matériel
    • Étude des modes communs et évaluation de la SdF
    • Validation de l’application informatique (test sur cible)

    Technique de vérification et validation des logiciels
    • Technique de vérification classique (analyse statique, relecture de code, etc.) et formelle (preuve, model-checking, etc.)
    • Analyse des points faibles et des points forts
    • Retours sur l’application de ces méthodes.

    Demande d'informations

    Nous contacter

    Par téléphone au 01 69 59 27 27 et sur les réseaux sociaux :


     

    Siège social

    Sector
    12 avenue du Québec
    BP 636 Villebon-sur-Yvette
    F91965 Courtabœuf 1 cedex

    Canada

    Sector Group Canada Inc
    3 Place Ville Marie, Suite 400
    Montreal, QC H3B 2E3

     
    X

    Nous contacter

    Une question, une demande, un devis ? Nous contacter