Aziz SFAR

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

Image document

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-04214807 v1
Image document

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-03822964 v1