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, EN50716, DO178B, IEC61508, IEC60880, avec une forte maitrise des développements SIL4
Produits
La compétitivité de notre offre repose notamment sur plusieurs solutions développées en propre.
Implémentation libre et sécurisée du protocole OPC-UA