Receef,
le logiciel embarqué d’orchestration des applications
Receef est le logiciel embarqué assurant l’orchestration d’applications de natures hétérogènes en intégrant de multiples systèmes d’exploitation.
Embarquant les caractéristiques du modèle euphilia, il permet de vérifier in-situ un fonctionnement conforme à la spécification, et de réagir en cas de déviation par rapport au comportement attendu.
L’objectif
Destiné à l’équipementier concepteur d’électronique centralisée, Receef est le logiciel de supervision des échanges entres toutes les prestations.
Exploitant les modules de communication de chaque système d’exploitation, il permet une coordination totale des données échangées, quel que soit leur niveau de criticité, ou caractéristique temporelle.
Receef permet de détecter et réagir face à toute déviation, et de collecter les données échangées pour une analyse approfondie du fonctionnement réel.
Définition du produit
Receef est une surcouche logicielle non intrusive à déployer sur une infrastructure logicielle complexe dans un environnement centralisé.
Il assure la coordination de l’ensemble des données échangées par les fonctionnalités applicatives à haut niveau, en s’appuyant sur le modèle théorique et formellement prouvé généré par la modélisation Euphilia.
Caractéristiques
- Surveillance continue, complètement transparente pour l’application et indépendante de l’OS.
- Une architecture de communication orientée service compatible avec les environnements traditionnels orientés signal.
- Une infrastructure logicielle sur mesure grâce à un large choix d’OS (Linux, Autosar) ou d’hyperviseurs (Sysgo, Xen).
- Déploiement automatique et contrôlé de stratégies de secours en cas de comportement anormal.
- Logiciel distribué compatible avec tous les types de processeurs (SoC, MCU, manycores, GPU, FPGA), quel que soit leur nombre.
Avantages
- Assure l’orchestration d’applications de natures hétérogènes en intégrant de multiples systèmes d’exploitation.
- Permet à l’intégrateur de composer son infrastructure logicielle à partir de plusieurs Systèmes d’Exploitation, déployés sur plusieurs processeurs pour répondre aux besoins spécifiques de ses applications.
- Assure une complète autonomie dans le choix des composants intégrés à la plateforme et une meilleure mise en concurrence des fournisseurs.
- Sécurise en continu les communications au sein d’un environnement complexe.
- Une sureté de fonctionnement et une cybersécurité renforcées de manière démontrable.
- Une capacité à exécuter toutes les mesures correctives requises par l’intégrateur de façon systématique et automatique.
- Une collecte des données d’usage automatisée pour une exploitation ultérieure.
- Une réutilisation de logiciel applicatif en garantissant une isolation de la description fonctionnelle de la prestation de ses paramètres non-fonctionnels.
