Aziz SFAR

PhD Student on "Test scenarios generation for I&C systems: an application for EDF N4 Nuclear Power Plants"
2
Documents
Affiliations actuelles
  • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)
  • EDF R&D (EDF R&D)
  • Université de Montpellier (UM)
Identifiants chercheurs
Contact

Présentation

Hi, I am a PhD student at the university of Montpellier. I'm working on an industrial project held by EDF R&D that aims to automatically generate tests for I&C systems using their functional specifications. These tests will be used for the validation process during the ten-year visits of the nuclear reactors. My contribution in the project consists in providing and implementing formal methods to generate test scenarios from specifications given in the form of Logical Diagrams and for some given functional test purposes. This would help replace the time-consuming and error-prone manual test generation procedure already in place.


Compétences

Software development System engineering

Publications

Publications

Deposit thumbnail

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

Aziz Sfar , David Carral , Dina Irofti , Madalina Croitoru

FMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩

Communication dans un congrès lirmm-04214807v1
Deposit thumbnail

A graph based semantics for Logical Functional Diagrams in power plant controllers

Mohamed Aziz Sfar Gandoura , Dina Irofti , Madalina Croitoru

FoIKS 2022 - 12th International Symposium on Foundations of Information and Knowledge Systems, Jun 2022, Helsinki, Finland. pp.55-74, ⟨10.1007/978-3-031-11321-5_4⟩

Communication dans un congrès lirmm-03822964v1