Systerel
Systerel is a privately-held French software company founded in 2003 that develops formal-methods-based tools and consulting services for safety-critical, embedded, and real-time software systems, serving enterprise clients in railway, aerospace, defense, nuclear, and industrial automation.
- Company typePrivate
- Founded2003
- HeadquartersAix-en-provence, France
- Headcount51–100
- GTM typeB2B
- OfferingSoftware
What Systerel does
Systerel is a privately-held French software company (SAS) founded in 2003 and headquartered in Aix-en-Provence, with additional offices in the Paris region and Toulouse. The company specializes in formal methods for the development and verification of safety-critical, embedded, and real-time software systems, serving industrial clients in railway, aerospace & defense, nuclear energy, and industrial automation. Its proprietary technology portfolio centers on formal verification tools: the Systerel Smart Solver (S3), a SAT/SMT-based Model Checking engine certified T2 SIL4 under CENELEC EN50128; OVADO² for formal validation of configuration data; Systerel IXL Builder for interlocking system design; BLAST for railway balise layout automation; and the OPC UA Aggregator for industrial data aggregation. In parallel, Systerel maintains Safe & Secure OPC (S2OPC), an open-source OPC UA stack that was the first to obtain ANSSI's Security Visa (CSPN certification).
The company's revenue model combines three streams: (1) professional services and consulting for safety-critical software development, evaluation, audit, and verification & validation, typically delivered to large enterprise clients (Alstom, Siemens Mobility, RATP, SNCF, Thales, Safran, Schneider Electric, Renault, TechnicAtome, Framatome, Stäubli); (2) Qualiopi-certified training on Ada, B Method, formal methods, OPC UA, and functional safety / railway standards, offered publicly and on-site; and (3) software product licensing for its proprietary tools, supplemented by commercial support for the open-source S2OPC. Go-to-market is direct enterprise engagement, thought leadership through conferences (Embedded World, InnoTrans, SIFER, RSSRail, Ada Europe), and strategic partnerships with CEA List, Renault Group, STMicroelectronics, ARCYS, SEMERU, and the France 2030 KICS 2 cybersecurity initiative.
Systerel holds multiple certifications that shape its competitive positioning: OQA (Organisme Qualifié Agréé) accreditation as an Accredited Qualified Body for French railway safety assessment (renewed July 2022), T2 SIL4 for Smart Solver, ANSSI CSPN for S2OPC, ISO 9001, and Qualiopi. The company is a member of the OPC Foundation and Bureau de Normalisation Ferroviaire, and is certified EcoVadis-rated. Operations are organized around a steady hiring cadence of approximately 20 new engineering staff per year with a 100% intern-to-FTE conversion rate, and training satisfaction rates of 91–92% with a 97% training success rate in 2024.
Systerel firmographics
Firmographics- Name
- Systerel
- Legal name
- SAS Systerel
- Website
- https://systerel.fr
- Company type
- Private
- Founded year
- 2003
- Operating status
- Operating
- Headcount range
- 51–100 employees
- Short description
- Systerel is a privately-held French software company founded in 2003 that develops formal-methods-based tools and consulting services for safety-critical, embedded, and real-time software systems, serving enterprise clients in railway, aerospace, defense, nuclear, and industrial automation.
- Ownership category
- akta.pro rank
Systerel industry classification
Industry- Product category
- Safety-critical formal verification software
- NAICS
- Computer Systems Design and Related Services (54151), Custom Computer Programming Services (541511), Testing Laboratories and Services (541380), Educational Support Services (61171)
- SIC
- Services-Prepackaged Software (7372), Services-Testing Laboratories (8734)
- akta.pro primary industry
- Enterprise Application Testing & QA Services (BPAEAGAI)
Keywords
Where Systerel is headquartered
LocationHeadquarters
- HQ city
- Aix-en-provence
- HQ country
- France
- HQ region
- Europe
Offices3 records
Markets served
Systerel business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Marketing or Sales, Operations, Others
Revenue model
- Professional Services & Consulting: Systerel provides consulting, expertise, development of critical software, evaluation, audit, and verification & validation services for clients in railway, aerospace, defense, and energy sectors. These are primarily billable professional services engagements with industrial enterprises (e.g., Alstom, Siemens Mobility, RATP, Alten, Thales, Safran).
- Training Services: Systerel offers a catalog of professional training courses (Ada, C, B Method, formal methods, functional safety, railway standards, OPC UA, Systerel Smart Solver). Training is Qualiopi certified, delivered in-person or at client sites, with rates varying by number of participants. Minimum 4 participants per session.
- Software Products & Licensing: Systerel commercializes proprietary tools including Systerel Smart Solver (T2 SIL4 certified), OVADO²® (data validation), BLAST (balise assistance), and Systerel IXL Builder. Safe & Secure OPC (S2OPC) is open-source under Apache 2.0 but supported as a commercial product with associated services.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Unit Pricing | Per session | Standard group training - per participant discounted rate |
| Other | Multi-year contract | Customized / on-site training |
Go-to-market motion2 records
Distribution channels5 records
Marketing channels6 records
Systerel product offering
Product offeringCore offering
Systerel provides consulting, critical software development, formal verification and validation services, plus certified tools (Systerel Smart Solver, OVADO²®, BLAST, Systerel IXL Builder) and the open-source S2OPC OPC UA stack for safety-critical, embedded and real-time systems. Offerings are sold primarily to enterprise clients in railway, aerospace, defense, energy and industrial automation, supported by Qualiopi-certified professional training.
Product overview
Systerel offers a portfolio of specialized products for critical systems and industrial automation. The core offerings include Safe & Secure OPC (S2OPC), an open-source OPC UA implementation for secure industrial communications; Systerel Smart Solver, a formal verification tool using Model Checking; OVADO²® for automated validation of configuration data; BLAST for railway balise layout automation; Systerel IXL Builder for interlocking system modeling; and an OPC UA Aggregator for data centralization in Industry 4.0. These products are complemented by professional services including consulting, critical software development, verification & validation, and training programs.
Differentiator
Problem solved
Functional benefit
Brands
- Systerel Smart Solver: Model checking and formal verification tool for critical software systems
- OVADO²®
- Safe & Secure OPC (S2OPC)
- BLAST
- Systerel IXL Builder
Products and services
- Safe & Secure OPC (S2OPC) Open-source, secure, and certified implementation of the OPC UA standard for industrial communications. Developed with ANSSI support, certified by the OPC Foundation for OPC UA v1.03 compliance, and the first OPC UA implementation to receive the ANSSI Security Visa (CSPN). Distributed under Apache 2.0 with commercial support for enterprise users.
- Systerel Smart Solver (S3) Automated formal verification engine based on SAT/SMT Model Checking technologies. Enables verification of systems or software developed in domain-specific languages such as HLL. Certified T2 for SIL4 use under CENELEC EN50128:2011.
- OVADO²® Automated formal validation tool for critical configuration data in railway equipment, based on the B Method. Proves correctness of configuration data for safety-critical railway applications.
- BLAST
Quantifiable outcome
- Training satisfaction rate of 91-92% across all Systerel training courses; 97% training success rate in 2024
- +4 more outcomes
Companies that use Systerel
Customer profileNamed customers12 records
Segments4 records
Ideal customer profiles5 records
Systerel technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Feature8 records
Systerel partnerships and signals
Strategic signalPartnerships
Eight partnerships are on record, tiered core and minor.
- Renault GroupcoreSysterel developed a high-performance OPC UA aggregator for Industry 4.0 in collaboration with Renault Group. This solution centralizes and standardizes data from field equipment to the supervision layer. Renault Group and Systerel jointly deployed this aggregator in data center modernization projects (e.g., with SEMERU in Angers region).
- SEMERUminorSysterel partnered with SEMERU for the modernization of a data center in the Angers region through deployment of the OPC UA Aggregator developed with Renault Group.
- France 2030 / KICS 2coreThe KICS 2 project was selected in the context of the France 2030 national plan to position France among world leaders in cybersecurity. The project aims to develop equipment reconciling cybersecurity update constraints with maintaining safety of critical systems. Systerel presented the KICS 2 project at SIFER 2023.
- Ada-EuropeminorSysterel is a partner of the annual Ada Europe International Conference on Reliable Software Technologies. Systerel has partnered with Ada-Europe since at least 2019 (24th conference) through 2024 (28th conference in Barcelona).
- RailergyminorRailergy, a specialist supplier of railway system automation based in Augsburg, chose Systerel to support its activities around the development of an automated shunting locomotive for Deutsche Bahn Cargo.
- ArcysminorArcys and Systerel collaborate on SIL4 solid static relays communicating to the Industry 4.0 OPC UA standard. The partnership was showcased at SIFER 2021, combining Arcys' relay expertise with Systerel's critical systems and OPC UA capabilities.
- CEA ListcoreLong-standing strategic R&D partnership. CEA List and Systerel collaborate on HLL language development and tooling, Back-to-Back Testing (B2BT) project with Schneider Electric, LEIA project for IoT device security analysis, and functional modeling of interlocking systems for SNCF Réseau. Systerel is featured in CEA List's activity report and co-organizes ABZ conference workshops for Rodin users and developers.
- OPC FoundationcoreSysterel is a member of the OPC Foundation and presents at its booths at major trade fairs (Embedded World, SPS, Global Industrie). S2OPC is certified by the OPC Foundation as compliant with OPC UA v1.03. Systerel is active in the OPC France working group and OPC UA TECH DAY France.
Scale indicators6 records
Recent moves6 records
Expansion highlights6 records
Systerel competitors and assessment
Company assessmentBroad incumbents
- ANSYS: Global engineering simulation vendor that owns the SCADE suite for embedded safety-critical software development. Competes with Systerel Smart Solver for model-based design and verification workloads in aerospace, rail, and automotive.
- MathWorks: Supplier of MATLAB/Simulink, the dominant model-based design environment for embedded safety-critical software. Competes with Systerel for the upstream modeling and verification tooling layer across rail, aerospace, and automotive.
- Thales: Major French defense and transport systems integrator with deep safety-critical software capabilities across rail signalling and aerospace. Competes with Systerel for V&V, formal verification, and SIL-grade engineering services on large programs.
- Dassault Systèmes: Provider of CATIA, 3DEXPERIENCE, and adjacent modeling/simulation tools used in safety-critical engineering workflows. Adjacent to Systerel's SCADE-modeling and formal-verification practice within industrial customers.
- Alten: European engineering services firm listed by Systerel as a customer/partner, with significant rail, aerospace, and energy consulting depth. Competes with Systerel on safety-critical software development and V&V services.
Direct peers
- AdaCore: Provider of AdaCore GNAT Pro and SPARK Pro toolchains for safety- and security-critical Ada/SPARK development. Competes with Systerel on Ada language tooling and on the wider market for SIL-grade embedded software.
- Clearsy: French specialist in the B Method and formal verification for safety-critical rail and energy systems. Closest direct competitor to Systerel, sharing both technology stack (Atelier B) and end customers in French guided transport.
Others
- Bureau Veritas: Global testing, inspection, and certification group active in rail, nuclear, and industrial cybersecurity. Comparable to Systerel's OQA-style assessment activities and adjacent to its regulated-industry customer base.
- TÜV SÜD: Independent testing, inspection, and certification body operating in rail (SIL assessment), industrial automation, and cybersecurity. Comparable to Systerel as an evaluator/auditor of safety-critical systems rather than a software vendor.
Emerging players
- Vector Informatik: Specialist in embedded automotive software tools (CANoe, vTESTstudio) with growing formal-verification and safety offerings. Adjacent competitor in safety-critical embedded V&V, with overlap in industrial and rail customers.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks6 records
Key highlights7 records
Customer concentration
Systerel social profiles
Digital presenceSysterel compliance and trust
Trust signalCompliance8 records
Systerel financial estimates
Financial estimateRevenue estimate
Valuation estimate
Systerel leadership team
Management profileNumber of profiles
Profiles1 record
Systerel funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Systerel M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Systerel
What does Systerel do?
Systerel provides consulting, critical software development, formal verification and validation services, plus certified tools (Systerel Smart Solver, OVADO²®, BLAST, Systerel IXL Builder) and the open-source S2OPC OPC UA stack for safety-critical, embedded and real-time systems. Offerings are sold primarily to enterprise clients in railway, aerospace, defense, energy and industrial automation, supported by Qualiopi-certified professional training.
Is Systerel a public or private company?
Systerel is a private company. It is classified as unknown and is currently operating.
When was Systerel founded?
Systerel was founded in 2003. It employs 51 to 100 people.
Where is Systerel based?
Systerel is headquartered in Aix-en-provence, France, in the Europe region.
How does Systerel make money?
Three revenue lines are on record. Professional Services & Consulting is the primary driver. The others are training Services and software Products & Licensing.
Who are Systerel's main competitors?
Broad incumbents on record are ANSYS, MathWorks, Thales, Dassault Systèmes and Alten. Direct peers are AdaCore and Clearsy. Others are Bureau Veritas and TÜV SÜD. Vector Informatik is listed as an emerging player.
Does Systerel have an API?
No public API is recorded for Systerel.
What industry is Systerel in?
Systerel's product category is Safety-critical formal verification software. Its primary akta.pro industry code is BPAEAGAI, Enterprise Application Testing & QA Services. Its NAICS code is 54151 and its SIC code is 7372.