• Aucun résultat trouvé

Towards an experimental testbed for interoperability analysis of railways regulation policies : methodological experiments and first retex

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Towards an experimental testbed for interoperability analysis of railways regulation policies : methodological experiments and first retex"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

HAL Id: cea-01810077

https://hal-cea.archives-ouvertes.fr/cea-01810077

Submitted on 7 Jun 2018

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Towards an experimental testbed for interoperability

analysis of railways regulation policies : methodological

experiments and first retex

Agnes Lanusse, Alain Faivre

To cite this version:

Agnes Lanusse, Alain Faivre. Towards an experimental testbed for interoperability analysis of railways regulation policies : methodological experiments and first retex. 2015 International Conference on In-dustrial Engineering and Systems Management (IESM 2015), Oct 2015, Seville, Spain. �cea-01810077�

(2)

Railway track - IESM2015

Special talk

Towards an experimental testbed for interoperability analysis of railways

regulation policies : methodological experiments and first retex.

Agnès Lanusse, Alain Faivre

Safety and security are major issues for the generalization of ERTMS (European Rail Traffic Management System) in Europe. Many studies have been conducted in the past for the analysis and verification of the ETCS (European train Control System) principles underlying onboard equipment and track signaling systems. Fewer works have considered regulation issues and the analysis of interoperability of new European rules with national or local regulations.

The goal of the PERFECT project is to provide a test bed to study such issues, and help regulation authorities to analyze the impact of regulations changes in specific local policies, in the context of potential accident situations. This test bed can be considered as a laboratory to study actual scenarios and help suggest preventive actions or adapt local regulations.

The aim of Task2 is to provide guidelines and experimental tooling composed of a set of complementary evaluation tools to support such studies. In the session three presentations will illustrate experiments conducted in the project using different formalisms (UML/SysML, HPCN, B) and techniques (symbolic execution, model-checking, simulation, proof).

We present how these techniques can be combined and how they can assist expert engineers evaluate regulation policies in specific contexts.

8

Références

Télécharger maintenant ( PDF - 2 Page - 254.54 KB )

Documents relatifs

The first objective is to review the current status of the regulation of pharmaceuticals as well as pharmacy practice in the countries of the Region

WHO’s Regional Office for the Eastern Mediterranean has, for many years, attributed great importance to improving and maintaining the quality of drugs through the strengthening of

policies to the highest level of implementation

Looking at the key demand reduc- tion measures in the MPOWER and NCD tobacco control best buys, as in- dicated in the 2015 WHO Report on the Global Tobacco Epidemic (8), there

Blockchain Technology and Financial Regulation: A Risk-Based Approach to the Regulation of ICOs

738 Coming back to blockchain technologies, it might be worth investigating whether the 739 same principle of functional equivalence could be applied in the context of ICOs, with a

Regulation by Incentives, Regulation of the Incentives in Urban Policies

Direct and indirect financial incentives are well studied by public choices theorists in urban economics; non-financial incentives are considered in some forms of planning

Evaluating the impact of public policies on large firms: a synthetic control approach to science industry transfer policies

Comparisons between the SCM, the random trend model and traditional counterfactual evaluation methods, especially the double-difference method, and the fixed

The use of detention and alternatives to detention in the context of immigration policies - Luxembourg

NCPs are asked in particular to distinguish whether children can be detained who are (a) accompanied by parents and (b) unaccompanied. National legislation allows the placement

Geometry Database for the CBM experiment and its first application to the experiments of the NICA project

Thus, Geometry DB as an information system has to provide the following functionality: store the modules of CBM, load the geometry modules for setup construction, construct

The impact of local policies on the quality of packet routing in paths, trees, and rings

Indeed in S, each task i chooses the outgoing arc on which it will reduce its completion time, and by choosing the outgoing arc on its shortest path, i would have a completion