Sélectionner une page

Le MoCC (Modèle de Calcul et de Computation) est le coeur de notre technologie.

Basé sur des fondements mathématiques, il permet de mettre l’ensemble du système en équations, de les résoudre, et peut ainsi prouver que le système peut être ordonnancé.

Notre outil est l’extension du MoCC qui permet à l’utilisateur de spécifier l’ensemble des contraintes et interactions des briques logiciel temps réel, ainsi que le comportement général attendu. Ainsi, le MoCC est capable d’aggréger toutes les informations utiles, dans le but de rendre un résultat formellement prouvé.

Basé sur la connaissance de l’ensemble des contraintes temps réel, et du comportement attendu prouvé par construction, des modules logiciel embarqués assurent une surveillance continue du système quel que soit la configuration des OS ou des processeurs. De cette manière, toute déviation est détectée pendant l’exécution du système.