Prototyping of Concurrent Control Systems Implemented in FPGA Devices

This book focuses on prototyping aspects of concurrent control systems and their further implementation and partial reconfiguration in programmable devices. Further, it lays out a full prototyping flow for concurrent control systems. Based on a given primary specification, a system is described with an interpreted Petri net, which naturally reflects the concurrent and sequential relationships of the design.The book shows that, apart from the traditional option of static configuration of the entire system, the latest programmable devices (especially FPGAs) offer far more sophistication. Partial reconfiguration allows selected parts of the system to be replaced without having to reprogram the entire structure of the device. Approaches to dynamic and static partial reconfiguration of concurrent control systems are presented and described in detail.Following the completion of his Ph. D. thesis, in April 2009, Doctor Winiewski joined the Institute of Computer Engineering and Electronics of Universityof Zielona Góra, as an Assistant Professor.

Inhalt
Introduction.- Related Work.- Perfect Graphs and Comparability Graphs.- Hypergraphs and Exact Transversals.- Analysis of Concurrent Control Systems.- Decomposition of Concurrent Control Systems.- Prototyping of Concurrent Systems.- Modelling of Concurrent Systems in Hardware Languages.- Implementation of Concurrent Control Systems in FPGA.