Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement
Produits
-
Safe & Secure OPC
Implémentation libre et sécurisée du protocole OPC UA
-
Systerel Smart Solver
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
-
OVADO 2
Validation formelle automatisée de données de configuration
-
Systerel IXL Builder
Conception d’automatismes formellement prouvée + génération automatique du code cible
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Top départ pour le Challenge Ma Petite Planète !
Pour la 2e année consécutive, les équipes de Systerel vont relever le Challenge Ma Petite Planète !
Au programme : des actions écologiques à réaliser parmi 15 thématiques variées, comme la biodiversité, le recyclage des déchets, la solidarité, la mobilité…
Article : Ada2012 associé au langage Lua
Dans cet article, nous nous penchons sur un cas pratique pour lequel nous avons décidé d’associer Ada2012 au langage de script Lua.
En effet, bien que le langage Ada présente de nombreux avantages, il peut parfois s’avérer mal adapté à un problème donné. De son côté, grâce à son API C riche et à l’efficacité de son implémentation, le langage Lua peut être facilement embarqué au sein d’autres langages.
Systerel s’engage pour un numérique responsable en signant le manifeste Planet Tech’Care
Planet Tech’Care est une initiative pilotée par Numeum, qui a pour ambition d’accompagner les entreprises qui souhaitent intégrer le numérique dans leur stratégie environnementale.
Elle permet, entre autre, d’accéder à un programme d’accompagnement composé de plusieurs ateliers conçus par des experts du numérique et de l’environnement.
