Reactive certifié ISO 26262
ISIT
Toulouse, le 29/11/2021 : Reactive Systems, distribué en France par ISIT, annonce l’obtention de la Certification ISO 26262 pour sa suite de produits Reactis. Le TÜV SÜD a certifié que Reactis est qualifié pour le développement lié à la sécurité selon ISO 26262, jusqu'à ASIL D. Les versions V2021 des produits suivants sont conformes : Reactis® for Simulink®, Reactis for EML Plugin, Reactis for C Plugin, et Reactis pour C.
ISO 26262 est la norme internationale pour le développement de systèmes liés à la sécurité pour les véhicules routiers. La norme identifie des processus et des méthodes spécifiques pour le développement, la validation et la qualification des outils. Les développeurs de systèmes automobiles peuvent utiliser la suite de produits Reactis en toute confiance grâce à la certification ISO 26262 récemment obtenue.
Reactis automatise un certain nombre d'activités de vérification mandatées par ISO 26262. Par exemple, Reactis Validator vous permet de formaliser les exigences de sécurité sous forme d'assertions, puis de vérifier les violations à l'aide d'une vérification semi-formelle. Ces vérifications peuvent être effectuées à la fois sur des modèles de conception architecturale et sur des modèles de conception d'unités. Reactis Tester génère automatiquement des suites de tests visant à maximiser la couverture des instructions, des branches et des MC/DC.
Enfin, Reactis offre une prise en charge étendue des tests dos à dos pour comparer le comportement du code au comportement d'un modèle.
ISO 26262 est la norme internationale pour le développement de systèmes liés à la sécurité pour les véhicules routiers. La norme identifie des processus et des méthodes spécifiques pour le développement, la validation et la qualification des outils. Les développeurs de systèmes automobiles peuvent utiliser la suite de produits Reactis en toute confiance grâce à la certification ISO 26262 récemment obtenue.
Reactis automatise un certain nombre d'activités de vérification mandatées par ISO 26262. Par exemple, Reactis Validator vous permet de formaliser les exigences de sécurité sous forme d'assertions, puis de vérifier les violations à l'aide d'une vérification semi-formelle. Ces vérifications peuvent être effectuées à la fois sur des modèles de conception architecturale et sur des modèles de conception d'unités. Reactis Tester génère automatiquement des suites de tests visant à maximiser la couverture des instructions, des branches et des MC/DC.
Enfin, Reactis offre une prise en charge étendue des tests dos à dos pour comparer le comportement du code au comportement d'un modèle.
Le processus de certification par TÜV SÜD, l'organisme de certification accrédité, comprenait les éléments suivants :
- Un examen rigoureux des processus de sécurité fonctionnelle suivis lors du développement de Reactis,
- Une revue des informations de sécurité dans la documentation du produit (manuel de sécurité, manuel d'utilisation, instructions opérationnelles),
- Une revue et une observation des processus d'assurance qualité de Reactis.
A propos de Reactive Systems
Reactive Systems est une société américaine ayant des bureaux en Caroline du Nord et au Japon.
Reactive Systems, Inc. offre des outils et des services pour le test et la validation de logiciels embarqués. La gamme de produits Reactis® permet le test et la validation de manière automatisée, assurant ainsi la réduction des coûts de test tout en améliorant la qualité des applications déployées.
La suite Reactis est disponible en deux versions, la suite Reactis for Simulink® permettant le test de modèles basés sur Simulink® et Stateflow® et la suite Reactis for C permettant le test de code C. Le point clé de la technologie de Reactive Systems est la génération automatique des tests à partir d'un modèle ou d’un code C.
A propos d’ISIT : Au cœur du Temps Réel Embarqué
