SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions

Autor: Sébastien Martinez, Christophe Gransart, Olivier Stienne, Virginie Deniau, Philippe Bon

Publikováno v: Journal of Universal Computer Science, Vol 28, Iss 1, Pp 27-53 (2022)

Because stopping a service to apply updates raises issues, Dynamic Software Updating studies the application of updates on programs without disrupting the services they provide. This is acheived using specific mechanisms operating updating tasks such

Externí odkaz: https://doaj.org/article/6f035364d5904f9395cc3bbab4589275

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications

Autor: Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart-Dutilleul, Rahma Ben Ayed

Publikováno v: Lecture Notes in Computer Science ISBN: 9783031311079

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f0062dc25e90a52c8b44419ac61b7778
https://doi.org/10.1007/978-3-031-31108-6_12

Identifying Alterability States of a Single Track Railway Line Control System

Autor: Sebastien Martinez, Simon Collart-Dutilleul, Philippe Bon

Publikováno v: INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL. 17

In the context of automation and deployment of computer based control systems, a specific application on French railway line is proposed on low traffic single track railway lines. The issue of updates requires thorough consideration. In the case of l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4c5280d695d307f770c90cd958bc86a4
https://doi.org/10.15837/ijccc.2022.5.4444

Correction to: Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

Autor: Simon Collart-Dutilleul, Philippe Bon, Hela Kadri

Publikováno v: Operating Rules and Interoperability in Trans-National High-Speed Rail ISBN: 9783030720018
Operating Rules and Interoperability in Trans-National High-Speed Rail

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2bff2b00155d6b327d09983370c8f569
https://doi.org/10.1007/978-3-030-72003-2_10

Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

Autor: Philippe Bon, Hela Kadri, Simon Collart-Dutilleul

Publikováno v: Operating Rules and Interoperability in Trans-National High-Speed Rail ISBN: 9783030720018

This chapter deals with operating mode management of European railway systems, and this contribution is based on Supervisory Control Theory (SCT). The studied system contains several trains, and each one presents several operating modes varying by co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::21306f9526d938592d534853e2889577
https://doi.org/10.1007/978-3-030-72003-2_8