Accueil Actualités

Actualités

JUIN 2018

OPC Day Europe 2018

OPC Day Europe le 21 juin à Munich, Systerel y sera ! Cet événement qui réunit les experts OPC-UA est l’occasion d’échanger sur les dernières évolutions du standard OPC-UA.

JUIN 2018

Workshop « Sound Static Analysis for Security »

Systerel interviendra les 27 et 28 juin prochains lors du workshop « Sound Static Analysis for Security » au NIST (National Institute of Standards and Technology) dans le Maryland (USA).

MAI 2018

Ada Europe 2018

Systerel est, encore une fois, partenaire de la 23ème conférence Ada Europe : « International Conference on Reliable Software Technologies » qui se tiendra à Lisbonne du 18 au 22 juin prochains.

avril 2018

Conférence internationale ABZ 2018

Systerel, acteur de référence depuis plus de 15 ans dans la mise en œuvre industrielle des techniques formelles, participera à la 6ème Conférence internationale ABZ à Southampton (UK) du 5 au 8 juin.

Mars 2018

Révision de la norme CENELEC EN 50128 : 2011

Depuis son lancement, Systerel contribue activement, au sein du groupe de travail du comité SC 9XA, à la révision de la version actuelle de la norme EN50128.

Février 2018

Journées cyber-sécurité ISA France

Systerel a participé au dernier séminaire ISA-France (International Society of Automation) les 30 et 31 janvier derniers à Grenoble.
L’intervention de Systerel a permis d’exposer la problématique safety/security dans le cadre de l’IIOT à travers la présentation de sa solution Safe & Secure OPC, implémentation libre et sécurisée du protocole OPC-UA.

Carrières

Janvier 2018

Systerel recrute !

Dans le cadre de notre croissance, nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et les structures réactives et humaines.

Société

décembre 2017

Performance RSE 2017

Systerel se place encore cette année parmi les entreprises les mieux notées par EcoVadis sur l’évaluation de sa performance RSE (Responsabilité Sociétale des Entreprises).

Méthodes Formelles, Salons - Conférences

octobre 2017

RSSR (Reliability, Safety and Security of Railway Systems)

Systerel participera à la conférence RSSR à Pistoia (Italie) du 13 au 16 novembre prochains.
Systerel interviendra ainsi en amont de la conférence à travers un tutoriel sur les activités liées à la construction, l’utilisation et la certification d’une solution de vérification formelle de la sécurité d’un système d’enclenchement ferroviaire.

Méthodes Formelles, Salons - Conférences

septembre 2017

Véhicules autonomes et méthodes formelles

Systerel, membre du comité de programme FMF, vous informe que la prochaine conférence aura lieu le 10 octobre prochain sur le thème « véhicules autonomes et méthodes formelles ».

Société, Sûreté de Fonctionnement

août 2017

Agrément EOQA

Systerel a obtenu en juillet 2017 le renouvellement de son agrément ministériel EOQA.

Société

Juin 2017

Ada Europe

En tant qu’expert Ada, Systerel est membre de l’organisation et partenaire de la conférence annuelle.

Méthodes Formelles, Salons - Conférences

avril 2017

SC2 “Satisfiability Checking and Symbolic Computation”

Systerel est associée à l’action de soutien et de coordination SC2 “Satisfiability Checking and Symbolic Computation”.

Salons - Conférences

Février 2017

Embedded World

Systerel participera au salon Embedded World à Nuremberg du 14 au 16 mars.

Société

février 2017

Nouveaux locaux parisiens

Afin d’accompagner sa croissance en Île de France, Systerel emménage dans de nouveaux locaux significativement plus spacieux et entièrement rénovés.

Carrières

janvier 2017

Systerel recrute !

Systerel recrute des ingénieurs validation système et des ingénieurs sûreté de fonctionnement.

Sûreté de Fonctionnement

Février 2017

Commission « normalisation et réglementation »

Systerel fait partie de la commission « normalisation et réglementation » de l’IMdR (Institut pour la Maîtrise des Risques).

Méthodes Formelles, Salons - Conférences

novembre 2016

Séminaire à Shonan

Systerel est invitée à un séminaire de recherche au Japon sur la thématique du projet IMPEX : Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.

Méthodes Formelles, Salons - Conférences

novembre 2016

Event-B Day

Systerel a participé à la journée Event-B organisée par le NII (National Institute of Informatics) le 21 novembre à Tokyo.

Méthodes Formelles, Salons - Conférences

novembre 2016

High Integrity Software 2016

Systerel a présenté son retour d’expérience de plus de 20 ans sur l’utilisation des méthodes formelles dans les logiciels critiques ferroviaires.

Méthodes Formelles, Salons - Conférences

octobre 2016

Séminaire Dagstuhl : universalité des preuves

Systerel a participé du 16 au 21 octobre au séminaire Dagstuhl sur le thème de « l’universalité des preuves ».

Méthodes Formelles, Salons - Conférences

septembre 2016

International Workshop FMICS-AVoCS

Systerel participe au workshop commun FMICS et AVoCS du 26 au 28 septembre à Pise.
FMICS : Formal Methods for Industrial Critical Systems
AVoCS : Automated Verification of Critical Systems

Salons - Conférences

septembre 2016

Innotrans

Systerel a participé au salon InnoTrans à Berlin du 20 au 23 septembre.

Salons - Conférences

juin 2016

Conférence internationale RSSR

Systerel a participé à la conférence RSSR à la maison de la RATP du 28 au 30 juin.
La solution de vérification formelle Systerel Smart Solver a été présentée : description, apports et applications de cet outil éprouvé industriellement dans le cadre de vérification de sécurité de systèmes ferroviaires.