
Sûreté de fonctionnement : l’OS temps réel open source Zephyr disposera au printemps d’un code base certifié [EDITION ABONNES] Hébergé par la fondation Linux, le projet open source Zephyr, qui développe et maintient un système d’exploitation temps réel sûr et sécurisé pour objets connectés aux ressources limitées, avance dans son objectif d’obtenir cette année une première certification officielle vis-à-vis des contraintes de sûreté de fonctionnement. ...« Pour qu’un logiciel puisse être considéré comme fiable et de confiance au sein d’une application critique en termes de sécurité fonctionnelle, analyses et tests rigoureux sont essentiels, indique Kate Stewart, vice-présidente en charge des systèmes embarqués fiables à la Linux Foundation. L’utilisation de Zephyr, qui est mis en oeuvre aujourd'hui dans des dispositifs électroniques portés sur soi et dans d’autres produits aux ressources limitées, est envisagée pour des applications qui nécessitent une certification vis-à-vis de la sûreté de fonctionnement. En faisant passer Zephyr sous les fourches Caudines de la certification CEI 61508, le projet améliorera son infrastructure de tests et de traçabilité, de sorte que d'autres développeurs puissent reproduire facilement le processus. » En 2020, le groupe de travail Safety du projet Zephyr a mis en place un ensemble de règles pour la publication de code qui visent à accroître la fiabilité, la lisibilité et la maintenabilité. Ces directives reposent sur les normes de codage Misra C:2012, qui minimisent les pannes systématiques au sein des systèmes critiques en termes de sécurité fonctionnelle. Désormais, précise un communiqué publié le 7 janvier dernier, le projet Zephyr va généraliser l’usage des outils de test de logiciels automatisés de la société Parasoft pour garantir une haute qualité du code. L'utilitaire de test C/C ++ de Parasoft contribue notamment à éliminer les tâches manuelles chronophages telles que les tests requis au cours de la phase de développement en les remplaçant par une plate-forme d'analyse plus interactive et plus robuste. Un choix qui devrait améliorer le processus de développement de Zephyr. Avec des directives de codage plus strictes et l'usage des outils d'automatisation de Parasoft, les membres du projet Zephyr tablent sur la disponibilité au printemps 2021 d’un code base certifié pour la prochaine version de l’OS temps réel avec support à long terme (LTS, Long Term Support). Lancée en 2016 avec seulement 80 contributeurs, la communauté Zephyr compte aujourd’hui plus de 800 contributeurs. Porté sur de nombreuses architectures de processeur (ARC, Arm, Intel, Nios, RISC-V, Sparc, Tensilica), le système d’exploitation prend désormais en charge plus de 250 cartes de développement. Récemment rejoints par les sociétés BayLibre, Memfault et Parasoft, les membres du projet Zephyr comptent parmi leurs rangs Adafruit, Antmicro, Bose, Facebook, Foundries.io, Google, Intel, Laird Connectivity, Linaro, Nordic Semiconductor, NXP, Oticon, SiFive, Synopsys, Teenage Engineering et Wind River.

Sûreté de fonctionnement : l’OS temps réel open source Zephyr disposera au printemps d’un code base certifié

[EDITION ABONNES] Hébergé par la fondation Linux, le projet open source Zephyr, qui développe et maintient un système d’exploitation temps réel sûr et sécurisé pour objets connectés aux ressources limitées, avance dans son objectif d’obtenir cette année une première certification officielle vis-à-vis des contraintes de sûreté de fonctionnement. ...« Pour qu’un logiciel puisse être considéré comme fiable et de confiance au sein d’une application critique en termes de sécurité fonctionnelle, analyses et tests rigoureux sont essentiels, indique Kate Stewart, vice-présidente en charge des systèmes embarqués fiables à la Linux Foundation. L’utilisation de Zephyr, qui est mis en oeuvre aujourd'hui dans des dispositifs électroniques portés sur soi et dans d’autres produits aux ressources limitées, est envisagée pour des applications qui nécessitent une certification vis-à-vis de la sûreté de fonctionnement. En faisant passer Zephyr sous les fourches Caudines de la certification CEI 61508, le projet améliorera son infrastructure de tests et de traçabilité, de sorte que d'autres développeurs puissent reproduire facilement le processus. »

En 2020, le groupe de travail Safety du projet Zephyr a mis en place un ensemble de règles pour la publication de code qui visent à accroître la fiabilité, la lisibilité et la maintenabilité. Ces directives reposent sur les normes de codage Misra C:2012, qui minimisent les pannes systématiques au sein des systèmes critiques en termes de sécurité fonctionnelle. Désormais, précise un communiqué publié le 7 janvier dernier, le projet Zephyr va généraliser l’usage des outils de test de logiciels automatisés de la société Parasoft pour garantir une haute qualité du code. L'utilitaire de test C/C ++ de Parasoft contribue notamment à éliminer les tâches manuelles chronophages telles que les tests requis au cours de la phase de développement en les remplaçant par une plate-forme d'analyse plus interactive et plus robuste. Un choix qui devrait améliorer le processus de développement de Zephyr.

Avec des directives de codage plus strictes et l'usage des outils d'automatisation de Parasoft, les membres du projet Zephyr tablent sur la disponibilité au printemps 2021 d’un code base certifié pour la prochaine version de l’OS temps réel avec support à long terme (LTS, Long Term Support).

Lancée en 2016 avec seulement 80 contributeurs, la communauté Zephyr compte aujourd’hui plus de 800 contributeurs. Porté sur de nombreuses architectures de processeur (ARC, Arm, Intel, Nios, RISC-V, Sparc, Tensilica), le système d’exploitation prend désormais en charge plus de 250 cartes de développement. Récemment rejoints par les sociétés BayLibre, Memfault et Parasoft, les membres du projet Zephyr comptent parmi leurs rangs Adafruit, Antmicro, Bose, Facebook, Foundries.io, Google, Intel, Laird Connectivity, Linaro, Nordic Semiconductor, NXP, Oticon, SiFive, Synopsys, Teenage Engineering et Wind River.