Des applications intégrées dans des délais plus courts et pour un coût réduit, avec une sûreté de fonctionnement garantie par construction 

Asterios Technologies automatise et sécurise l’intégration d’applications embarquées critiques, en particulier sur architectures multicœurs. Ses outils sont validés et certifiés pour le contexte aéronautique, l’un des plus exigeants de l’industrie..

Issus de quinze ans de R&D au CEA, les outils logiciels ASTERIOS® sont protégés par plusieurs brevets. Ils ont été industrialisés au départ par la start-up Krono-Safe, rachetée en 2023 par Safran Electronics & Défense, son premier client. Ce dernier en a fait sa solution de référence pour ses équipements critiques : calculateurs de régulation moteur, systèmes de freinage, centrales inertielles... Cette maturité du produit permet à Asterios Technologies de le commercialiser auprès de tous les marchés d’applications critiques.

ASTERIOS® facilite radicalement le travail des architectes et intégrateurs. Au lieu de configurer à bas niveau le partage des ressources de leurs applications, puis d’en démontrer la conformité vis-à-vis des exigences de performance et de sûreté, ils décrivent exclusivement les comportements temporels attendus. L’outil, conçu selon une approche formelle fondée sur des modèles, configure alors automatiquement le partage des ressources matérielles. Il apporte ainsi par construction une garantie d’exécution temps-réel, sûre et certifiable, sur une architecture mono ou multicœurs. La durée et le coût de l’intégration sont fortement réduits. ​

Cette offre qui n’a aujourd’hui aucun équivalent direct permet de prendre en totale confiance le virage des architectures multicœurs.

Chiffre clé : 100%

Avec les outils ASTERIOS®, le comportement temporel et fonctionnel d’une application embarquée critique peut être validé à 100% avant même la disponibilité du calculateur​

Principaux marchés

• Aéronautique
  
• Défense
• Spacial
  
• Automobile
• Énergies
  

Technologie

• Intégration automatisée d’applications embarquées critiques
• Sûreté de fonctionnement garantie par construction
  
• Rend possible l'utilisation de processeur multicœurs​
  

Année de création : 2011

Institut d’origine : List

​
​