Buch, Englisch, 267 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 429 g
ISBN: 978-1-4419-3646-2
Verlag: Springer US
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
- Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
- Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnik
Weitere Infos & Material
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.
