03762cam a2200337Ma 4500 20260818175636.0 110212s2011 pau fob 000 0 eng d 9781609600884 1609600886 9781621989660 1621989666 .b12243127 Reconfigurable embedded control systems : applications for flexibility and agility / Mohamed Khalgui and Hans-Michael Hanisch, editors. Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2011. 1 online resource (electronic texts ([566] pages)) Includes bibliographical references. 1. Multi-agent reconfigurable embedded systems / Mohamed Khalgui -- 2. Multithreaded programming of reconfigurable embedded systems / Jason Agron ... et al. -- 3. Zero-downtime reconfiguration of distributed control logic in industrial automation and control / Thomas Strasser, Alois Zoitl, Martijn Rooker -- 4. Hardware virtualization on dynamically reconfigurable processors / Christian Plessl, Marco Platzner -- 5. Measurement-based timing analysis for reconfigurable embedded systems / Raimund Kirner, Sven Bu⁺nte, Michael Zolda -- 6. Trends in reconfigurable embedded systems / C. Valderrama, L. Jojczyk, P. Possa -- 7. Reconfiguration of uniprocessor sporadic real-time systems / Laurent George, Pierre Courbin -- 8. On model-driven engineering of reconfigurable digital control hardware systems / Toma⁺ѓs Balderas-Contreras, Gustavo Rodriguez-Gomez, Rene⁺ѓ Cumplido -- 9. A design methodology of MIN-based network for MPPSoC on reconfigurable architecture / Y. Aydi ... et al. -- 10. Reconfigurable embedded control systems / Mohamed Khalgui, Olfa Mosbahi. 11. Performance analysis of FPGA architectures based embedded control applications / Slim Ben Othman, Ahmed Ben Salem, Slim Ben Saoud -- 12. FPGA-based accelerators for bioinformatics applications / Alba Alves de Melo, Nahri Moreano -- 13. Formal analysis of real-time systems / Osman Hasan, Sofie⁺ђne Tahar -- 14. Formal methods for verifications of reactive systems / Olfa Mosbahi, Mohamed Khalgui -- 15. Petri net based deadlock prevention approach for flexible manufacturing systems / Chunfu Zhong, Zhiwu Li -- 16. Choosing the optimized OS for an MPSoC embedded system / Abderrazak Jemai -- 17. Specification and validation of real time systems / Olfa Mosbahi -- 18. Flexible implementation of industrial real-time servo drive system / Ahmed Ben Salem, Hedi Abdelkrim, Slim Ben Saoud -- 19. A model-based approach to configure and reconfigure avionics systems / Julien Delange, Laurent Pautet, Fabrice Kordon -- 20. Iterative knowledge based embedded systems development framework / Goh Mok, Benny Tjahjono, Ding Wei. Addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems. Programmable controllers. Embedded computer systems. Digital control systems. Khalgui, Mohamed. Hanisch, Hans-Michael. IGI Global. Download: Knovel https://app.knovel.com/hotlink/toc/id:kpRECSAFA3/reconfigurable-embedded/reconfigurable-embedded .b12243127 mngc n 251209 0 190207 e h n 0 98130 98130