Systerel réalise aujourd’hui plus de 70% de son chiffre d’affaire sur des développements ou de l’évaluation de logiciels critiques de sécurité.

Dans le cadre de ses activités, Systerel met en œuvre des méthodes de développement formelles (B logiciel, Event-B, SCADE + Model Checking, interprétation abstraite…) ou plus classiques ainsi que des processus rigoureux permettant d’atteindre les plus hauts niveaux d’intégrité logicielle.

Connaissance et maîtrise des :

  • Différents composants intervenant dans la réalisation de systèmes complexes (redondance, architectures distribuées, calculateurs temps-réel, exécutifs temps réel, réseaux et bus de terrain, processeurs type MPC8xx…)
  • Technologies embarquées permettant de couvrir l’ensemble des phases du cycle de développement jusqu’à leur validation ainsi que les outillages associés et ce pour toutes les couches logicielles (BSP, drivers, bibliothèques, communications, applications métier)
  • Techniques les plus courantes de sécurisation des systèmes et de leurs communications (redondance matérielle et/ou logicielle, 2 parmi 3, Fidare, processeur sécuritaire codé, FSFB/2, techniques d’authentification, de signature…)
  • Techniques avancées de développement ou d’évaluation de logiciels critiques (techniques formelles, méthode B, Model Checking, SCADE…)
  • Normes spécifiques à chaque domaine d’intervention et notamment les normes CENELEC EN50126, EN50128, EN50129, DO178B, IEC61508, IEC60880, avec une forte maitrise des développements SIL4

Produits

La compétitivité de notre offre repose notamment sur plusieurs produits développés en propre.

développement de logiciels critiques

Conception formellement prouvée de postes à enclenchement

En savoir plus  Contactez-nous

Développement de logiciels critiques

Analyse et diagnostic interactifs du comportement de systèmes communicants

En savoir plus  Contactez-nous