La société italienne Yogitech, qui propose aux concepteurs de circuits des solutions de vérification sous forme de blocs d’IP, annonce que sa solution fRSTL, adaptée aux microcontrôleurs STM32 de STMicroelectronics, a... reçu la certification de l’organisme TÜV Rheinland conformément à la norme CEI 61508 qui traite de la sécurité fonctionnelle de systèmes électroniques. Cette certification porte en particulier sur les volets SC3 (Systematic Capability) et DC (Diagnostic Coverage) de la norme, permettant aux systèmes intégrant ces bibliothèques logicielles d’être aux niveaux SIL2 et SIL3 pour des applications nécessitant des assurances fortes en termes de sûreté de fonctionnement.

La bibliothèque fRSTL est une suite de blocs logiciels indépendants dont l’objet est de détecter les bogues et les dysfonctionnements aléatoires d’une architecture au niveau matériel. Cette technologie s’appuie sur la méthodologie de vérification fRMethodology de Yogitech destinée à s’assurer de la sécurité fonctionnelle d’un circuit, via l’injection et la simulation de fautes au niveau RTL et au niveau de la netlist. Cette approche mise en œuvre sur les STM32 de STMicrolectronics, basés sur des cœurs Cortex-M d’ARM, permet donc désormais d’utiliser ces circuits dans des applications industrielles à haut niveau de sûreté de fonctionnement. La bibliothèque fRSTL est disponible, et d’ores et déjà intégrée, au sein des architectures STM32 F0, F1, F2, F3 et F4 ainsi que sur la série L1.