Société française qui propose une technologie logicielle de rupture issue du CEA permettant de garantir à la fois sûreté de fonctionnement et déterminisme aux applications critiques embarquées, Krono-Safe détaille dans ce white paper son point de vue sur les problèmes soulevés par l’arrivée des récentes architectures matérielles, mono ou multicoeurs. Tant au niveau de la conception système d’applications logicielles critiques qu'à celui du logiciel embarqué lui-même. Le document montre que les approches historiques mises en place notamment dans le domaine de l’avionique avec des systèmes d’exploitation temps réel classiques, atteignent aujourd’hui leurs limites. Et il démontre que la certification d'un système mettant en œuvre un processeur multicoeur n'est pas un problème en soi, à condition que les considérations liées à la complexité du matériel soient correctement spécifiées. Dans ce document très complet de 28 pages (en anglais), Krono-Safe analyse le comportement des CPU vis-à-vis de contraintes temps réel strictes et explique comment atteindre, via son outil Asterios, un déterminisme sans faille au niveau logiciel.