-
Analyse spatiale et temporelle des transferts sédimentaires dans les hydrosys...
The quantification and characterisation of hydrological and sedimentary transfers are now major challenges, not only in terms of knowledge of hydrosystems way of... -
A Formal Framework for the Formalization of Informal Requirements
Systems’ requirements are usually written in a natural language since it generally means a greater understanding among the various stakeholders. However, using an... -
A DBMS Framework for Diagnosability Analysis of Discrete Event Systems
During the last decades, various techniques have been developed to deal with diagnosis issues on Discrete Event Systems (DES). These techniques, even if they have... -
Adding Technological Solutions for Safety Improvement at Level Crossings: a F...
The work discussed in the present paper is part of the PANsafer project, whose purpose is to improve safety at level crossings. This project integrates several... -
From a Solution Model to a B Model for Verification of Safety Properties
In the context of safety requirement engineering, model transformation is a task of interest. Indeed, it allows us to keep all the requirements while switching from... -
Single European Sky and Single European Railway Area: A System Level Analysis...
Air and rail transportation systems are characterized by important common features: they serve a significant share of passenger traffic in Europe; their functioning... -
Évaluation à la Volée de la Diagnosticabilité des Systèmes à Événements Discr...
Cet article s’intéresse à la diagnosticabilité des systèmes à événements discrets temporisés. Le formalisme de modélisation utilisé est le réseau de Petri T-temporel... -
Active Robustness of a Milk Manufacturing Workshop with Time Constraints
This paper deals with the active robustness of a milk manufacturing workshop including time interval constraints. Such systems have robustness properties towards time... -
Causal Analysis Methodology of Multisensor Systems based on GNSS
For railway positioning solutions based on GNSS (Global Navigation Satellite Systems) like the GPS (Global Positioning System) or the future Galileo, a generic model... -
Study of the implementation of ERTMS with respect to French national ― "non o...
L’interopérabilité est un paramètre clef pour la compétitivité des systèmes ferroviaires européens. Elle est la condition à l’ouverture de nouveaux marchés et à la...
