03603cam a2200277Ma 450000500170000000800410001702000180005802000150007602000180009102000150010903500150012424501420013926001000028130000550038150400410043650510800047750510300155752004640258765000300305165000310308165000290311270000220314170000270316371000160319085601190320620260818175636.0110212s2011    pau    fob    000 0 eng d  a9781609600884  a1609600886  a9781621989660  a1621989666  a.b1224312700aReconfigurable embedded control systems :bapplications for flexibility and agility /cMohamed Khalgui and Hans-Michael Hanisch, editors.  aHershey, Pa. :bIGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),c2011.  a1 online resource (electronic texts ([566] pages))  aIncludes bibliographical references.0 a1. 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.8 a11. 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.3 aAddresses 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. 0aProgrammable controllers. 0aEmbedded computer systems. 0aDigital control systems.1 aKhalgui, Mohamed.1 aHanisch, Hans-Michael.2 aIGI Global.403Download: Knoveluhttps://app.knovel.com/hotlink/toc/id:kpRECSAFA3/reconfigurable-embedded/reconfigurable-embedded