Optimizing of Railway Maintenance Activities Using Fuzzy Logic: An Intelligent Approach for Improved Reliability.

Simon Collart Dutilleul

Sarra Mellouli Anis Mhalla Simon Collart Dutilleul Hassani Messaoud Optimizing of Railway Maintenance Activities Using Fuzzy Logic: An Intelligent Approach for Improved Reliability. 2026 21 Int. J. Comput. Commun. Control 1 https://doi.org/10.15837/ijccc.2026.1.7209 db/journals/ijccc/ijccc21.html#MellouliMDM26 streams/journals/ijccc

Maurice H. ter Beek Simon Collart Dutilleul Thierry Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings RSSRail Springer 2026 Lecture Notes in Computer Science 16236 978-3-032-10761-9 978-3-032-10762-6 https://doi.org/10.1007/978-3-032-10762-6 db/conf/rssrail/rssrail2025.html

Asfand Yar Akram Idani Yves Ledru Simon Collart Dutilleul Visual animation of B specifications using executable DSLs. 985-1007 2025 September 21 Innov. Syst. Softw. Eng. 3 https://doi.org/10.1007/s11334-025-00602-8 db/journals/isse/isse21.html#YarILD25 streams/journals/isse

Sarra Mellouli Anis Mhalla Simon Collart Dutilleul Hassani Messaoud Fuzzy Petri net for maintenance of railway transport networks. 1-6 2025 ICCAD https://doi.org/10.1109/ICCAD64771.2025.11099241 conf/iccad2/2025 db/conf/iccad2/iccad2025.html#MellouliMDM25 Asfand Yar Akram Idani Yves Ledru Simon Collart Dutilleul Bridging Formal Verification and Domain Validation in Railway Systems. 91-107 2025 RSSRail https://doi.org/10.1007/978-3-032-10762-6_9 conf/rssrail/2025 db/conf/rssrail/rssrail2025.html#YarILD25 streams/conf/rssrail Getachew Hagos Geleta Marion Berbineau Simon Collart Dutilleul Francesco Flammini CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling. 157-176 2025 RSSRail https://doi.org/10.1007/978-3-032-10762-6_13 conf/rssrail/2025 db/conf/rssrail/rssrail2025.html#GeletaBDF25 streams/conf/rssrail Simon Collart Dutilleul Samir Ouchani Nora Cuppens Frédéric Cuppens Risks and Security of Internet and Systems - 19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings CRiSIS Springer 2025 Lecture Notes in Computer Science 15456 978-3-031-89349-0 978-3-031-89350-6 https://doi.org/10.1007/978-3-031-89350-6 db/conf/crisis/crisis2024.html Rim Brahim Simon Collart Dutilleul Philippe Bon Pierre-Antoine Laharotte Nour-Eddin El Faouzi A Safety Kernel for Flexible Level Crossing Management. 419-433 2024 CRiSIS https://doi.org/10.1007/978-3-031-89350-6_26 conf/crisis/2024 db/conf/crisis/crisis2024.html#BrahimDBLF24 streams/conf/crisis Seddik Reguieg Simon Collart Dutilleul Philippe Bon A Multi Modal Ontology Integrating Pedestrian Safety in Pod Transfers. 455-471 2024 CRiSIS https://doi.org/10.1007/978-3-031-89350-6_29 conf/crisis/2024 db/conf/crisis/crisis2024.html#ReguiegDB24 streams/conf/crisis Sarra Mellouli Anis Mhalla Simon Collart Dutilleul Hassani Messaoud Maintenance dynamic scheduling for a Tunisian railway transport system. 1-8 2024 ICCAD https://doi.org/10.1109/ICCAD60883.2024.10553831 conf/iccad2/2024 db/conf/iccad2/iccad2024.html#MellouliMDM24 Asfand Yar Akram Idani Yves Ledru Simon Collart Dutilleul Amel Mammar Germán Vega An Iterative Formal Model-Driven Approach to Railway Systems Validation. 272-289 2024 ICECCS https://doi.org/10.1007/978-3-031-66456-4_15 conf/iceccs/2024 db/conf/iceccs/iceccs2024.html#YarILDMV24 streams/conf/iceccs Simon Collart Dutilleul Philippe Bon Régine Laleau Securing Automatic Small Railway Vehicles Using Automatic Train Protection. 159-173 2024 ISoLA (5) https://doi.org/10.1007/978-3-031-75390-9_11 conf/isola/2024-5 db/conf/isola/isola2024-5.html#DutilleulBL24 streams/conf/isola

Simon Collart Dutilleul Anne E. Haxthausen Thierry Lecomte Jim Woodcock 0001 Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. 1:1-1:2 2023 March 35 Formal Aspects Comput. 1 https://doi.org/10.1145/3578524 db/journals/fac/fac35.html#DutilleulHLW23

Rim Brahim Simon Collart Dutilleul Philippe Bon Pierre-Antoine Laharotte Nour-Eddin El Faouzi FERROMOBILE and Security for Low Moment of Traffic Level Crossing. 35-50 2023 CRiSIS https://doi.org/10.1007/978-3-031-61231-2_4 conf/crisis/2023 db/conf/crisis/crisis2023.html#BrahimDBLF23 Amine Hamidi Simon Collart Dutilleul Philippe Bon Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. 85-99 2023 CRiSIS https://doi.org/10.1007/978-3-031-61231-2_7 conf/crisis/2023 db/conf/crisis/crisis2023.html#HamidiDB23 Simon Collart Dutilleul Philippe Bon Amine Hamidi A railway norms application for small traffic railway lines autonomous vehicle. 1-6 2023 ICCAD https://doi.org/10.1109/ICCAD57653.2023.10152328 conf/iccad2/2023 db/conf/iccad2/iccad2023.html#DutilleulBH23 Racem Bougacha Régine Laleau Simon Collart Dutilleul Formal alignment of requirements models with high-level architecture models. 216-225 2023 ICECCS https://doi.org/10.1109/ICECCS59891.2023.00034 conf/iceccs/2023 db/conf/iceccs/iceccs2023.html#BougachaLD23 Birgit Milius Simon Collart Dutilleul Thierry Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings RSSRail Springer 2023 Lecture Notes in Computer Science 14198 978-3-031-43365-8 978-3-031-43366-5 https://doi.org/10.1007/978-3-031-43366-5 db/conf/rssrail/rssrail2023.html

Sebastien Martinez Simon Collart Dutilleul Philippe Bon Identifying Alterability States of a Single Track Railway Line Control System. 2022 September 17 Int. J. Comput. Commun. Control 5 https://doi.org/10.15837/ijccc.2022.5.4444 db/journals/ijccc/ijccc17.html#MartinezDB22

Racem Bougacha Régine Laleau Philippe Bon Simon Collart Dutilleul Rahma Ben Ayed Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. 153-168 2022 CRiSIS https://doi.org/10.1007/978-3-031-31108-6_12 conf/crisis/2022 db/conf/crisis/crisis2022.html#BougachaLBDA22 Hela Kadri Simon Collart Dutilleul Philippe Bon Rochdi Merzouki A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. 11548-11554 2022 ICRA https://doi.org/10.1109/ICRA46639.2022.9811549 conf/icra/2022 db/conf/icra/icra2022.html#KadriDBM22 Asfand Yar Akram Idani Yves Ledru Simon Collart Dutilleul Visual animation of B specifications using executable DSLs. 617-626 2022 MoDELS (Companion) https://doi.org/10.1145/3550356.3561585 conf/models/2022c db/conf/models/models2022c.html#YarILD22 Dalay Israel de Almeida Pereira Marcel Vinícius Medeiros Oliveira P. E. R. Bezerra Philippe Bon Simon Collart Dutilleul CSP specification and verification of relay-based railway interlocking systems. 97-106 2022 SAC https://doi.org/10.1145/3477314.3507060 conf/sac/2022 db/conf/sac/sac2022.html#PereiraOBBD22 Racem Bougacha Régine Laleau Simon Collart Dutilleul Rahma Ben Ayed Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. 256-273 2022 TASE https://doi.org/10.1007/978-3-031-10363-6_18 conf/tase/2022 db/conf/tase/tase2022.html#BougachaLDA22 Simon Collart Dutilleul Anne E. Haxthausen Thierry Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings RSSRail Springer 2022 Lecture Notes in Computer Science 13294 978-3-031-05813-4 978-3-031-05814-1 https://doi.org/10.1007/978-3-031-05814-1 db/conf/rssrail/rssrail2022.html

Nabil Jerbi Simon Collart Dutilleul Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops. 2021 16 Int. J. Comput. Commun. Control 3 https://doi.org/10.15837/ijccc.2021.3.4240 db/journals/ijccc/ijccc16.html#JerbiD21

Sana Debbech Simon Collart Dutilleul Philippe Bon An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design. 549-582 2020 26 J. Univers. Comput. Sci. 5 http://www.jucs.org/jucs_26_5/an_ontological_approach_to db/journals/jucs/jucs26.html#DebbechDB20

Asfand Yar Akram Idani Simon Collart Dutilleul Merging Railway Standard Notations in a Formal DSL-Based Framework. 411-419 2020 ECSA Companion https://doi.org/10.1007/978-3-030-59155-7_30 conf/ecsa/2020c db/conf/ecsa/ecsa2020c.html#YarID20 Simon Collart Dutilleul Philippe Bon A Modular Design Framework to Assess Intelligent Trains. 404-414 2020 ISoLA (3) https://doi.org/10.1007/978-3-030-61467-6_26 conf/isola/2020-3 db/conf/isola/isola2020-3.html#DutilleulB20

Kenza Kraibi Rahma Ben Ayed Simon Collart Dutilleul Philippe Bon Dorian Petit Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. 980-986 2019 14 J. Commun. 10 https://doi.org/10.12720/jcm.14.10.980-986 db/journals/jcm/jcm14.html#KraibiADBP19

Sana Debbech Philippe Bon Simon Collart Dutilleul Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. 257-267 2019 14 J. Comput. 4 https://doi.org/10.17706/jcp.14.4.257-267 db/journals/jcp/jcp14.html#DebbechBD19

Zakaryae Boudi Abderrahim Ait Wakrime Simon Collart Dutilleul Mohamed Haloua Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. 350-358 2019 ENASE https://doi.org/10.5220/0007725103500358 conf/enase/2019 db/conf/enase/enase2019.html#BoudiWDH19 Racem Bougacha Abderrahim Ait Wakrime Slim Kallel Rahma Ben Ayed Simon Collart Dutilleul A Model-based Approach for the Modeling and the Verification of Railway Signaling System. 367-376 2019 ENASE https://doi.org/10.5220/0007728403670376 conf/enase/2019 db/conf/enase/enase2019.html#BougachaWKAD19 Hela Kadri Simon Collart Dutilleul Philippe Bon Samir Ben Ahmed Formal Approach to Dynamic SoS Design. 377-384 2019 ENASE https://doi.org/10.5220/0007730903770384 conf/enase/2019 db/conf/enase/enase2019.html#KadriDBA19 Dalay Israel de Almeida Pereira Sana Debbech Matthieu Perin Philippe Bon Simon Collart Dutilleul Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. 338-351 2019 ER https://doi.org/10.1007/978-3-030-33223-5_28 conf/er/2019 db/conf/er/er2019.html#PereiraDPBD19 Kenza Kraibi Rahma Ben Ayed Joris Rehm Simon Collart Dutilleul Philippe Bon Dorian Petit Towards a Method for the Decomposition by Refinement in Event-B. 358-370 2019 FM Workshops (2) https://doi.org/10.1007/978-3-030-54997-8_23 conf/fm/2019-w2 db/conf/fm/fm2019w-2.html#KraibiARDBP19 Akram Idani Yves Ledru Abderrahim Ait Wakrime Rahma Ben Ayed Simon Collart Dutilleul Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. 93-109 2019 FMICS https://doi.org/10.1007/978-3-030-27008-7_6 conf/fmics/2019 db/conf/fmics/fmics2019.html#IdaniLWAD19 Kenza Kraibi Rahma Ben Ayed Joris Rehm Simon Collart Dutilleul Philippe Bon Dorian Petit Event-B Decomposition Analysis for Systems Behavior Modeling. 278-286 2019 ICSOFT https://doi.org/10.5220/0007929602780286 conf/icsoft/2019 db/conf/icsoft/icsoft2019.html#KraibiARDBP19 Sana Debbech Philippe Bon Simon Collart Dutilleul Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. 287-297 2019 ICSOFT https://doi.org/10.5220/0007932502870297 conf/icsoft/2019 db/conf/icsoft/icsoft2019.html#DebbechBD19 Simon Collart Dutilleul Thierry Lecomte Alexander B. Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings RSSRail Springer 2019 Lecture Notes in Computer Science 11495 978-3-030-18743-9 978-3-030-18744-6 https://doi.org/10.1007/978-3-030-18744-6 db/conf/rssrail/rssrail2019.html

Antoine Ferlin Siqi Qiu Philippe Bon Mohamed Sallak Simon Collart Dutilleul Walter Schön Zohra Cherfi-Boulanger An Automated Method for the Study of Human Reliability in Railway Supervision Systems. 3360-3375 2018 19 IEEE Trans. Intell. Transp. Syst. 10 https://doi.org/10.1109/TITS.2017.2779565 db/journals/tits/tits19.html#FerlinQBSDSC18

Hela Kadri Simon Collart Dutilleul Philippe Bon Samir Ben Ahmed A Formal Approach for Multi-occurrence Crisis Management. 641-648 2018 ICSOFT https://doi.org/10.5220/0006865606410648 conf/icsoft/2018 db/conf/icsoft/icsoft2018.html#KadriDBA18 Dalay Israel de Almeida Pereira Ouahmed Malki Philippe Bon Matthieu Perin Simon Collart Dutilleul An MDA Approach for the Specification of Relay-Based Diagrams. 17-29 2018 MEDI Workshops https://doi.org/10.1007/978-3-030-02852-7_2 conf/medi/2018w db/conf/medi/medi2018w.html#PereiraMBPD18 Zakaryae Boudi Abderrahim Ait Wakrime Simon Collart Dutilleul Mohamed Haloua Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. 50-62 2018 MEDI Workshops https://doi.org/10.1007/978-3-030-02852-7_5 conf/medi/2018w db/conf/medi/medi2018w.html#BoudiWDH18 Abderrahim Ait Wakrime Rahma Ben Ayed Simon Collart Dutilleul Yves Ledru Akram Idani Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. 321-330 2018 MEDI https://doi.org/10.1007/978-3-030-00856-7_21 conf/medi/2018 db/conf/medi/medi2018.html#WakrimeADLI18 Hela Kadri Samir Ben Ahmed Simon Collart Dutilleul Formal Approach to Control Design of Complex and Dynamical Systems. 2512-2516 2017 ICCS https://doi.org/10.1016/j.procs.2017.05.134 conf/iccS/2017 db/conf/iccS/iccS2017.html#KadriAD17 Hela Kadri Simon Collart Dutilleul Multi-objective optimization for path searching in a flow network with maintenance tasks. 1-6 2016 ICARCV https://doi.org/10.1109/ICARCV.2016.7838844 conf/icarcv/2016 db/conf/icarcv/icarcv2016.html#KadriD16

Pengfei Sun Philippe Bon Simon Collart Dutilleul A Joint Development of Coloured Petri Nets and the B Method in Critical Systems. 1654-1683 2015 21 J. Univers. Comput. Sci. 12 http://www.jucs.org/jucs_21_12/a_joint_development_of db/journals/jucs/jucs21.html#SunBD15

Rahma Ben Ayed Simon Collart Dutilleul Philippe Bon Yves Ledru Akram Idani Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. 495-521 2015 34 Tech. Sci. Informatiques 5 https://doi.org/10.3166/tsi.34.495-521 db/journals/tsi/tsi34.html#AyedDBLI15

Zakaryae Boudi El-Miloudi El-Koursi Simon Collart Dutilleul HCPN Modeling for ERTMS Requirements Specification. 271-272 2015 HASE https://doi.org/10.1109/HASE.2015.11 https://doi.ieeecomputersociety.org/10.1109/HASE.2015.11 conf/hase/2015 db/conf/hase/hase2015.html#BoudiED15 Pengfei Sun Simon Collart Dutilleul Philippe Bon A model pattern of railway interlocking system by Petri nets. 442-449 2015 MT-ITS https://doi.org/10.1109/MTITS.2015.7223292 conf/mtits/2015 db/conf/mtits/mtits2015.html#SunDB15

Anis Mhalla Simon Collart Dutilleul Etienne Craye Mohamed Benrejeb Estimation of failure probability of milk manufacturing unit by fuzzy fault tree analysis. 741-750 2014 26 J. Intell. Fuzzy Syst. 2 https://doi.org/10.3233/IFS-130764 db/journals/jifs/jifs26.html#MhallaDCB14

Rahma Ben Ayed Simon Collart Dutilleul Philippe Bon Akram Idani Yves Ledru B Formal Validation of ERTMS/ETCS Railway Operating Rules. 124-129 2014 ABZ https://doi.org/10.1007/978-3-662-43652-3_10 conf/asm/2014 db/conf/asm/abz2014.html#AyedDBIL14 Nesrine Darragi El-Miloudi El-Koursi Simon Collart Dutilleul From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. 162-169 2014 WODES https://doi.org/10.3182/20140514-3-FR-4046.00026 conf/wodes/2014 db/conf/wodes/wodes2014.html#DarragiED14

Anis Mhalla Nabil Jerbi Simon Collart Dutilleul Etienne Craye Mohamed Benrejeb Robust control strategies facing disturbances in manufacturing workshops with time constraints. 268-276 2013 65 Comput. Ind. Eng. 2 https://doi.org/10.1016/j.cie.2013.03.003 db/journals/candie/candie65.html#MhallaJDCB13

Philippe Bon Simon Collart Dutilleul From a Solution Model to a B Model for Verification of Safety Properties. 2-24 2013 19 J. Univers. Comput. Sci. 1 https://doi.org/10.3217/jucs-019-01-0002 db/journals/jucs/jucs19.html#BonD13

Yahong Zheng Khaled Mesghouni Simon Collart Dutilleul Condition Based Maintenance Applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem. 1405-1410 2013 MIM https://doi.org/10.3182/20130619-3-RU-3018.00566 conf/mim/2013 db/conf/mim/mim2013.html#ZhengMD13 Radhia Zaghdoud Simon Collart Dutilleul Khaled Ghédira Khaled Mesghouni Kamel Zidi A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal. 2460-2466 2013 SMC https://doi.org/10.1109/SMC.2013.420 conf/smc/2013 db/conf/smc/smc2013.html#ZaghdoudDGMZ13

Anis M'halla Nabil Jerbi Simon Collart Dutilleul Etienne Craye Mohamed Benrejeb Fuzzy Filtering of Sensors Signals in Manufacturing Systems with Time Constraints. 362-374 2010 5 Int. J. Comput. Commun. Control 3 https://doi.org/10.15837/ijccc.2010.3.2488 db/journals/ijccc/ijccc5.html#MhallaJDCB10

Nabil Jerbi Simon Collart Dutilleul Etienne Craye Mohamed Benrejeb Time Disturbances and Filtering of Sensors Signals in Tolerant Multi-product Job-shops with Time Constraints. 61-72 2006 1 Int. J. Comput. Commun. Control 4 https://doi.org/10.15837/ijccc.2006.4.2308 db/journals/ijccc/ijccc1.html#JerbiDCB06

Nabil Jerbi Simon Collart Dutilleul Etienne Craye Mohamed Benrejeb Robust control of multi-product job-shops in repetitive functioning mode. 4917-4922 2004 conf/smc/2004 SMC (5) https://doi.org/10.1109/ICSMC.2004.1401310 db/conf/smc/smc2004-5.html#NabilDCB04 Simon Collart Dutilleul Pascal Yim Time window specification and validation with Petri Nets. 232-237 2003 ETFA (1) https://doi.org/10.1109/ETFA.2003.1247711 conf/etfa/2003-1 db/conf/etfa/etfa2003-1.html#SimonP03 Simon Collart Dutilleul Jean-Paul Denat Integration of the chemist expertise in electroplating line automation. 1836-1841 1999 ECC https://doi.org/10.23919/ECC.1999.7099583 conf/eucc/1999 db/conf/eucc/eucc1999.html#DutilleulD99 Simon Collart Dutilleul Fatah Chetouane Human integration and participation in time constraint workshops with limiting transportation resources. 579-586 1998 conf/ifip5-3/1998basys BASYS db/conf/ifip5-3/basys1998.html#DutilleulC98 Simon Collart Dutilleul Jean-Paul Denat P-time Petri nets and the hoist scheduling problem. 558-563 1998 SMC https://doi.org/10.1109/ICSMC.1998.725471 conf/smc/1998 db/conf/smc/smc1998.html#DutilleulD98 Samir Ben Ahmed Rahma Ben Ayed Maurice H. ter Beek Mohamed Benrejeb Marion Berbineau P. E. R. Bezerra Philippe Bon Zakaryae Boudi Racem Bougacha Rim Brahim Zohra Cherfi-Boulanger Fatah Chetouane Etienne Craye Frédéric Cuppens Nora Cuppens Nesrine Darragi Sana Debbech Jean-Paul Denat El-Miloudi El-Koursi Nour-Eddin El Faouzi Antoine Ferlin Francesco Flammini Getachew Hagos Geleta Khaled Ghédira Mohamed Haloua Amine Hamidi Anne E. Haxthausen Akram Idani Nabil Jerbi Hela Kadri Slim Kallel Kenza Kraibi Pierre-Antoine Laharotte Régine Laleau Thierry Lecomte Yves Ledru Ouahmed Malki Amel Mammar Sebastien Martinez Sarra Mellouli Rochdi Merzouki Khaled Mesghouni Hassani Messaoud Anis MhallaAnis M'halla Birgit Milius Marcel OliveiraMarcel Vinícius Medeiros Oliveira Samir Ouchani Dalay Israel de Almeida Pereira Matthieu Perin Dorian Petit Siqi Qiu Seddik Reguieg Joris Rehm Alexander B. Romanovsky Mohamed Sallak Walter Schön Pengfei Sun Germán Vega Abderrahim Ait Wakrime Jim Woodcock 0001 Asfand Yar Pascal Yim Radhia Zaghdoud Yahong Zheng Kamel Zidi