Mohamed Khalgui

Mohamed Khalgui is a researcher at Xidian University in China. He was a full-time researcher in computer science at Martin Luther University in Germany, a part-time researcher at ITIA-CNR Institute in Italy, a collaborator with SEG Research Group in Greece, and a temporary lecturer at Henri Poincaré University in France. Dr. Khalgui obtained the Bachelor degree in Computer Science at Tunis University in 2001. The master degree was obtained in telecommunication and services at Henri Poincaré University in 2003. He made research activities in computer science at INRIA Institute to obtain the PhD at the French Polytechnical Institute of Lorraine in 2007. Dr. Khalgui activates in several European Projects and also in other interesting international collaborations. He’s currently the Head of ICTICA.

Publications

Embedded Computing Systems: Applications, Optimization, and Advanced Design
Embedded Computing Systems: Applications, Optimization, and Advanced Design
Mohamed Khalgui, Olfa Mosbahi, Antonio Valentini. © 2013. 356 pages.
Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for...
Reconfiguration of Synchronous Real-Time Operating System
Reconfiguration of Synchronous Real-Time Operating System
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed. © 2013. 19 pages.
Real-time scheduling is the theoretical basis of real-time systems engineering. Earliest Deadline first (EDF) is an optimal scheduling algorithm for uniprocessor real-time...
Feasible Dynamic Reconfigurations of Petri Nets
Feasible Dynamic Reconfigurations of Petri Nets
Jia Feng Zhang, Olfa Mosbahi, Mohamed Khalgui, Atef Gharbi. © 2013. 21 pages.
Reconfigurable systems have received much attention from academia and industry because they are efficient, agile, and reasonably priced, and they are the trend of all future...
A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems
A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems
Amen Ben Hadj Ali, Mohamed Khalgui, Samir Ben Ahmed, Antonio Valentini. © 2013. 17 pages.
The chapter deals with UML-based design of Reconfigurable Embedded Control Systems (RECS). The different software architectural configurations of the control system are described...
Development of Automated Systems using Proved B Patterns
Development of Automated Systems using Proved B Patterns
Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li. © 2013. 15 pages.
This chapter proposes an approach for reusing specification patterns for the development of automated systems composed of two components: the controller and the controlled parts....
Safety Reconfiguration of Embedded Control Systems
Safety Reconfiguration of Embedded Control Systems
Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Antonio Valentini. © 2013. 27 pages.
The authors study the safety reconfiguration of embedded control systems following component-based approaches from the functional level to the operational level. At the...
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times
Hamza Gharsellaoui, Atef Gharbi, Olfa Mosbahi, Mohamed Khalgui, Antonio Valentini. © 2013. 39 pages.
This chapter deals with Reconfigurable Uniprocessor embedded Real-Time Systems to be classically implemented by different OS tasks that we suppose independent, asynchronous, and...
UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems
UML-Based Design and Validation of Intelligent Agents-Based Reconfigurable Embedded Control Systems
Amen Ben Hadj Ali, Mohamed Khalgui, Samir Ben Ahmed. © 2012. 22 pages.
The paper examines UML-based design and validation of reconfigurable embedded control systems which can have multiple software architectural configurations such that each one is...
Functional Safety of Distributed Embedded Control Systems
Functional Safety of Distributed Embedded Control Systems
Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed. © 2012. 39 pages.
This chapter deals with the functional safety of distributed embedded control systems following the component-based approach. The authors define a new concept of components...
Feasible Automatic Reconfigurations of Real-Time OS Tasks
Feasible Automatic Reconfigurations of Real-Time OS Tasks
Hamza Gharsellaoui, Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed. © 2012. 25 pages.
This research deals with reconfigurable uniprocessor embedded real-time systems to be implemented by different OS tasks that should be independent, synchronous, and periodic, and...
An Automated Approach for Adaptive Control Systems
An Automated Approach for Adaptive Control Systems
Mohamed Khalgui, Olfa Mosbahi, Emanuele Carpanzano, Anna Valente. © 2012. 14 pages.
The paper deals with adaptive manufacturing systems to be composed of various machines for optimal productions of jobs. The authors assume three types of constraints to be...
New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm
New Optimal Preemptively Scheduling for Real-Time Reconfigurable Sporadic Tasks Based on Earliest Deadline First Algorithm
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed. © 2012. 17 pages.
This paper examines the problem of scheduling the mixed workload of both sporadic (on-line) and periodic (off-line) tasks on uniprocessor in a hard real-time environment. The...
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time
New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous Operating System Tasks with Minimizations of Response Time
Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed. © 2012. 44 pages.
Scheduling tasks is an essential requirement in most real-time and embedded systems, but leads to unwanted central processing unit (CPU) overheads. The authors present a...
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Mohamed Khalgui, Hans-Michael Hanisch. © 2011. 652 pages.
New generations of embedded control systems address criteria such as flexibility and agility. To reduce their cost, these systems have to be changed and adapted to their...
Multi-Agent Reconfigurable Embedded Systems: From Modelling to Implementation
Multi-Agent Reconfigurable Embedded Systems: From Modelling to Implementation
Mohamed Khalgui. © 2011. 30 pages.
The chapter deals with reconfigurable embedded control systems following component-based technologies and/or Architecture Description Languages used today in industry. The author...
Reconfigurable Embedded Control Systems
Reconfigurable Embedded Control Systems
Mohamed Khalgui, Olfa Mosbahi. © 2011. 39 pages.
The chapter deals with distributed multi-agent reconfigurable embedded control systems following the component-based International Industrial Standard IEC61499 in which a...
Formal Methods for Verifications of Reactive Systems
Formal Methods for Verifications of Reactive Systems
Olfa Mosbahi, Mohamed Khalgui. © 2011. 40 pages.
This chapter deals with the use of two verification approaches: theorem proving and model checking. The authors focus on the Event-B method by using its associated theorem...
Reconfiguration of Industrial Embedded Control Systems
Reconfiguration of Industrial Embedded Control Systems
Mohamed Khalgui, Hans-Michael Hanisch. © 2010. 35 pages.
This research work deals with the development of safety reconfigurable embedded control systems following the international industrial component-based standard IEC61499....