Vérificateur automatique de modèles Simulink/Targetlink

Grâce à la version 1.2 de Model Examiner de la société Model Engineering Solutions (MES), représentée par dSpace, les développeurs de calculateurs automobiles peuvent désormais vérifier si leurs modèles TargetLink (logiciel de génération automatique de code de production de dSPACE) sont conformes aux règles MISRA* de modélisation pour TargetLink.
● Vérification automatique des règles de codage
● Par rapport à la version précédente, nouvelles fonctionnalités afin de réduire les temps de développement tout en améliorant la sécurité de modélisation (cet aspect est important du fait de l’augmentation de la taille des modèles actuels et du nombre de règles)
● Vérifications automatiques de modèles d’après les règles MAAB (The MathWorks Automotive Advisory Board) et d’après les règles TargetLink. Rappelons que les règles de modélisation ainsi que la restriction à un sous-ensemble de langage sécuritaire sont primordiales lors du développement d’un logiciel de sécurité critique (par exemple d’après IEC 61508, ISO 26262).
● Fonctionnalités de génération de documentation
● Détection des violations de règles mais aussi, bien souvent, correction automatique. Les règles spécifiques à un projet sont facilement définissables et applicables aux modèles TargetLink/Simulink/Stateflow.

*Appelé officiellement "MISRA ACG-TL: Guidelines for the application of TargetLink in the context of automatic code génération", le guide des règles de modélisation pour l’application de TargetLink dans le contexte de la génération automatique de code concerne les aspects de la sécurité fonctionnelle. Il est accessible sur le site internet officiel de MISRA.