Pages
- Accueil
- Actualités
- Carrières
- Contacts
- Expertises
- Innovation
- Mentions légales & Crédits
- Plan du site
- Secteurs d’activité
- Société
- Solutions
- Formation Ada 95 et 2005 – Les bases
- Formation Ada 95 et 2005 – Avancé
- Formation Ada 2012 – Les clés
Articles par catégorie
- Catégorie : Blog
- Nouveautés du langage Ada2022
- Article de blog : Ada2022 – delta aggregates
- Article de blog : Ada2022 – TermiNA
- Nouvelle norme EN 50716 pour le développement logiciel ferroviaire
- Certification CSPN : le cas d’étude de S2OPC
- Article de blog : OVADO²® second regard sur les données de configuration
- Article de blog : Portage d’un code Ada
- Nouvel article de blog : les bugs logiciels inhabituels
- Article de blog : l’outil d’automatisation Expect
- Générer et vérifier des données de configuration avec OVADO²®
- Blog Systerel : Back-to-Back Testing
- Article : Ada2012 associé au langage Lua
- Blog Systerel : « Un échafaudage pour le développement de vos applications Ada »
- Blog Systerel : 20 ans de développement de logiciels critiques
- Modélisation des structures de données dynamiques avec la méthode B
- Blog Systerel : Multi-Agent Smart Solver
- Un aperçu de la technologie GPR
- Blog : nouvel article !
- Nouvel article sur le blog !
- Catégorie : Carrières
- Atelier de préparation à l’entretien d’embauche à l’ISEN Méditerranée
- Forum des entreprises INSA Centre Val de Loire
- Systerel présente l’ingénierie des systèmes critiques à Centrale Méditerranée
- Rencontres Polytech Marseille
- Systerel participera aux Rencontres PME – Grandes Écoles
- Sécurité informatique et fiabilité : rencontre à Aix-Marseille Université
- Méthodes formelles et cybersécurité : rencontre à Polytech Marseille
- Rencontre avec les élèves du Lycée de la Nativité et l’association Femmes Ingénieures
- 100% de nos stagiaires embauchés !
- Salon Compétences Cadres APEC
- Forum de recrutement de l’Ecole d’Ingénieurs du numérique (ISEP) 2021
- Intervention de Systerel à l’INSA Centre Val de Loire (les 9 et 10 novembre 2021)
- Forum Entreprises ISMIN
- Favoriser la montée en compétences
- Accompagnement des étudiants Centrale Marseille
- Rencontres PME Grandes Ecoles d’ingénieurs
- Présentation au CERI
- Recrutement : Réalité Virtuelle Immersive
- Programme de simulations d’entretiens d’embauche avec le CERI
- Salon Focéen
- Nous recrutons !
- Systerel recrute !
- Systerel recrute !
- Systerel recrute !
- Catégorie : Formations
- Systerel annonce le renouvellement de sa certification Qualiopi
- Formations certifiées Qualiopi
- Formations certifiées Qualiopi
- Formations Ada 95, 2005 et 2012
- Formations certifiées Qualiopi
- Nouvelle formation OPC UA
- Formations OPC UA et S2OPC
- Témoignage Client Formation Méthode B
- Formations externes
- Formation OPC UA
- Formation EN50128 à distance
- Catégorie : Méthodes Formelles
- Vidéo : « Des méthodes formelles en pratique »
- ABZ 2024 – 10th International Conference on Rigorous State Based Methods
- Langage HLL pour la vérification formelle de logiciels ou systèmes critiques
- SPARK/Ada
- CEA et Systerel : un nouveau pas vers la modélisation fonctionnelle des postes d’aiguillage du futur.
- Une nouvelle version du langage HLL
- Coup d’envoi de la communauté HLL
- Premier forum HLL
- RSSR (Reliability, Safety and Security of Railway Systems)
- Véhicules autonomes et méthodes formelles
- SC2 “Satisfiability Checking and Symbolic Computation”
- Séminaire à Shonan
- Event-B Day
- High Integrity Software 2016
- Séminaire Dagstuhl : universalité des preuves
- International Workshop FMICS-AVoCS
- Séminaire Dagstuhl
- ADVANCE Industry Days
- Catégorie : Produits
- Solution d’affichage des données d’une ligne ferroviaire
- La gestion des certificats dans les systèmes industriels
- Systerel accompagne la RATP dans le renouvellement du SAET de la ligne 14 avec OVADO²®
- OVADO²® : version 12.0
- Plus de 10 ans avec OVADO²®
- S2OPC obtient le Visa de sécurité de l’ANSSI pour sa certification CSPN
- S2OPC fonctionne dorénavant avec PikeOS pour une sécurité améliorée
- Systerel rejoint le programme de partenariat de STMicroelectronics
- Retour d’expérience sur OPC UA et Safe&Secure OPC
- Systerel Smart Solver certifié T2 SIL4 selon la norme CENELEC EN50128
- Intégration de S2OPC au cœur des systèmes ferroviaires
- OPC UA – Atelier d’interopérabilité de la Fondation OPC
- Solution d’affichage de plans de voies
- Safe & Secure OPC, une page dédiée sur LinkedIn.
- Cybersécurité des Systèmes Industriels – 2020
- Le serveur S2OPC certifié par la Fondation OPC
- Un site dédié pour S2OPC
- Embedded World 2020
- ERTS 2020
- Lancement du groupe de travail OPC France
- Paris Open Source Summit 2019
- Cybersécurité des systèmes industriels 2019
- Front-End Python pour Safe and Secure OPC
- Smart Industries 2019
- Systerel Smart Solver : toujours plus rapide
- Journées interopérabilité de la Fondation OPC 2018
- S2OPC est maintenant disponible sous licence APACHE !
- Catégorie : Projets
- Catégorie : Projets de R&D
- Catégorie : Salons - Conférences
- 10e journée technique organisée par l’Exera
- Retrouvez Systerel au SIDO Lyon 2024
- Découvrez les Solutions Innovantes de Systerel à InnoTrans 2024
- Systerel est partenaire de la 28e conférence Ada-Europe
- Embedded World 2024
- Conférence Horizon Mathématiques 2024
- Systerel sera présente à Global Industrie 2024
- InfraBIM Open 2024
- NII Shonan Meeting : « Extensions de méthodes formelles pour utiliser des théories de domaine»
- Open Source Experience
- SPS Nuremberg 2023
- RSSRail 2023
- Exera : Journée technique « Cybersécurité des systèmes industriels »
- SIDO Lyon 2023
- Retex S2OPC 2023
- Conférence Ada-Europe 2023
- OPC UA TECH DAY France 2023
- Conférence ABZ 2023
- Salon SIFER 2023
- Systerel à Embedded World 2023
- Congrès Global Industrie 2023
- 23ème congrès Lambda Mu
- Cybersécurité des systèmes industriels 2022
- Innotrans 2022
- User Conference on Advanced Automated Testing
- Embedded World – offre safe&secure
- Conférence Ada Europe 2022
- Embedded World 2022
- RSSR 2022 “International Conference on Reliability, Safety and Security of Railway Systems”
- Relais statique Safe & Secure – SIFER 2021
- Cybersécurité des systèmes industriels 2021
- Ada Europe 2021
- Zephyr Developer Summit 2021
- Embedded World 2021
- Premier meetup Ada France
- Forum International de la Cybersécurité (FIC) 2020
- OPC Day France
- Open Source Summit Europe 2019
- Conférence Ada-Europe 2019
- RSSR 2019
- Salon SIDO 2019
- Embedded World 2019
- Smart Metro 2018
- Maîtrise des risques et transformation numérique
- Cybersécurité des systèmes industriels
- InnoTrans 2018
- OPC Day Europe 2018
- Workshop « Sound Static Analysis for Security »
- Ada Europe 2018
- Conférence internationale ABZ 2018
- Journées cyber-sécurité ISA France
- Embedded World
- Innotrans
- Conférence internationale RSSR
- Conférence Ada Europe
- TechnoDay 2016
- Le Groupe Systerel à ERTS 2016
- TRANSRAIL Connection 2015
- Congrès Lambda Mu
- Catégorie : Société
- Don sur salaire: 8000 € récoltés pour l’Institut Curie
- Elles bougent pour l’orientation
- Semaine de l’industrie : Systerel s’engage avec Elles bougent
- Systerel participe à la course Odysséa à Marseille
- Systerel soutient l’équipe de France « Hommes +40 ans » de Touch Rugby pour la Coupe du Monde 2024 !
- Systerel participe au prolongement de la ligne 14 du métro Parisien
- Semaine de la Qualité de Vie et des Conditions de Travail
- Centrale nucléaire de Hinkley Point : automatisation de la vérification des règles de conception
- Développement durable : Systerel obtient la médaille d’argent décernée par EcoVadis
- Systerel participe au défi « Bougeons Solidaire » !
- Systerel participe à la course Odyssea à Toulouse
- Index égalité professionnelle entre les femmes et les hommes
- Don sur salaire : en 2024, nous soutenons l’Institut Curie
- Systerel s’engage avec « Elles Bougent » pour la féminisation des métiers de l’ingénierie
- La Fresque du Climat
- Automatisation de la ligne 4 du métro parisien
- Don sur salaire : bilan 2023
- Soutenir le don du sang
- Systerel organise une collecte solidaire au profit de la Croix-Rouge française
- Semaine européenne pour l’emploi des personnes handicapées
- Course solidaire : Foulée Ressource
- Développer ses compétences grâce au FreeWork
- Systerel a fêté ses 20 ans !
- Semaine de la Qualité de Vie et des Conditions de Travail
- Mise en œuvre d’un système de conduite automatique des trains OCTYS sur la ligne 6 du métro parisien
- Systerel participe à la course Odysséa à Toulouse
- Automatisation de la ligne 4 du métro parisien
- Index égalité professionnelle entre les femmes et les hommes
- Bilan du challenge Ma Petite Planète
- Mise en service de la ligne 4 du métro de Milan
- Plus de 5 000 € reversés à l’Institut Curie avec le don sur salaire
- Top départ pour le Challenge Ma Petite Planète !
- Systerel s’engage pour un numérique responsable en signant le manifeste Planet Tech’Care
- Course des Lumières 2022
- Systerel adhère à l’association Femmes Ingénieures
- L’attention de la rentrée
- Renouvellement OQA 2022
- Audit de renouvellement ISO9001 :2015 (2022)
- Collecte solidaire de jouets
- Index d’égalité professionnelle Femmes/Hommes 2021
- Don sur Salaire 2022
- Bilan du Challenge Ma Petite Planète
- Don sur salaire 2021 : plus de 5000€ versés à l’association La Voix de l’Enfant.
- Challenge Ma Petite Planète
- La méditation
- Noël 2021
- 40 ans de la Voix de l’Enfant
- Sécurité fonctionnelle des systèmes industriels : des ingénieurs Systerel certifiés CEI 61508 (FSCED) !
- Expertise Safe & Secure : des ingénieurs Systerel certifiés EBIOS !
- Apprenez à programmer vos 1ères applications en langage Ada !
- Audit de renouvellement ISO9001 :2015 (2021)
- Métro de Singapour
- Industrie 4.0 : un nouveau site de référence
- Soutenir le don du sang
- Nouveaux collaborateurs : une intégration personnalisée
- Fédérer les équipes en télétravail, c’est possible !
- Satisfaction des clients
- Webinaires Techniques Internes
- Systerel, partenaire du CEA List
- 1er concours 2021 du CSE
- Index d’égalité professionnelle Femmes/Hommes
- Nouvel Intranet
- Mise en service d’une nouvelle section de la ligne Queens Boulevard Line du métro de New-York
- Don sur salaire 2020
- Concours Noël CSE
- Une année pétillante pour les collaborateurs de Systerel !
- Bonne année
- Extension L14 – Mairie de St Ouen
- Collecte de Noël
- La citrouille d’Halloween
- Systerel membre du nouveau Club Cyber OT du GIMELEC
- COVID-19 : continuité des activités
- Le blog Systerel !
- Systerel se mobilise pour la recherche !
- Performance RSE 2017
- Agrément EOQA
- Ada Europe
- Nouveaux locaux parisiens
- Systerel membre de la fondation OPC
- Systerel reconnue pour sa performance RSE
- Systerel lance son nouveau site Internet !
- Catégorie : Success Stories
- Catégorie : Sûreté de Fonctionnement
- Activités de second regard sur la ligne 14 du métro Parisien
- Vers l’avenir de la sûreté de fonctionnement des logiciels ferroviaires avec la norme CENELEC EN 50716
- Révision de la norme CENELEC EN 50128 : 2011
- Commission « normalisation et réglementation »
- « De la normalisation sectorielle à la reconnaissance mutuelle ? »
- Catégorie : Webinaires
Produits
Carrières
- Ingénieur Qualité Logiciel & Systèmes informatiques H/F (ING_QUALITE)
- Stage : Génération de distributions Linux embarquées H/F (STAGE_STR_Linux_ Embarqué)
- Ingénieur Développement Temps Réel H/F (STR_DEV)
- Stage : Automatisation de la qualification d’un banc de test H/F (STAGE_STR_ BANC_TEST)
- Ingénieur Validation Logiciel Temps Réel H/F (STR_VAL)
- Stage : Développement cryptographique H/F (STAGE_PDT_ECC)
- Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_ Solveur_SMT)
- Ingénieur développement Ada H/F (STR_ADA)
- Chef de Projet Systèmes Temps Réel H/F (STR_CDP)
- Stage : Interface graphique d’un simulateur ferroviaire : amélioration et interfaçage H/F (STAGE_PDT_IHM)
- Stage : Pilotage de preuve formelle distribuée H/F (STAGE_PDT_S3)
- Stage : Recherche de vulnérabilités Cyber par Fuzzing/IA H/F (STAGE_PDT_CYBER)
- Ingénieur méthodes formelles H/F (MOP_METH_FORM)
- Ingénieur Développement Logiciel Nucléaire H/F (APS_DEV_NUC)
- Stage : Logiciel temps réel embarqué H/F (STAGE_PDT_DEV_ EMBARQUE)
- Stage : Packaging logiciel H/F (STAGE_PDT_ PACKAGING)
- Ingénieur Développement Logiciel Sécuritaire H/F (APS_DEV)
- Ingénieur Intégration/Validation Logiciel Nucléaire H/F (APS_VAL_NUC)
- Stage : Preuve formelle d’un logiciel B H/F (STAGE_PDT_PREUVE)
- Ingénieur Intégration/Validation Logiciel/Système Sécuritaire H/F (APS_VAL)
- Stage : Développement en Java d'un éditeur avec le protocole LSP H/F (STAGE_MOP_LSP)
- Stage : Vérification, validation et évaluation de systèmes ferroviaires H/F (STAGE_SSE_EVAL)
- Chef de Projet Safety H/F (SSE_CDP)
- Stage : Réalisation d’études de sûreté de fonctionnement sur des systèmes ferroviaires H/F (STAGE_SSE_SDF)
- Ingénieur Safety H/F (SSE_ING)
- Ingénieur Evaluation H/F (SSE_CVS_ING)
- Stage : Déploiement d'une solution interne d'IA générative H/F (STAGE_DT_IA)
- Responsable Systèmes d’Information H/F (DT_RSI)
- Ingénieur Sécurité en Données Ferroviaires Junior H/F (SSE_SDF_ING)
- Responsable Business Development H/F (COM)