En utilisant notre site, vous consentez à ce que des cookies soient utilisés à des fins d’analyse, de pertinence, et de publicité. Modifiez vos préférences.

Méthodes formelles pour la vérification des systèmes, des architectures et des logiciels

Share
formation-methodes-formelles-verification-systemes

Les techniques classiques de V&V que sont la simulation et le test ne garantissent pas l’exhaustivité de la vérification et sont encore très manuelles, donc très coûteuses.

Les méthodes formelles sont des techniques alternatives, fondées sur des bases mathématiques, permettant la spécification et le développement de systèmes, ainsi que la vérification automatique de propriétés.

Un éventail de langages et de techniques formels existe pour traiter différents types de propriétés à différents niveaux de développement des systèmes.

  • Dates :05/12/2016, 03/05/2017, 06/11/2017
  • Durée :2 jours
  • Pour qui :Ingénieur, Concepteur, Testeur, Décideur technique, R&D, bureau d'études
  • Lieu :Ecole polytechnique
  • Tarif :1590€ HT
  • Langue :Français

Objectifs

  1. Appréhender les fondements mathématiques des méthodes formelles
  2. Connaître les techniques de vérification existantes et les outils associés
  3. Identifier les méthodes formelles pour l'analyse de la sûreté de fonctionnement, pour la vérification de logiciels
  4. Mieux connaître les applications concrètes de ces techniques à la modélisation et à la vérification de systèmes, d’architectures et de logiciels

Programme

Introduction et présentation des techniques existantes

  • Contexte, motivations, objectifs
  • Concepts communs
  • Techniques de vérification existantes : model checking, preuve, interprétation abstraite

Méthodes formelles pour l'analyse de la sûreté de fonctionnement des systèmes embarqués

  • Description formelle des systèmes et des exigences de sûreté de fonctionnement.
  • Techniques de vérification associées (génération automatique d'arbres et de séquences de défaillances).

Méthodes formelles pour l'évaluation des performances temporelles d'un système temps réel distribué

  • Techniques formelles pour le calcul "worst case execution time"  (WCET) d'un programme informatique
  • Méthode d'analyse d'ordonnançabilité pire cas en configuration mono-processeur, puis extension au multi-processeur
  • Méthode d'analyse de latence de bout en bout pire cas pour les réseaux embarqués (réseau CAN et réseau commuté)
  • Ouverture aux méthodes d'évaluation probabiliste de réseaux de file d'attente (à base de chaîne de Markov et de réseaux de Petri stochastiques).

Méthodes formelles pour la vérification de logiciels

  • Panorama des techniques existantes
    • Ingénierie dirigée par les modèles et méthodes formelles
    • Vérification de programmes
  • Application industrielle : vérifications formelles de logiciels avioniques
  • Méthodes formelles et certification : présentation du DO-333 (supplément méthodes formelles du DO-178C)

 
Méthode pédagogique
Présentation des fondamentaux, de l'état de l'art, des dernières avancées
Illustration par des exemples concrets issus de l'industrie

Intervenants

  1. Responsable scientifique
    Virginie
    Responsable de l'unité de recherche Ingénierie des Systèmes Critiques, département DTIM (Traitement de l'Information et Modélisation), ONERA/DTIM
  1. Intervenant(s)
    Pierre
    ONERA / DTIM
  2. Intervenant(s)
    Frédéric
    ONERA / DTIM

Intéressé(e) par nos formations ?

Téléchargez nos catalogues
Sélectionnez le ou les catalogues.
Select the catalogs.
  1. Catalogue Complet
  2. Catalogue complet Brochures Programmes certifiants 2016
  3. Catalogue Programmes courts 2016
  4. Catalogue Programmes courts Communication, Leadership et Management
  5. Catalogue Programmes courts Innovation et Business
  6. Catalogue Programmes courts Projets Systèmes
  7. Catalogue Programmes courts Sciences et Techniques

Veuillez remplir le formulaire ci-dessous. Vous recevrez votre catalogue directement dans votre boite email.
Please fill out the form below to receive your Catalogue by email.

Télécharger / Download
Téléchargement de la plaquette / Download the booklet

    Veuillez remplir le formulaire ci-dessous. Vous recevrez votre catalogue directement dans votre boite email.
    Please fill out the form below to receive your Catalogue by email.

    Télécharger / Download

    Please fill out the form below to download the Application File.

    Download