Pages

• Business segments
  • Railway
    • Interlocking
  • Aerospace
  • Defense
  • Energy
• Careers
• Company
  • Business
  • Key figures
  • Organisation
  • Quality policy & commitments
  • Solidarity commitments
  • History
• Contact
• Expertise
  • Formal methods
    • Using Formal Methods
    • B Method
    • SCADE
    • Systerel Smart Solver
    • RODIN platform
    • The HLL Language
    • Verification & Validation Tools
  • Embedded, critical & real-time software
  • OPC UA
  • Standards and processes
  • Technology based on Ada
• Home
• Innovation
  • Innovation at Systerel
  • Research and development works
  • Products
    • BLAST
    • OVADO²®
    • Safe & Secure OPC
    • Systerel IXL Builder
    • Systerel Smart Solver
  • Collaborative initiatives
• Legal notices & credits
• News
• Site map
• Solutions
  • Consulting & Expertise
  • Safety-critical software development
  • Assessment & audit
  • Verification & validation
  • RAMS
  • Training
    • OPC UA training – Fundamentals
• test english mop

Posts by category

• Category: Blog
  • Blog : Ada2022 – TermiNA
  • Blog post: OVADO²® secondary review activities of configuration data
  • Blog post: Expect automation tool
  • Generating and verifying configuration data with OVADO²®
  • Blog: Back-to-Back Testing
  • Article: Ada2012 associated with Lua language
  • Blog: A scaffolding for the development of your Ada applications
  • Modelling dynamic data structures with the B method
  • Systerel Blog: Multi-Agent Smart Solver
  • An overview of technology GPR
  • Blog: new article!
  • New article available on the Systerel blog!
• Category: Careers
  • INSA Centre Val de Loire Business Forum
  • Systerel gave a presentation on critical systems at Centrale Méditerranée
  • Systerel will be attending “Rencontres PME – Grandes Écoles”
  • IT security and reliability: seminar at Aix-Marseille University
  • Formal methods and cybersecurity: meeting at Polytech Marseille
  • Meet-up with students from Nativité high school and Femmes Ingénieures association
  • 100% of our interns hired!
  • “Compétences Cadres” APEC
  • Recruitment forum of the ISEP School 2021
  • Intervention of Systerel at the INSA Centre Val de Loire (November 9th and 10th 2021)
  • ISMIN Business Forum
  • Promoting skills development
  • Meetings for SMEs and engineering schools
  • CERI
  • Recruitment: Immersive Virtual Reality
  • Job interview simulation programme with CERI
  • Focéen exhibition
  • We are hiring!
• Category: Company
  • Systerel participates in the Odysséa race in Marseille
  • Systerel supports the French “Men’s 40+ Years” Touch Rugby !
  • Review Activities on Line 14 of the Paris Metro
  • Systerel participates in the extension of line 14 of the Paris Metro
  • Quality of Life and Working Conditions Week
  • Hinkley Point Nuclear Power Plant: Automation of Design Rule Verification
  • Systerel earns silver medal from EcoVadis for sustainable development
  • Systeral takes part in the “Bougeons Solidaire” challenge
  • Gender Equality Index
  • Salary donation: in 2024, we support the Institut Curie
  • Systerel is committed with “Elles Bougent” to promoting gender diversity in engineering careers.
  • Climate Fresk 2024
  • Automation of Paris metro line 4
  • Blood donations
  • Systerel organizes a charitable donation for the French Red Cross
  • European Week for the Employment of People with Disabilities
  • Charity run: Foulée Ressource
  • Systerel celebrated its 20th anniversary!
  • Quality of Life and Working Conditions Week
  • Implementation of an OCTYS automatic train control system on line 6 of the Paris metro 
  • Systerel participated in the Odyssea race in Toulouse
  • Automation of line 4 of the Paris metro
  • Gender Equality Index
  • My Little Planet challenge
  • Milan Metro Line 4 is now in operation
  • More than €5,000 donated to the Curie Institute
  • Systerel commits to being an eco-responsible actor in the digital sector
  • Charity run: “Course des Lumières”
  • Systerel joins the association Femmes Ingénieures (Women Engineers)
  • A small gift in September
  • OQA renewal 2022
  • ISO9001:2015 renewal audit (2022)
  • Solidarity collection of toys
  • Professional gender Equality Index 2021
  • Salary donation 2022
  • Donation on salary 2021: more than 5000€ paid to the association La Voix de l’Enfant.
  • Meditation
  • Christmas 2021
  • Functional safety of industrial systems: Systerel engineers certified IEC 61508 (FSCED)!
  • Safe & Secure expertise : Systerel engineers certified EBIOS!
  • Learn how to program your first applications in Ada language!
  • ISO9001:2015 renewal audit (2021)
  • Singapore Metro
  • Industry 4.0: a new reference website
  • Supporting blood donation
  • New employees: personalised onboarding
  • Ada SPARK Internal Webinar
  • Federating teams in teleworking is possible!
  • Customer satisfaction
  • Internal Technical Webinars
  • Support for Centrale Marseille students
  • Systerel, partner of the CEA List
  • 1st 2021 CSE competition
  • Gender Equality Index
  • New intranet
  • Commissioning of a new section of the Queens Boulevard Line of the New York metro
  • Donation on salary 2020
  • CSE Christmas Contest
  • Company gifts
  • Happy New Year
  • L14 Extension – St Ouen town hall
  • Christmas collection
  • The Halloween Pumpkin
  • Systerel member of GIMELEC’s new Cyber OT Club
  • COVID-19 : business continuity
  • Systerel Blog
• Category: Conferences and fairs
  • 10th Technical Day organized by Exera
  • Join Systerel at SIDO Lyon 2024
  • Embedded World 2024
  • Horizon Mathématiques Conference
  • Systerel will be attending Global Industrie 2024
  • InfraBIM Open 2024
  • NII Shonan Meeting: Formal Method Extensions to Support Domain Theories
  • Open Source Experience
  • SPS Nuremberg 2023
  • RSSRail 2023
  • Exera: conference “Industrial Systems Cybersecurity”
  • User feedback S2OPC 2023
  • Conference Ada-Europe 2023
  • OPC UA TECH DAY France 2023
  • SIFER 2023 Exhibition
  • Systerel will be attending Embedded World 2023
  • 23rd Lambda Mu Congress
  • Cybersecurity of industrial systems 2022
  • Innotrans 2022
  • User Conference on Advanced Automated Testing
  • Embedded World – safe&secure offer
  • Ada Europe 2022 Conference
  • Embedded World 2022
  • RSSR 2022 “International Conference on Reliability, Safety and Security of Railway Systems”
  • Safe & Secure Static Relay – SIFER 2021
  • Cybersecurity of industrial systems 2021
  • Ada Europe 2021
  • Zephyr Developer Summit 2021
  • Embedded World 2021
  • Cybersecurity for industrial systems – 2020
  • First meetup Ada France
  • Embedded World 2020
  • ERTS 2020
  • International Cybersecurity Forum (FIC) 2020
  • Paris Open Source Summit 2019
  • OPC Day France
  • Open Source Summit Europe 2019
  • Cybersecurity for industrial systems 2019
  • Ada-Europe conference – 2019
  • RSSR 2019
  • SIDO 2019
  • Smart Industries 2019
  • Embedded World 2019
  • Smart Metro 2018
  • Risks mastering and digital transformation
  • Cybersecurity for industrial systems
  • InnoTrans 2018
  • Sound Static Analysis for Security workshop
  • International ABZ conference 2018
• Category: Formal Methods
  • ABZ 2024 – 10th International Conference on Rigorous State Based Methods
  • ABZ International Conference 2023
  • HLL language for formal verification of critical software or systems
  • SPARK/Ada
  • CEA and Systerel: a new step towards the functional modeling of the interlocking system of the future
  • A new version of the HLL language
  • Kick-off of the HLL community
  • First HLL forum
• Category: Non classé
  • Systerel blog: 20 years of critical software development
• Category: Products
  • Systerel Supports RATP in Renewing the SAET System for Line 14 with OVADO²®
  • Version 12.0 of OVADO²® released
  • S2OPC awarded the Security visa from ANSSI for the CSPN
  • S2OPC now operates with PikeOS for even greater security
  • Systerel joins STMicroelectronics Partner Program
  • OPC UA and Safe&Secure OPC User Feedback
  • Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128
  • Integration of S2OPC at the heart of railway systems
  • OPC UA – Foundation OPC Interoperability Workshop
  • Track plan display solution
  • Safe & Secure OPC, a dedicated page on LinkedIn.
  • S2OPC server certified by the OPC Foundation
  • A dedicated website for S2OPC
  • OPC France working group launch
  • Python Front-end for S2OPC
  • Systerel Smart Solver: always faster
  • OPC Interoperability Workshop
  • S2OPC is now released under the Apache license!
• Category: Projects
  • Automated shunting locomotive for Deutsche Bahn Cargo: Railergy chooses Systerel.
  • Stäubli Industrial Robots
  • Automatic train supervision
  • Automated solutions for design verification
  • Amsterdam subway
• Category: R&D
  • France 2030 selects the KICS 2 project
  • Automated software analysis for secure IoT devices with LEIA
  • Back To Back Testing
  • Rodin platform 3.5 version
  • Closing meeting of the INGOPCS project
• Category: Software operational safety
  • Development of safety embedded controller for Nantes’ tramways
  • Riyadh Metro Line 2
  • Towards the future of railway software operational safety with CENELEC EN 50716 standard
• Category: Success Stories
  • Systerel contributes to the launch of Hanoi Metro Line 3
• Category: Training
  • Systerel Renews Qualiopi Certification
  • Systerel Partners with Ada-Europe
  • Qualiopi certified training
  • Qualiopi certified training
  • Ada 95, 2005 and 2012 trainings
  • Qualiopi certified training
  • New OPC UA training
  • OPC UA and S2OPC trainings
  • External trainings
  • OPC UA training
  • Customer Testimonial B Method training
  • EN50128 distance learning
• Category: Webinars
  • IEC 61508 internal webinar

Products

• BLAST
• Systerel Safe & Secure OPC
• OVADO²®
• Systerel Smart Solver