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
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
|
|
Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFMICS 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
|
|
|
A graph based semantics for Logical Functional Diagrams in power plant controllersFoIKS 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
|
Chargement...
Chargement...