Description
Le Groupe Systerel imagine, conçoit et met en œuvre depuis plus de 10 ans des solutions innovantes dans le domaine des systèmes critiques temps réel ou de sécurité.
Sa filiale Systerel est plus particulièrement spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement.
Son spectre de compétences couvre :
• l’ensemble des 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 (DO178, CENELEC, CEI61508, MIL-STD, …)
• des techniques et méthodes de sûreté de fonctionnement propres à chaque secteur industriel.
La maîtrise de technologies de pointe 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.
Systerel déploie notamment les solutions suivantes :
• Systerel Smart Solver : vérification formelle de systèmes ou logiciels développés en SCADE, C ou Ada,
• Systerel IXL Builder : conception d’automatismes formellement prouvée + génération automatique du code cible,
• Systerel Data Analyzer : analyse et diagnostic de systèmes communicants,
• Ovado2 : validation formelle automatisée de données de configuration.
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.