[Video blog] SAFRAN & KRONO-SAFE webinar about Safety on Multicore now available online!

Les architectures multicoeurs sont désormais présentes dans tous les systèmes, et pourtant, elles demeurent un véritable défi pour les développeurs lorsqu’il s’agit de mettre en oeuvre des applications industrielles critiques en matière de sûreté de fonctionnement. En cause, le calcul parallèle tel qu’il est réalisable avec les systèmes multicoeurs augmente inéluctablement le nombre d’interférences et d’asynchronismes possibles, rendant ainsi la combinaison des états possibles, virtuellement infinie.

En pratique, cela signifie que le système est davantage susceptible d’atteindre un état erroné catastrophique, qui n’était pas prévu. Mais pour les systèmes temps-réel, cela signifie également que, même dans dans le cas d’une application sans bug, le temps d’exécution de chaque tâche peut varier fortement en fonction des interférences survenant lors de l’exécution (effets de cache, congestion sur le bus mémoire, coûts de synchronisation matérielle et logicielle…).
En conséquence, couvrir tous les comportements du système avec des tests approfondis devient une tâche insurmontable, ce que est évidemment un « NO-GO » vis-à-vis de tout standard de sécurité industrielle – comme la norme DO-178 pour les logiciels dans le domaine avionique.

Découvrez au cours de ce webinaire en français, avec la participation de Safran Electronics & Defense, comment KRONO-SAFE adresse ces problèmes typiques de sûreté de fonctionnement soulevés par l’utilisation de processeurs multicoeurs.