Développement logiciel pour applications critiques

Présentation

Un système est considéré comme critique si une panne entrainerait un risque pour les personnes, l’environnement voire les finances d’une société. Parmi ces applications critiques, certaines sont soumises à des autorités de certification qui vérifient que leur développement est conforme à une norme. Cela induit un certain nombre d’activités de conception et de vérification qui peuvent être grandement améliorées par l’utilisation de modèles Simulink. Dans cette présentation vous apprendrez comment l’approche Model-Based Design facilite le développement de logiciel critique suivant des normes comme IEC61508, ISO26262, DO-178C...

Les points suivants seront abordés :

• description et exécution des exigences sous forme de modèle,
• simulation exhaustive des modèles,
• génération automatique du code correspondant aux modèles,
• automatisation des tests pour la vérification des modèles et du code.

À propos du/des présentateur

Daniel Martins est un ingénieur d’application chez MathWorks depuis une quinzaine d’années. Il a développé une expertise dans la conception basée sur les modèles et aide les sociétés de différentes industries (automobile, aéronautique, …) à réduire leur flot de développement en utilisant Simulink tout en assurant une conformité avec des standards de certification.