This volume presents new results in the design of embedded control systems, each chapter authored by an expert. The text focuses on current issues with new approaches for the analysis and synthesis of discrete systems and is aimed at programmable logic controllers and their specification and design. The book is a useful reference for engineers and academics working on the design of embedded systems and logical control, and can serve as supplemental reading for courses on Embedded Systems, CAD of Discrete Devices, Programming of Logical Controllers, and Logical Systems.
Author(s): Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn
Edition: 1
Publisher: Springer
Year: 2005
Language: English
Pages: 267
City: New York
Contents......Page 9
About the Editors......Page 5
Foreword......Page 7
Section I: Specification of Concurrent Embedded Control Systems......Page 12
1. Using Sequents for Description of Concurrent Digital Systems Behavior......Page 13
2. Formal Logic Design of Reprogrammable Controllers......Page 24
3. Hierarchical Petri Nets for Digital Controller Design......Page 36
Section II: Analysis and Verification of Discrete-Event Systems......Page 46
4. WCET Prediction for Embedded Processors Using an ADL......Page 47
5. Verification of Control Paths Using Petri Nets......Page 59
6. Memory-Saving Analysis of Petri Nets......Page 71
7. Symbolic State Exploration of UML Statecharts for Hardware Description......Page 81
8. Calculating State Spaces of Hierarchical Petri Nets Using BDD......Page 92
9. A New Approach to Simulation of Concurrent Controllers......Page 102
Section III: Synthesis of Concurrent Embedded Control Systems......Page 116
10. Optimal State Assignment of Synchronous Parallel Automata......Page 117
11. Optimal State Assignment of Asynchronous Parallel Automata......Page 131
12. Design of Embedded Control Systems Using Hybrid Petri Nets......Page 144
Section IV: Implementation of Discrete-Event Systems in Programmable Logic......Page 155
13. Structuring Mechanisms in Petri Net Models......Page 156
14. Implementing a Petri Net Specification in a FPGA Using VHDL......Page 170
15. Finite State Machine Implementation in FPGAs......Page 178
16. Block Synthesis of Combinational Circuits......Page 188
17. The Influence of Functional Decomposition on Modern Digital Design Process......Page 196
Section V: System Engineering for Embedded Systems......Page 208
18. Development of Embedded Systems Using OORT......Page 209
19. Optimizing Communication Architectures for Parallel Embedded Systems......Page 222
20. Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller......Page 232
21. FPGA Implementation of Positional Filters......Page 244
22. A Methodology for Developing IP Cores that Replace Obsolete ICS......Page 251
C......Page 261
D......Page 262
L......Page 263
O......Page 264
R......Page 265
U......Page 266
Z......Page 267
