Chemin clair pour le trafic ferroviaire sûr par l'Europe

De Berlin vers Budapest, de Prague vers Paris ? pour voyager sans risque, économiquement et économiquement par chemin de fer par l'Europe, le signal uniforme et les solutions témoin de train sont nécessaires. Par suite de l'histoire, ceux-ci varient toujours d'un pays à l'autre aujourd'hui. ? Système de contrôle européen de train ? (ETCS) est prévu pour établir une plus grande uniformité. Un total de 44 associés européens travaillent pour mettre en application ceci dans les trains d'une façon rentable, fiable et surtout d'opensource As ? openETCS ?. Madame

Le train réunit l'Europe plus étroite. Néanmoins, le système de contrôle de rail de différents pays diffèrent toujours les uns des autres ; par exemple, les conducteurs de train n'emploient pas les signaux ou les procédures standard normalisés quand un signal fonctionne mal. En outre, systèmes de contrôle de train ? comme l'arrêt automatique pour une violation de signal ? fonctionnez différemment d'un pays à l'autre. Tandis qu'il y a en fait des spécifications européennes standard sous forme ETCS, il y a également beaucoup de caractéristiques nationales. Techniquement l'intégration de la norme à toutes ces exceptions sur les trains a été longue et, surtout, chère. D'ailleurs, aucun fabricant ne peut offrir ETCS l'unité à bord aujourd'hui qui est entièrement approuvée pour tous les itinéraires affectés en Europe. Par conséquent, Deutsche Bahn, le service ferroviaire allemand, favorise ? openETCS ? , un programme de logiciel libre qui est d'être librement accessible, fabricant-indépendant et sensiblement meilleur marché.

Le but de Dr. Klaus-Rüdiger Hase, chef de projet d'openETCS au DB, est « d'équiper tous les nouveaux trains, aussi loin que possible, du logiciel ouvert à l'avenir. À partir de 2017, les véhicules voyageront pour ce que le logiciel de fonction ETCS a été autorisé conformément au permis public d'Union européenne (EUPL). L'EUPL édité par la Commission d'UE prend en considération des issues de loi de responsabilité du fait des produits d'UE aussi bien que copyright en Europe. En conséquence, nous nous attendons plus de concurrence, de soutien plus rentable de et à d'utilisation à long terme du logiciel, aussi bien que des cycles plus rapides d'innovation. »

Certification sûre et simple

Puisqu'ETCS est un système sûreté-critique, il doit complètement certifier. L'institut de Fraunhofer pour les systèmes de communication ouverts FOKUS à Berlin travaille pour documenter formellement l'exécution de l'openETCS. Dans le processus, les chercheurs se tourneront vers Frama C, un outil d'analyse de logiciel fait par la LISTE du CEA française d'institut d'associé, en tant que leur ressource primaire. De cette façon, le code source peut être mathématiquement vérifiée ce qui garantit très un niveau important de fiabilité. D'ailleurs, si le logiciel est développé plus loin, non tous les composants de la nouvelle version devront être vérifiés encore. Ceci réduit le coût et la complexité pour la mise à jour.

Selon Jens Gerlach, le chef de projet chez Fraunhofer FOKUS, le plus grand défi doit « définir formellement les conditions sans cérémonie ETCS dans des opérations ferroviaires en ce qui concerne le logiciel. » Ce projet fonctionnera jusqu'à la fin de 2015. Chez InnoTrans à Berlin (Hall 23B, stand 206), les scientifiques présenteront leurs résultats actuels et les possibilités de certification.