Embarquer en toute sécurité

Les systèmes embarqués se retrouvent dans toutes sortes de périphériques, il peut s’agir de robots comme les drones, ou bien dans des contextes plus critiques comme l’avionique ou bien l’aérospatiale. Plus proche de nous c’est ce domaine d’expertise qui intervient dans le développement de télécommandes et plus récemment dans les développements logiciels liés aux objets connectés.

Les logiciels embarqués sont développés pour des environnements possédants de fortes contraintes, elles peuvent être temporelles ou de ressources. Dans le cadre de systèmes embarqués les systèmes généralistes possèdent des buts souvent non compatibles avec le temps réel. Pour un système embarqué temps réel il est important d’avoir du déterminisme, de la robustesse et une faible latence noyaux.

Il existe également un certain nombre de normes et d’outils existants nous permettant de répondre correctement à ces différentes problématiques. En voici une liste non exhaustive :

• La norme Posix.
• Le système FreeRTOS.
• La méthode de spécification SA-RT.
• La méthode de conception formelle UML avec les diagrammes d’états.
• La méthode de conception multitâche DARTS.
• L’outil de conception Capella.