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 par exemple les drônes, 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écommande 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 compatible 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 existant 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.
À cela s’ajoute notre expertise sur les tests et l’intégration continue.