L’IRT SystemX et Krono-Safe s’associent pour lancer le laboratoire « Krono-Safe@SystemX » pour approfondir les travaux de recherche dans le domaine des systèmes d’exploitation temps réel et des méthodes formelles
SystemX, unique IRT en Ile-de-France dédié à l’ingénierie numérique des systèmes du futur, et Krono-Safe, éditeur de logiciels dans le domaine des systèmes d’exploitation temps réel, ont signé un contrat de recherche commune pour mener des travaux de recherche dans le domaine des systèmes d’exploitation temps réel et des méthodes formelles.
Les systèmes d’exploitation temps réel, essentiellement utilisés dans l’industrie du transport, de l’énergie et de la sécurité sont des systèmes dont l’objectif est de fonctionner dans un environnement contraint temporellement. Un système temps réel doit ainsi fonctionner de manière fiable selon des contraintes temporelles spécifiques, c’est-à-dire qu’il doit être capable de délivrer un traitement correct des informations reçues à des intervalles de temps bien définis.
Eric Perrin-Pelletier, Directeur général de l’IRT SystemX et Didier Roux, Directeur général de Krono-Safe regroupent donc leurs efforts pour développer ensemble les technologies nécessaires aux défis des méthodes formelles considérés comme clé pour les marchés de l’automobile, de l’aéronautique, du ferroviaire et du matériel industriel, qui les intègrent dans leur processus de développement de leurs systèmes embarqués. Ceci contribue à la maîtrise des risques industriels et technologiques et permet de garantir une sûreté de fonctionnement absolue, une fiabilité plus performante et des coûts moins élevés.
