Design of Embedded Control Systems

Ana sayfa
Makina Mühendisliği
Design of Embedded Control Systems

Yazar	: Marian Andrzej Adamski Andrei Karatkevich Marek Wegrzyn
Yayınevi	: Springer
ISBN	: 9780387236308
Baskı yılı	: 2005
Sayfa sayısı	: 284
Ağırlık	: 0.58 kg
Stok durumu	: Var Stok detayları
Kargoya teslim	: Aynı gün kargo

A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and veri?cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe successfully solved without ef?cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became classic: Petri nets and ?nite state machines (FSMs). Anyhow, more detailed versions are developed and described in the book, which enable to give more complete information concerningspeci?cqualitiesoftheregardedsystems.Forexample,themodelof parallelautomatonispresented,whichunliketheconventional?niteautomaton can be placed simultaneously into several places, calledpartial. As a base for circuit implementation of control algorithms, FPGA is accepted in majority of cases.

1	Using sequents for description of concurrent digital systems behavior by Arkadij Zakrevskij	3
2	Formal logic design of reprogrammable controllers by Marian Adamski	15
3	Hierarchical Petri nets for digital controller design by Grzegorz Andrzejewski	27
4	WCET prediction for embedded processors using an ADL by Adriano Tavarev and Carlos Silva and Carlos Lima and Jose Metrolho and Carlos Couto	39
5	Verification of control paths using Petri nets by Torsten Schober and Andreas Reinsch and Werner Erhard	51
6	Memory-saving analysis of Petri nets by Andrei Karatkevich	63
7	Symbolic state exploration of UML statecharts for hardware description by Grzegorz Labiak	73
8	Calculating state spaces of hierarchical Petri nets using BDD by Piotr Miczulski	85
9	A new approach to simulation of concurrent controllers by Agnieszka Wegrzyn and Marek Wegrzyn	95
10	Optimal state assignment of synchronous parallel automata by Yury Pottosin	111
11	Optimal state assignment of asynchronous parallel automata by Ljudmila Cheremisinova	125
12	Design of embedded control systems using hybrid Petri nets by Thorsten Hummel and Wolfgang Fengler	139
13	Structuring mechanisms in Petri net models by Luis Gomes and Joao Paulo Barros and Aniko Costa	153
14	Implementing a Petri net specification in a FPGA using VHDL by Enrique Soto and Miguel Pereira	167
15	Finite state machine implementation in FPGAs by Hana Kubatova	175
16	Block synthesis of combinational circuits by Pyotr Bibilo and Natalia Kirienko	185
17	The influence of functional decomposition on modern digital design process by Mariusz Rawski and Tadeusz Luba and Zbigniew Jachna and Pawel Tomaszewicz	193
18	Development of embedded systems using OORT by Sergio Lopes and Carlos Silva and Adriano Tavares and Joao Monteiro	207
	More...

Axess
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	4977.81 TL
2 ay	2576.01 TL	5152.03 TL
3 ay	1750.53 TL	5251.59 TL
6 ay	933.34 TL	5600.03 TL
9 ay	663.71 TL	5973.37 TL
12 ay	537.19 TL	6446.26 TL

cardFinans
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	4977.81 TL
2 ay	2576.01 TL	5152.03 TL
3 ay	1750.53 TL	5251.59 TL
6 ay	933.34 TL	5600.03 TL
9 ay	663.71 TL	5973.37 TL
12 ay	537.19 TL	6446.26 TL

Bonus
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	4977.81 TL
2 ay	2576.01 TL	5152.03 TL
3 ay	1750.53 TL	5251.59 TL
6 ay	933.34 TL	5600.03 TL
9 ay	663.71 TL	5973.37 TL
12 ay	537.19 TL	6446.26 TL

World
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	4977.81 TL
2 ay	2576.01 TL	5152.03 TL
3 ay	1750.53 TL	5251.59 TL
6 ay	933.34 TL	5600.03 TL
9 ay	663.71 TL	5973.37 TL
12 ay	537.19 TL	6446.26 TL

Maximum
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	4977.81 TL
2 ay	2576.01 TL	5152.03 TL
3 ay	1750.53 TL	5251.59 TL
6 ay	933.34 TL	5600.03 TL
9 ay	663.71 TL	5973.37 TL
12 ay	537.19 TL	6446.26 TL

Paraf
Taksit	Taksit Tutarı	Toplam Tutar
Tek çekim	-	4977.81 TL
2 ay	2576.01 TL	5152.03 TL
3 ay	1750.53 TL	5251.59 TL
6 ay	933.34 TL	5600.03 TL
9 ay	663.71 TL	5973.37 TL
12 ay	537.19 TL	6446.26 TL