Design of Embedded Control SystemsMarian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn Springer Science & Business Media, 2005. gada 28. jūn. - 267 lappuses 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. |
Saturs
IV | 3 |
V | 15 |
VI | 27 |
VII | 37 |
VIII | 39 |
IX | 51 |
X | 63 |
XI | 73 |
XIX | 151 |
XX | 153 |
XXI | 167 |
XXII | 175 |
XXIII | 185 |
XXIV | 193 |
XXV | 205 |
XXVI | 207 |
Citi izdevumi - Skatīt visu
Design of Embedded Control Systems Marian Andrzej Adamski,Andrei Karatkevich,Marek Wegrzyn Ierobežota priekšskatīšana - 2006 |
Design of Embedded Control Systems Marian Andrzej Adamski,Andrei Karatkevich,Marek Wegrzyn Priekšskatījums nav pieejams - 2010 |
Bieži izmantoti vārdi un frāzes
algorithm analysis application architecture arcs assigned automata B-cover basic behavior Belarus binary decision diagrams bits block Boolean function byte processor cache circuit complete bipartite subgraphs complex components Computer concurrent constraints control paths defined described devices digital systems elementary embedded embedded systems Engineering example execution Figure filter finite state machine flip-flop formal FPGA functional decomposition G₁ global graph G graphical hardware description language hardware modeler hierarchical Petri implementation implicant instruction internal logic controllers logic synthesis macroplace matrix maximum complete bipartite Minsk modules nodes nonparallel obtained one-hot operation optimization output parallel automaton partial Petri net model pipeline PNSF3 presented problem program memory programmable logic reachability graph represented sequent sequent automaton simulation specification statechart structure subnets synchronous synthesis tion token transition variables vector verification Verilog VHDL WCET XILINX Zielona Góra