Reconfigurable Embedded Control Systems

Mohamed Khalgui

ISBN 10: 3659260991 / ISBN 13: 9783659260995

Published by LAP LAMBERT Academic Publishing Okt 2012, 2012

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 176 pp. Englisch.

Seller Inventory # 9783659260995

Bibliographic Details

• Title: Reconfigurable Embedded Control Systems
• Publisher: LAP LAMBERT Academic Publishing Okt 2012
• Publication Date: 2012
• Language: English
• ISBN 10: 3659260991
• ISBN 13: 9783659260995
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 12D millimeters 220 millimeters width by 150 millimeters height by 12 millimeters depth
• Weight: 280 grams

About this title

Synopsis

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.

About the Author

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.