Design of Embedded Control Systems (eBook, PDF)

Redaktion: Adamski, Marian Andrzej; Wegrzyn, Marek; Karatkevich, Andrei

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 267
• Erscheinungstermin: 22. November 2006
• Englisch
• ISBN-13: 9780387283272
• Artikelnr.: 37288544

Autorenporträt

Marian Andrzej Adamski, University of Zielona Gora, Poland / Andrei Karatkevich, University of Zielona Gora, Poland / Marek Wegrzyn, University of Zielona Gora, Poland

Inhaltsangabe

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.