Ingénieriste innovant des systèmes critiques
Systerel imagine, conçoit et met en œuvre depuis plus de 20 ans des solutions innovantes dans le domaine des systèmes critiques temps réel ou de sécurité.
Systerel est spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement.
Son spectre de compétences couvre :
- Les activités de développement, de vérification et validation ou d’évaluation des logiciels, quel que soit leur niveau de criticité,
- L’élaboration complète d’un dossier de sécurité jusqu’à son approbation par l’autorité de certification,
- Les activités connexes au développement (méthodologie, étude d’architectures, outillage…).
Son positionnement différenciateur réside dans la maîtrise combinée :
- d’expertises technologiques clés (méthode B, SCADE, Model Checking, Simulink + Design Verifier, Ada, PikeOS)
- de processus de développements rigoureux conformes aux normes métier (DO178B, CENELEC, CEI61508, MIL-STD…)
- des techniques et méthodes de sûreté de fonctionnement propres à chaque secteur industriel.
La maîtrise de technologies clés telles que les méthodes formelles, alliée à une connaissance métier fine (signalisation, avionique…), permet à Systerel d’offrir à ses clients des solutions innovantes et compétitives en adéquation avec le niveau de sécurité exigé et les gains de productivité recherchés.
Par sa maîtrise combinée de l’électronique, des techniques logicielles, de l’ingénierie par les modèles et de la sûreté de fonctionnement, Systerel propose à ses clients une offre globale de prestations allant des études préliminaires système à la production d’équipements en série.
Systerel déploie notamment les solutions suivantes :
- BLAST : assistance automatisée à l’implantation de balises ferroviaires
- OVADO²® : validation formelle automatisée de données de configuration
- S2OPC : implémentation sécurisée du protocole OPC UA (niveau de sécurité EAL4+)
- Systerel IXL Builder : conception d’automatismes formellement prouvée + génération automatique du code cible,
- Systerel Smart Solver : vérification formelle de systèmes ou logiciels développés en SCADE, C ou Ada,
Sa capacité d’innovation et son engagement de résultats font de Systerel un partenaire majeur des grands acteurs des secteurs ferroviaire, aéronautique & spatial, défense, énergie & industrie.
Une centaine d’ingénieurs interviennent sur les sites de Paris, Aix-en-Provence, Toulouse.