Reconfigurable embedded control systems [electronic resource] : applications for flexibility and agility / Mohamed Khalgui and Hans-Michael Hanisch, editors.
Publication details: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2011.Description: electronic texts ([566] p.) : digital filesISBN:- 9781609600884 (ebook)
- Programmable controllers
- Embedded computer systems
- Digital control systems
- Architecture description languages
- Control of fault-tolerant discrete event reconfigurable systems
- Discrete event reconfigurable systems
- Formal methods for timed and probabilistic reconfigurable systems
- Industrial communication control systems
- Interdisciplinary approaches for dependability improvement
- Monitoring and diagnosis of discrete event reconfigurable systems
- Networked embedded control systems
- Recent advances in fault-forecasting methods
- Software engineering in industry
- 629.8/95 22
- TJ223.P76 R43 2011e
- Also available in print.
eBooks
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 B�unte, 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 / Tom�as Balderas-Contreras, Gustavo Rodriguez-Gomez, Ren�e 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, Sofi�ene 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.
Restricted to subscribers or individual electronic text purchasers.
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.
Also available in print.
Mode of access: World Wide Web.
Description based on title screen (IGI Global, viewed Feb. 12, 2011).