Systerel dispose d’un centre de compétences pour le développement de logiciels critiques, embarqués et temps réel.

Ces compétences s’appliquent notamment :

  • à la réalisation de couches basses de logiciels complexes
  • à la réalisation de logiciels applicatifs soumis à des exigences de sécurité
  • au portage en contexte industriel d’algorithmes développés en laboratoire
  • à l’évolution raisonnée de logiciels existants (incluant un processus de reverse-engineering)

Logiciels critiques

Les logiciels critiques doivent respecter des exigences issues d’études de sécurité, et leur cycle de développement est contraint par un contexte normatif spécifique (EN50128, DO178, CEI61508…).
 ..
Systerel met en place les processus, techniques et outils nécessaires à l’obtention du niveau d’intégrité logicielle requis par la norme applicable :
  • ségrégation spatiale et temporelle de fonctions ayant différents niveaux d’intégrité logicielle
  • architecture redondée diversifiée de type 2oo2 ou 2oo3
  • chaîne de développement pour plateforme à base de monoprocesseur codé
  • méthodes formelles en phase de vérification (model-checking – Systerel Smart Solver) ou en phase de conception (B)

Logiciels embarqués

Les ingénieurs Systerel maîtrisent les implémentations de couches basses :
  • BSP, Drivers, Middleware
  • communication niveaux 1 et 2 (RS, SPI, I2C, CAN, Ethernet)
  • protocoles industriels (CANOpen, ModBus, OPC UA…)
  • moteurs de séquencement
Systerel possède par ailleurs d’une expertise dans la mise en œuvre de systèmes d’exploitation adaptés aux traitements multi-tâches et réalise le portage de Linux sur des cibles embarquées dédiées.

Problématiques temps réel

Les équipes de Systerel peuvent implémenter des traitements synchrones en temps réel dur ou des traitements asynchrones (cibles microcontrôleurs ARM, TI, Power PC…).
Nos experts maîtrisent les problématiques associées à la mise en œuvre de RTOS, telles que :
  • l’ordonnancement priorisé des tâches
  • la synchronisation entre tâches ou entre process (IPC)
  • l’optimisation de performances
Afin de résoudre des problèmes épineux de consommation de mémoire ou de CPU, Systerel dispose des outils et des moyens humains permettant d’instrumenter le code pour diagnostic et correction.
Cette expertise est fréquemment appliquée à la mise en œuvre d’algorithmes issus de recherches menées par des acteurs métier disposant d’une connaissance précise des phénomènes physiques. Ces algorithmes sont portés suivant un process industriel avec optimisation des performances et vérification des résultats par rapport aux modèles MATLAB.

Techniques

  • Processeurs : séries Motorola 68K, PowerPC, MPC860, MPC885, Intel 80C5x, Hitachi, DSP Motorola 96K et Texas 320C6x…
  • Réseaux embarqués ou de terrain (Ethernet, FIP, Profibus, CAN, OPC UA…) et leurs librairies logicielles associées
  • Exécutifs temps réel : pikeOS, VxWorks, noyau Ada, QNX, MARK de Rational
  • Chaînes de production d’exécutable : produits Rational, Atego, Microsoft Visual C++, Borland C++ Builder ou produits libres sous Linux et Windows – Gcc, Gnat, traducteurs B vers Ada, librairies et BSP constructeurs
  • Compilateurs, outils d’espionnage, de mise au point, de simulation et de tests

Systerel a développé une offre de services outillés à travers plusieurs produits développés en propre : Systerel Smart Solver, Systerel IXL Builder.

Références

  • Commande sécurisée des aiguilles et des feux de signalisation ferroviaire (SIL4 EN50128)
  • Logiciel d’odométrie avec synchronisation via des balises
  • Mise en œuvre d’un protocole de redondance en anneau de réseau Ethernet (MRP)
  • Tableau de bord sécurisé de pilotage de train (DMI SIL2)
  • Monitoring de moteur d’avion embarqué sur carte OMAP
  • Portage de Linux sur carte dédiée OMAP (ARM+DSP)
  • Logiciel embarqué de centrale inertielle d’hélicoptère
  • Drivers sécurisés I/O et CAN en langage Ada (SIL4 EN50128)
  • Portage d’une passerelle CAN – MVB sur processeur Texas Hercules RM48
  • Algorithme de détection de défaut de voie ferroviaire embarqué sur rame IRIS

Formations

Systerel propose une formation sur le langage C pour le développement de logiciels embarqués.