La société allemande Tasking, spécialiste en outils développements pour systèmes embarqués, et son compatriote Wittensteind HIS (High Integrity Systems), éditeur du système d'exploitation temps réel de sécurité pré-certifié Safertos ont décidé de réaliser une intégration renforcée entre la chaîne d'outils unifiée de Tasking et Safertos.

En associant leurs technologies respectives, Tasking et Wittenstein estiment apporter aux équipes d'ingénierie une chaîne d'outils complète, compatible avec le système d'exploitation Safertos pour le débogage, les tests et la certification d'applications critiques en matière de sécurité, conformément notamment aux normes IEC 61508 (industriel), ISO 26262 (automobile) et DO-178C (aéronautique).

Concrètement, grâce à l'outil de traçage logiciel embarqué de Tasking - SWAT, Software Trace Tool - les développeurs pourront effectuer une analyse temporelle complète prenant en compte le système d'exploitation, sans nécessiter de support matériel dédié au traçage sur la puce.

Selon les deux sociétés, dans les systèmes embarqués critiques pour la sécurité, la précision temporelle est cruciale. Dans un système de commande de vol, par exemple, manquer la fenêtre de réponse, ne serait-ce que d'une fraction de milliseconde, peut faire la différence entre une manœuvre maîtrisée et la perte de contrôle de l'appareil.

Or, tous les circuits de type puces-systèmes (SoC) ne prennent pas en charge le traçage matériel et beaucoup sont dépourvus des fonctionnalités requises ou ne permettent pas l'accès aux broches de traçage en raison de contraintes de conception. Et même lorsqu'il est possible d'intégrer des SoC compatibles avec le traçage matériel dans des conceptions existantes, Tasking indique que cette opération s'avère coûteuse et souvent chronophage.

L'intégration des technologies des deux sociétés a pour ambition ici de combler cette lacune matérielle en proposant un accès à des données temporelles et en permettant aux ingénieurs de tirer parti de la gamme d'outils de débogage et de test de Tasking en vue de soutenir et d'accélérer le développement et la vérification d'applications s'exécutant sous Safertos.

« Grâce à ce nouveau niveau d'intégration, les équipes de développement concevant des systèmes critiques pour la sécurité autour de Safertos bénéficient désormais des capacités complètes de débogage, de test et de vérification de la chaîne d'outils unifiée Taking, commente Janez Ulcakar, directeur de la recherche et du développement chez Tasking. Cette approche va permettre selon nous de gagner un temps de développement, d'accroître la fiabilité globale et d'avoir une plus grande confiance lors de la livraison de systèmes plus sûrs aux utilisateurs finauxs. »

Avec l’outil de traçage SWAT, les développeurs peuvent désormais intégrer l'analyse à l'exécution dans leur flux de travail dès le début, sans modification matérielle supplémentaire de la conception de la carte.

Au-delà Tasking note que l'environnement de développement est “conscient” du système d'exploitation (OS-aware) sous-jacent et procure des fonctionnalités essentielles à la création de systèmes robustes, notamment la surveillance des états des tâches, de l'utilisation de la pile, du contenu des files d'attente et du comportement de l’ordonnancement.

Dans le détail, grâce à l'intégration des deux technologies logicielle, les développeurs peuvent capturer des données temporelles en temps réel sur des cibles dépourvues de capacités de traçage matériel, observer en temps réel le comportement temporel de chaque transition d'état, changement de contexte et événement clé de l’application, surveiller et analyser la charge CPU et l'utilisation des ressources à l'exécution pour mieux comprendre les goulots d'étranglement et garantir un comportement sûr et prévisible de l'application en exploitant toutes les capacités de profilage temps réel.

Pour rappel, en tant que système d'exploitation temps réel pré-certifié pour la sécurité, Safertos apporte une fiabilité pré-certifiée tout en consommant un minimum de ressources. Grâce à une gestion déterministe des événements, ce système d’exploitation est conçu pour les systèmes nécessitant un contrôle précis ou devant réagir rapidement aux événements liés à la sécurité et placer le système dans un état sûr dans un laps de temps défini.