Systerel
Created in 2001
Up & running (A)
Existing signals show a regular activitySocial networks
22 2,843Activities
Technologies
Entity types
Location
1115 Rue René Descartes, 13857 Aix-en-Provence, France
Aix-en-Provence
France
Employees
Scale: 51-200
Estimated: 106
SIREN
440146504Engaged catalyst
23
0 0Added in Motherbase
4 years, 4 months ago
Value proposition
Innovative Critical Systems Engineering
Systerel has been creating, designing and implementing innovative solutions for over 20 years in the area of real time and safety critical systems.
Its expertise is covering a wide range of skills:
• Development, verification and validation or software assessment at all safety levels.
• Building of a full safety case up to its approval by a certification authority.
• Related activities: methodology, architectural study, tools, etc.
The source of its competitive differentiation lies in its ability to combine:
• Key technological expertise (B method, SCADE, Model Checking, Simulink, Ada, PikeOS)
• Rigorous development processes that comply with standards (DO178B, CENELEC, CEI61508, MIL-STD, ...)
• RAMS techniques and methods specific to each industry.
The mastery of advanced technologies such as formal approaches, linked to a thorough industrial knowledge (signaling, avionics...), enables Systerel to supply highly innovative and competitive solutions for the benefit of its customers.
In particular, Systerel offers the following solutions:
• Systerel Smart Solver: automatic formal validation of critical configuration data
• BLAST: automated and parameterized solution for calculating the number of railways balises
• Systerel IXL Builder: design of formally proven automata-based systems
• Safe and Secure OPC: secure implementation of the OPC UA protocol
• OVADO2®: automatic formal validation of critical configuration data
Its ability to innovate with a commitment of results makes Systerel a strong partner of leading actors in the railway, aeronautics & space, defense, energy & industry sectors.
embedded, real-time, safety, security, critical systems, software, railway, aeronautics, formal methods, RAMS, Ada, OPCUA, EN50716, and EN50128Original language
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é.
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, 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,
• BLAST : solution automatisée et paramétrée de calcul de l’implantation de balises ferroviaires,
• Systerel IXL Builder : conception d’automatismes formellement prouvée + génération automatique du code cible,
• Safe and Secure OPC: implémentation sécurisée du protocole OPC-UA,
• 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.
Solutions temps réel sécurisées, logiciel critique, sûreté de fonctionnement
Site de la société Systerel PME d'ingénierie spécialisée dans les métiers du logiciel critique et de la sûreté de fonctionnement.
https://www.systerel.fr/
| Catalyst | Type | Tweets | Articles | |
|---|---|---|---|---|
 Renault Group Automobile, Motor Vehicle Manufacturing | Renault Group Automobile, Motor Vehicle Manufacturing | Other 10 Jun 2025 | | |
 Région Sud - Provence-Alpes-Côte d'Azur National and local authorities, Government Administration | Région Sud - Provence-Alpes-Côte d'Azur National and local authorities, Government Administration | Other 31 Mar 2025 | | |
 Nantes Métropole Government Administration, French metropolis | Nantes Métropole Government Administration, French metropolis | Other 12 Oct 2024 | | |
 France Nature Environnement Environment, Non-profit Organizations | France Nature Environnement Environment, Non-profit Organizations | Other 14 Feb 2024 | | |
 CMA CGM Transportation, Logistics, Supply Chain and Storage | CMA CGM Transportation, Logistics, Supply Chain and Storage | Other 19 Jan 2024 | | |
 CGI IT services, IT Services and IT Consulting | CGI IT services, IT Services and IT Consulting | Other 19 Jan 2024 | | |
 Artelia Construction, Environment, IT Services and IT Consulting | Artelia Construction, Environment, IT Services and IT Consulting | Other 19 Jan 2024 | | |
 VINCI Construction | VINCI Construction | Other 19 Jan 2024 | | |
 Airbus Defence and Aerospace, Aviation and Aerospace Component Manufacturing | Airbus Defence and Aerospace, Aviation and Aerospace Component Manufacturing | Other 19 Jan 2024 | | |
 | ANSSI - Agence nationale de la sécurité des systèmes d'information | Other 13 Mar 2025 | | |