This book presents the original concepts and
modern techniques for specification, synthesis, optimisation and implementation
of parallel logical control devices. It deals with essential problems of
reconfigurable control systems like dependability, modularity and portability.
Reconfigurable systems require a wider variety of design and verification options
than the application-specific integrated circuits. The book presents a
comprehensive selection of possible design techniques. The diversity of the
modelling approaches covers Petri nets, state machines and activity diagrams.
The preferences of the presented optimization and synthesis methods are
not limited to increasing of the efficiency of resource use. One of the biggest
advantages of the presented methods is the platform independence, the FPGA
devices and single board computers are some of the examples of possible
platforms. These issues and problems are illustrated with practical cases of
complete control systems. If you expect a new look at the reconfigurable
systems designing process or need ideas for improving the quality of the
project, this book is a good choice.