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, sécurisée et certifiée du standard OPC UA
-
Systerel Smart Solver
Vérification formelle automatique de systèmes ou logiciels développés dans vos langages métiers spécifiques
-
OVADO²®
Validation formelle automatisée de données de configuration
-
BLAST
Automatisation de l’implantation de balises ferroviaires
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Tasking et rendez-vous en Ada
En Ada, la programmation concurrente ne se résume pas qu'à lancer des tâches.
Le langage Ada propose un modèle de tasking où les tâches peuvent se synchroniser et communiquer efficacement et de façon contrôlée grâce aux mécanismes rendez-vous et ses différents raffinements.
Mise en service du tramway T6 Lyon
Le prolongement du tramway T6 est désormais mis en service !
Dans ce projet structurant pour la Métropole de Lyon, Systerel est intervenue au côté d'Equans Ineo UTS sur les travaux d’extension de la ligne au niveau des stations de Villeurbanne et du campus de la Doua.
Systerel présente S2OPC à IDEO #7
À l’occasion d’IDEO #7, organisé par Systematic Paris-Région, Systerel a présenté S2OPC, sa solution OPC UA open-source.
