Fadoi Lakhal

Learn More
This paper presents a model-based methodology for requirements expression, traceability and verification. The methodology relies on the EAST-ADL2 framework and two of the UML2 profiles: MARTE for real-time embedded systems and SysML for system requirements modelling. The methodology defines the different models used at each abstraction level of the process.(More)
The abstract syntax of a modeling language evolves all along the life-cycle of this language with its successive versions and these evolutions can have important repercussions on the models described in this language. We study the evolutions of the abstract syntax when this syntax is defined by a UML profile. More particularly, we are interested in the UML(More)
  • 1