Samir Ben Ahmed

Learn More
In this paper we introduce a aspect oriented modeling based-approach to build real-time application, which consists of transforming standard application into real-time ones at design time. This is performed by weaving real-time constraints, such as timing, scheduling, synchronization and architecture deployment into the standard application. We introduce a(More)
This paper deals with the problem of scheduling the mixed workload of both homogeneous multiprocessor on-line and off-line periodic tasks in a critical reconfigurable real-time environment by a genetic algorithm. Two forms of automatic reconfigurations which are assumed to be applied at run-time: Addition-Removal of tasks or just modifications of their(More)
Several real-time embedded system must be dynamically reconfigured to account for hardware/software faults and/or maintain acceptable performances. Depending on the run-time environment, some reconfigurations might be unfeasible, i.e., they violate some real-time constraints of the system. In this paper, we deal with the development of dynamically(More)
In this paper, a multi-agent approach modeled by the UML (Unified Modeling Language) is used to solve the piloting problem of Quality Management System QMS. Indeed, this multi-agent modeling of QMS proposes the use a micro framework via a dynamic diagram and macro through a static diagram for the agents development. From this modeling, an information system(More)
This paper proposes an approach respectively Multi-Choice Goal Programming (MCGP) that integrated Analytical Hierarchy Process (AHP) for piloting a Quality Management System (QMS) designed for a real study case. This approach is used to determine the best solution verifies simultaneously the multi-objective functions and satisfying the different constraints(More)
The paper presents a specification technique borrowing features from two classes of specification methods, formal and semi-formal ones. Each of the above methods have been proved to be useful in the development of real-time and critical systems and widely reported in different papers [1], [2]. Formal methods are based on mathematical notations and axiomatic(More)
This research work deals with Reconfigurable Uniprocessor embedded Real-Time Systems to be classically implemented by different OS tasks that we suppose independent, synchronous and periodic in order to meet functional and temporal properties described in user requirements. We define in the book chapter two forms of automatic reconfigurations which are(More)