Nos partenaires



Accueil du site > Français > Archives > Equipe MACAO > Evénements

Soutenance de Manzoor Ahmad (salle du Conseil à l’IUT de Blagnac, Université Toulouse 2 Le Mirail) - 7 Octobre 2013 - 14h00

Modeling and Verification of Functional and Non Functional Requirements of Ambient, Self-Adaptive Systems

Composition du jury :

- Jean-Michel BRUEL, Professor, University of Toulouse, France (Supervisor)
- Nicolas BELLOIR, Maître de Conférences, UPPA Pau, France (Co-Supervisor)
- Charles CONSEL, Professor, University of Bordeaux , France (Examiner)
- João ARAÚJO, Assistant Professor, Universidade Nova de Lisboa, Portugal (Examiner)
- Pierre-Jean CHARREL, Professor, University of Toulouse, France (Member)
- Régine LALEAU, Professor, Université Paris-Est Créteil, France (Member)

Résumé :

Due to the continuous growth in size, complexity, heterogeneity and the inherent uncertainty of systems, it becomes increasingly necessary for computing based systems to dynamically self adapt to changing environmental conditions, these systems are called Self Adaptive Systems (SAS). These systems modify their behavior at run-time in response to changing environmental conditions. In order to take into account the changing environmental factors, Requirements Engineering languages must deal with the inherent uncertainty present in these systems, which we can capture during the early phases of its development life cycle. For SAS, Non Functional Requirements (NFRs) play an important role, and one has to identify as early as possible those NFRs that are adaptable. The overall contribution of this thesis is to propose an integrated approach for modeling and verifying the requirements of SAS using Model Driven Engineering (MDE) techniques. MDE is primarily concerned with reducing the gap between problem and software implementation domains through the use of technologies that support systematic transformation of problem level abstractions to software implementations. By using these techniques, we have bridged this gap through the use of models that describe complex systems at multiple levels of abstraction and through automated support for transforming and analyzing these models. We take requirements as input and divide it into Functional Requirements and NFRs. We then use a process to identify those requirements that are adaptable and those that cannot be changed. We then introduce the concepts of Goal Oriented Requirements Engineering for modeling the requirements of SAS, where NFRs are expressed in the form of goals which is much more rich and complete in defining relations between requirements. We have identified some problems in the conventional methods of requirements modeling and properties verification using existing techniques, which do not take into account the adaptability features associated with SAS !

Our proposed approach takes into account these adaptable requirements and we provide various tools and processes that we developed for the requirements modeling and verification of these systems. We validate our proposed approach by applying it on two different case studies in the domain of SAS.

Mots-clés :

Software Engineering, Requirements Engineering, Model Driven Engineering, Self Adaptive Systems, Ambient Systems, RELAX, RELAX-ed Requirements, Non Functional Requirements Modeling, Properties Verification

Principales publications :

Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror. UML/SysML semantic tunings. Innovations in Systems and Software Engineering, Springer - NASA Journal on Innovations in Systems and Software Engineering, Vol. 7 N. 4, p. 257-264, novembre 2011

El Arbi Aboussoror, Ileana Ober, and Iulian Ober. Seeing Errors : Model Driven Simulation Trace Visualization. MODELS, volume 7590 of Lecture Notes in Computer Science, pages 480–496. Springer, 2012.

El Arbi Aboussoror, Ileana Ober, and Iulian Ober. Significantly Increasing the Usability of Model Analysis Tools Through Visual Feedback. SDL 2013 -Model Driven Dependability Engineering, LNCS. Springer-Verlag, June 2013.