Nous sommes heureux d’annoncer que la dernière version du solveur de données CLEARSY (CLEARSY DATA SOLVER) a renouvelé avec succès sa certification T2 for SIL4 par Certifer !
Conçu pour les systèmes ferroviaires critiques en termes de sécurité, le solveur de données CLEARSY permet la validation formelle des données topologiques et des paramètres de configuration dans des projets complexes tels que les pilotages automatiques de train (CBTC et ERTMS).
Cette nouvelle version introduit des améliorations majeures qui améliorent à la fois les performances et la convivialité, renforçant ainsi notre engagement en faveur d’une validation robuste et fiable des données dans les secteurs du ferroviaire et du transport.
Les nouveautés :
- Performances accrues pour l’évaluation de règles complexes
Nous avons mis en œuvre des mécanismes de calcul parallèles et réutilisables, accélérant considérablement le traitement des règles – en particulier pour les gros volumes de données et la logique complexe.
- Affichage multilingue des non-conformités
Les non-conformités peuvent désormais être affichées en plusieurs langues. Parfait pour les projets internationaux et les équipes diverses.
- Amélioration de la validation des données ETCS
De nouveaux modules ETCS intégrés facilitent la validation des télégrammes de Balises ETCS et d’autres formats de données critiques utilisés dans les systèmes ferroviaires.
Cette mise à jour renforce notre engagement à fournir des outils certifiés, adaptables et performants pour la validation formelle des données dans les systèmes ferroviaires et les systèmes critiques pour la sécurité.