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.

Autorentext

Remigiusz Winiewski had worked for Aldec, Inc., as an Application and Senior Application Engineer, where he participated in the realization of projects related to prototyping of systems and designs implemented in programmable devices. He was invited to the company headquarters in Las Vegas, where he performed specialized trainings and presentations for companies such as Intel and Xilinx. In 2001 he was involved in exhibitions during the Design, Automation and Test in Europe (DATE), held in Munich.

In October 2003 Doctor Winiewski joined Institute of Computer Engineering and Electronics of University of Zielona Góra, where he was appointed as an Assistant Lecturer. His research interests focus on overcoming problems related to the reduction of the area of control units implemented in programmable devices.

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.