This volume offers a wide spectrum of timely methods and techniques for the specification, analysis and implementation of embedded real-time systems. It covers topics in Hardware Description Languages in digital microsystem design, Petri nets, UML Statecharts, system-on-a-chip applications, real-time programming, and more. It is a reference for engineers and academics working on the design of embedded systems and logical control.

Offers state-of-the-art results in the design of embedded control systems Each chapter focuses on a particular design/specification issue of programmable logic controllers discussed by an expert on the topic A useful reference for control engineers and instructors, students in embedded systems Includes supplementary material: sn.pub/extras

Inhalt
Specification of Concurrent Embedded Control Systems.- Using Sequents for Description of Concurrent Digital Systems Behavior.- Formal Logic Design of Reprogrammable Controllers.- Hierarchical Petri Nets for Digital Controller Design.- Analysis and Verification of Discrete-Event Systems.- WCET Prediction for Embedded Processors Using an ADL.- Verification of Control Paths Using Petri Nets.- Memory-Saving Analysis of Petri Nets.- Symbolic State Exploration of UML Statecharts for Hardware Description.- Calculating State Spaces of Hierarchical Petri Nets Using BDD.- A New Approach to Simulation of Concurrent Controllers.- Synthesis of Concurrent Embedded Control Systems.- Optimal State Assignment of Synchronous Parallel Automata.- Optimal State Assignment of Asynchronous Parallel Automata.- Design of Embedded Control Systems Using Hybrid Petri Nets.- Implementation of Discrete-Event Systems in Programmable Logic.- Structuring Mechanisms in Petri Net Models.- Implementing a Petri Net Specification in a FPGA Using VHDL.- Finite State Machine Implementation in FPGAs.- Block Synthesis of Combinational Circuits.- The Influence of Functional Decomposition on Modern Digital Design Process.- System Engineering for Embedded Systems.- Development of Embedded Systems Using Oort.- Optimizing Communication Architectures for Parallel Embedded Systems.- Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller.- FPGA Implementation of Positional Filters.- A Methodology for Developing IP Cores that Replace Obsolete ICS.