Comment obtenir des crédits de certification avec Simulink ?

Vue d’ensemble

La certification d’un système implique un grand nombre d’activités dont certaines sont liées au développement logiciel. Il s’agit alors de montrer que le logiciel produit remplit bien sa fonction avec un degré de confiance suffisant. Simulink® est utilisé pour le développement d’algorithmes et la génération de code par de nombreuses industries. Celles-ci ont très rapidement voulu aller jusqu’à la certification et tirer le maximum de crédits de son utilisation.

Ce séminaire couvrira un ensemble d’objectifs directement atteignables dans l’environnement Simulink pour les standards tels que IEC-61508 et ISO 26262.

Points forts

  • Introduction aux standards de certification logicielle IEC-61508 et ISO 26262
  • Avantages de la modélisation et simulation
  • Génération automatique de code qualifiée

Public concerné

  • Ingénieurs systèmes
  • Ingénieurs logiciels
  • Ingénieurs test
  • Ingénieurs qualité

À propos du/des présentateur(s)

Daniel Martins est ingénieur d’application chez MathWorks depuis une vingtaine d’années. Il conseille et accompagne les utilisateurs de Simulink dans la mise en œuvre de développement logiciel suivant des standards tels que le DO-178C, EN 50128 et ISO 26262.

Programme

Heure Thème
8:30 Accueil
9:00 Introduction
9:15 Crédits de certification liés à la conception des modèles
10:30 Pause
11:00 Crédits de certification liés à la vérification des modèles et du code
12:30 Q&A

Focus produit

Inscription terminée