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.
Company Details
- Employees
- 108
- Founded
- -
- Address
- 1115, Rue René Descartes, Aix-En-Provence,provence-Alpes-Côte D’azur 13100,france
- Phone
- +33(0)44.2904-120
- co****@****erel.fr
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- systerel.fr
- Keywords
- embedded, real-time, safety, security, critical systems, software, railway, aeronautics, formal methods, RAMS, Ada, OPCUA, EN50716, EN50128.
- HQ
- Aix-en-Provence, Provence-Alpes-Côte d’Azur
Systerel Questions
Systerel's helpline number is +33(0)44.2904-120
Systerel's website is systerel.fr
Systerel's LinkedIn profile is https://fr.linkedin.com/company/systerel
Systerel has
108 employees.
View email and phone details for 108
employees at Systerel.
Systerel's industry is
Software Development
Systerel's top competitors are
Clearsy,
Spygen,
Pellenc Group,
Technicatome,
Arianegroup,
Prover,
Softway Medical,
Viveris,
Bionic France,
Alstom.
Systerel's support email address is contact@systerel.fr
Systerel's categories are Software Development
Systerel's founding year is 2001
