Autor/Autorin: Khalgui Mohamed
The author received the B.S. Degree in Computer Science (CS) from Tunis University, Tunisia, in 2001, the M.S. Degree in Telecommunication and Services from Henri Poincaré University, France, in 2003, the PhD Diploma in CS from INPL, France, in 2007, and the Habilitation Diploma in CS at Martin Luther University, Germany, in 2012.
The book deals with reconfigurable embedded control systems following component based approaches. Assuming their behaviors to be adapted by automatic reconfigurations, we define components as software units such that a system is implemented by a network of components. We propose a multi-agent architecture to handle automatic reconfigurations where local scenarios are handled by reconfiguration agents in controllers, and a coordination agent is designed to coordinate between devices. We develop NCES-based optimal models for this architecture, use SESA to verify CTL properties, and address the generation of different real-time reconfigurable execution models for systems. Thereafter, an agent-based technique is engineered allowing low-power reconfigurations of embedded controllers. Finally, optimized simulations of systems are performed.
Über den Autor
Mohamed Khalgui est actuellement Directeur de Recherche à ITIA-CNR en Italie. Il a obtenu sa Maitrise à FST en Tunisie en 2001, son DEA à UHP en France en 2003, a décroché son Doctorat à INPL en France en 2007, et son Habilitation à Martin Luther University en Allemagne en 2012. Il a fait divers post_doc en Italie, Chine, Allemagne, KSA et Grèce.
Klappentext
The book deals with reconfigurable embedded control systems following component based approaches. Assuming their behaviors to be adapted by automatic reconfigurations, we define components as software units such that a system is implemented by a network of components. We propose a multi-agent architecture to handle automatic reconfigurations where local scenarios are handled by reconfiguration agents in controllers, and a coordination agent is designed to coordinate between devices. We develop NCES-based optimal models for this architecture, use SESA to verify CTL properties, and address the generation of different real-time reconfigurable execution models for systems. Thereafter, an agent-based technique is engineered allowing low-power reconfigurations of embedded controllers. Finally, optimized simulations of systems are performed.
