Search Results - "Mzid, Rania"

Real-time design patterns for the verification of safety-critical embedded systems in model-based approach by Mzid, Rania

“…The development of safety-critical real-time embedded systems (RTESs) is a difficult task. Indeed, in addition to functional requirements, these systems must…”
Get full text

A reinforcement learning-based approach for online optimal control of self-adaptive real-time systems by Haouari, Bakhta, Mzid, Rania, Mosbahi, Olfa

“…This paper deals with self-adaptive real-time embedded systems (RTES). A self-adaptive system can operate in different modes. Each mode encodes a set of…”
Get full text

A guidance framework for synthesis of multi-core reconfigurable real-time systems by Lakhdhar, Wafa, Mzid, Rania, Khalgui, Mohamed, Frey, Georg, Li, Zhiwu, Zhou, MengChu

“…Nowadays, multi-core architectures are being more and more used in the design of real-time systems. Those systems react usually to their environment that…”
Get full text

Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation by Lakhdhar, Wafa, Mzid, Rania, Khalgui, Mohamed, Li, Zhiwu, Frey, Georg, Al-Ahmari, Abdulrahman

“…This paper deals with the reconfigurable real-time systems that should be adapted to their environment under real-time constraints. The reconfiguration allows…”
Get full text

UML-based reconfigurable middleware for design-level timing verification in model-based approach by Mzid, Rania, Abid, Mohamed

“…Model-based approaches for the development of software intensive real-time embedded systems allow early verification of timing properties at the design phase…”
Get full text

A MDD Approach for RTOS Integration on Valid Real-Time Design Model by Mzid, R., Mraidha, C., Babau, J-P, Abid, M.

“…The transition from the design model to the implementation model is a critical phase in Real-Time Embedded Systems development process. Indeed, this model must…”
Get full text