Julie BEUGIN
Publications
Publications
|
|
Formal Modeling and Verification of Advanced Railway Route Management with Moving BlocksInternational Conference on System Reliability and Safety 2025, Nov 2025, Turin, Italy |
|
|
A POMDP-based approach for obstacle avoidance in autonomous trains35th European Safety and Reliability (ESREL SRA-E 2025), University of Stavanger, Jun 2025, Stavanger, Norway. pp.3115-3122, ⟨10.3850/981-973-0000-00-0⟩ |
|
|
ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation ScenarioVerification and Evaluation of Computer and Communication Systems, Belgacem Ben Hedia; Mohamed Ghazel; Bruno Monsuez, Oct 2024, Djerba, Tunisia. ⟨10.1007/978-3-031-85356-2_12⟩ |
|
|
Une approche orientée risques pour la prise de décision dans les trains autonomes : Cas de la fonction anti-collisionCongrès Lambda Mu 24 « Les métiers du risque : clés de la réindustrialisation et de la transition écologique », Institut pour la Maîtrise des Risques (IMdR), Oct 2024, Bourges, France |
A Safety Assurance Methodology for Autonomous TrainsTRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 8p |
|
|
|
Argumentaire de sécurité graphique pour l'assurance de sécurité des trains autonomesCongrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France |
Quantitative Safety Requirements of the New Onboard Train Integrity Function4th SmartRaCon Workshop, Oct 2022, San Sebastian, Spain |
|
Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use CaseTRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Jun 2022, Balaclava, France. 5p |
|
A framework for risk-awareness and dynamic risk assessment for autonomous trainsESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p |
|
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3: The PERFORMINGRAIL ProjectESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p |
|
A Formal Modelling Framework for Moving Block Systems in the PERFORMINGRAIL projectRAILWAYS 2022, 5th International Conference on Railway Technology: Research, Development and Maintenance, Aug 2022, Montpellier, France. pp.5P |
|
Methodology Framework for Modelling ETCS-L3 Moving Block SystemTRA 2022, Transport Research Arena, Nov 2022, Lisbon, Portugal. 6p |
|
Towards a Specified Operational Design Domain for a Safe Remote Driving of TrainsESREL 2021, 31st European Safety And Reliability Conference, Sep 2021, Angers, France. 8p |
|
|
|
Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation FunctionCTS 2021, 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille (virtual), France. pp159-166, ⟨10.1016/j.ifacol.2021.06.049⟩ |
Extended method for safety target apportionment for the certification of satellite-based railway localization system2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain |
|
|
|
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSSCongrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France |
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSSLambda Mu 22, 22e Congrès de maîtrise des risques et de sûreté de fonctionnement. Les risques au coeur des transitions (e-congrès), Nov 2020, Virtuel, France. pp687-696 |
|
Towards a Model-Based Safety Assessment of Railway Operation Using GNSS LocalizationESREL 2020 PSAM 15, 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, Nov 2020, Venise, Italy. 8p |
|
|
|
Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défisLambda Mu 22 - Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2020, Le Havre (e-congrès), France. pp.312-320 |
Allocating imprecise safety targets in satellite-based localization systems used in railway signaling operations30th European Safety and Reliability Conference (ESREL 2020), Nov 2020, Venise, Italy. pp.913-920 |
|
Satellite positioning in the transport domain: applications and challengesData Science and Mobility Conference, Jan 2018, Lausanne, Switzerland. 18p |
|
EGNOS service evaluation in railway environment for safety-critical operationsTRA 2018, 7th Transport Research Arena, Apr 2018, Vienne, Austria. 10p |
|
|
|
COMPARAISON DE l'APPROCHE SECURITE MULTI-DOMAINECongrès Lambda Mu 21, « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France |
Pratiques partagées ou divergentes d'allocation de niveaux d'intégrité de sécurité dans le domaine ferroviaireLambda-Mu, 20ème Congrès de maîtrise des risques et de sûreté de fonctionneme, Oct 2016, Saint-Malo, France. 8p |
|
|
|
Safety integrity level allocation shared or divergent practices in the railway domainCongrès de l'International Railway Safety Council (IRSC 2016), Oct 2016, Paris, France. 10p |
|
|
Approach for evaluating the safety of a satellite-based train localisation system through the extended integrity conceptESREL 2015 - European safety and reliability conference, Sep 2015, Zürich, Switzerland. 8p |
Analytical approach for evaluating LTE communication errors in train control application1st IEEE ICCW 2015 Workshop on Dependable Vehicular Communications (DVC), Jun 2015, Londres, France. 6p, ⟨10.1109/ICCW.2015.7247535⟩ |
|
|
|
Harmonized methodology for Safety Integrity Level allocation in a generic TCMS applicationESREL 2015 - European safety and reliability conference, Sep 2015, Zürich, Switzerland. pp.3579-3587 |
GaLoROI. Satellite based localization in railwaysIC-ARE'15, International Congress on Advanced Railway Engineering, Mar 2015, Istanbul, Turkey. 8p |
|
Allocation rules of Safety Integrity Levels in a generic TCMS application10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, Sep 2014, Brunswick, Germany. pp.167-176 |
|
|
|
Causal Analysis Methodology of Multisensor Systems based on GNSSRailways 2014, The Second International Conference on Railway Technology: Research, Development and Maintenance, Apr 2014, France. 21p |
|
|
RAMS analysis of GNSS based localisation system for the train control applicationComManTel, 2nd International Conference on Computing, Management and Telecommunications, Apr 2014, France. 6p |
|
|
Modelling Communication Based Train control system for dependability analysis of the LTE Communication network in train control applicationEMS2014, European Modelling Symposium, Oct 2014, Pise, Italy. 6p |
|
|
Dependability evaluation of a GNSS and ECS based localisation unit for railway vehiclesITST 2013, 13th International Conference on ITS telecommunications, Nov 2013, Finland. 6p |
|
|
Contribution to a terminology related to dependability for the qualification of an on-board satellite-based system2th ICTIS conference, International Conference on Transportation Information and Safety, Jun 2013, Wuhan, China. p333-339 |
Sensitivity Assessment to Analyse Dependability of a Multisensor Localisation System based on GNSSITST 2013, 13th International Conference on ITS telecommunication, Nov 2013, Finland. 7p |
|
Propriétés de sûreté de fonctionnement d'un système embarqué de localisation par satellites dédié à la sécurité ferroviaire18th Lambda-Mu congress, Oct 2012, France. 9p |
|
|
|
A Dependability Analysis for Integrating a Satellite Positioning System in a Rail Freight ApplicationENC-GNSS 2008, European Navigation Conference, Apr 2008, Toulouse, France. 6p |
|
|
Contribution à l'évaluation de la sécurité des systèmes complexes de transport guidéAutomatique / Robotique. Université de Valenciennes et du Hainaut-Cambresis, 2006. Français. ⟨NNT : ⟩ |