Modélisation de systèmes critiques

Suivez les directives pour les systèmes critiques lorsque vous développez des modèles et générez du code pour de tels systèmes en utilisant une approche Model-Based Design avec les produits MathWorks^®. Ces directives indiquent les considérations à prendre en compte concernant la configuration des modèles, l'utilisation des blocs et les paramètres des blocs afin de créer des modèles complets, sans ambiguïté, statiquement déterministes, robustes et vérifiables.

Ces directives ne supposent pas que vous utilisiez une norme de sécurité ou de certification particulière. Elles font référence à certaines normes de sécurité lorsqu'elles sont applicables, notamment DO-178C/DO-331, IEC 61508, ISO 26262, EN 50128/EN 50657, ISO 25119 et EN 50657.

Si vous disposez d'une licence Simulink^® Check™, vous pouvez utiliser Model Advisor pour vérifier la conformité à une directive. Pour connaître les vérifications effectuées par Model Advisor, consultez la rubrique Model Advisor Checks for High-Integrity Systems Modeling Guidelines.

Pour plus d'informations, consultez les rubriques Motivation et Guideline Template.