Samir Ben Ahmed

Learn 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)
In an increasingly competitive international context, companies constantly need to adapt and optimize their industrial tools to increase their productivity by implementing a quality-management system (QMS). Aiming to permanently improve the effectiveness and efficiency performance of organizations, a QMS can be measured against International Standards(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)
Designing real-time system is hard and costly. Real-time application designer must care about functional design and real-time constraints. Aspect Oriented Programming (AOP) allows the separation of the functional mechanisms from the non-functional ones. The separation of concerns (SoC) in AOP enhances the productivity and reduces the applications cost. In(More)