Adamski, Marian Andrzej
Design of Embedded Control Systems
Section I.Specification of Concurrent Embedded Control Systems
1. Using Sequents for Description of Concurrent Digital Systems Behavior
Arkadij Zakrevskij
2. Formal Logic Design of Reprogrammable Controllers
Marian Adamski
3. Hierarchical Petri Nets for Digital Controller Design
Grzegorz Andrzejewski
Section II.Analysis and Verification of Discrete-Event Systems
4. WCET Prediction for Embedded Processors Using an ADL
Adriano Tavares, Carlos Silva, Carlos Lima, José Metrolho, Carlos Couto
5. Verification of Control Paths Using Petri Nets
Torsten Schober, Andreas Reinsch, Werner Erhard
6. Memory-Saving Analysis of Petri Nets
Andrei Karatkevich
7. Symbolic State Exploration of UML Statecharts for Hardware Description
Grzegorz Labiak
8. Calculating State Spaces of Hierarchical Petri Nets Using BDD
Piotr Miczulski
9. A New Approach to Simulation of Concurrent Controllers
Agnieszka Wegrzyn, Marek Wegrzyn
Section III.Synthesis of Concurrent Embedded Control Systems
10. Optimal State Assignment of Synchronous Parallel Automata
Yury Pottosin
11. Optimal State Assignment of Asynchronous Parallel Automata
Ljudmila Cheremisinova
12. Design of Embedded Control Systems Using Hybrid Petri Nets
Thorsten Hummel, Wolfgang Fengler
Section IV.Implementation of Discrete-Event Systems in Programmable Logic
13. Structuring Mechanisms in Petri Net Models
Luís Gomes, João Paulo Barros, Anikó Costa
14. Implementing a Petri Net Specification in a FPGA Using VHDL
Enrique Soto, Miguel Pereira
15. Finite State Machine Implementation in FPGAs
Hana Kubátová
16. Block Synthesis of Combinational Circuits
Pyotr Bibilo, Natalia Kirienko
17. The Influence of Functional Decomposition on Modern Digital Design Process
Mariusz Rawski, Tadeusz Luba, Zbigniew Jachna, Pawel Tomaszewicz
Section V:.System Engineering for Embedded Systems
18. Development of Embedded Systems Using Oort
Sérgio Lopes, Carlos Silva, Adriano Tavares, João Monteiro
19. Optimizing Communication Architectures for Parallel Embedded Systems
Vaclav Dvorak
20. Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic Controller
Miroslaw Chmiel, Edward Hrynkiewicz
21. FPGA Implementation of Positional Filters
Dariusz Caban
22. A Methodology for Developing IP Cores that Replace Obsolete ICS
Wojciech Sakowski, Mirosllaw Bandzerewicz, Maciej Pyka, Wlodzimierz Wrona
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000
- Tekijä(t)
- Adamski, Marian Andrzej
- Karatkevich, Andrei
- Wegrzyn, Marek
- Julkaisija
- Springer
- Julkaisuvuosi
- 2005
- Kieli
- en
- Painos
- 1
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9780387283272