Design of Embedded Control Systems

  • Marian Andrzej Adamski
  • Andrei Karatkevich
  • Marek Wegrzyn

Table of contents

  1. Front Matter
    Pages i-xi
  2. Specification of Concurrent Embedded Control Systems

  3. Analysis and Verification of Discrete-Event Systems

    1. Front Matter
      Pages 37-37
    2. Adriano Tavares, Carlos Silva, Carlos Lima, José Metrolho, Carlos Couto
      Pages 39-50
    3. Torsten Schober, Andreas Reinsch, Werner Erhard
      Pages 51-62
    4. Andrei Karatkevich
      Pages 63-72
    5. Agnieszka Węgrzyn, Marek Węgrzyn
      Pages 95-108
  4. Synthesis of Concurrent Embedded Control Systems

    1. Front Matter
      Pages 109-109
    2. Ljudmila Cheremisinova
      Pages 125-137
    3. Thorsten Hummel, Wolfgang Fengler
      Pages 139-149
  5. Implementation of Discrete-Event Systems in Programmable Logic

    1. Front Matter
      Pages 151-151
    2. Luís Gomes, João Paulo Barros, Anikó Costa
      Pages 153-166
    3. Enrique Soto, Miguel Pereira
      Pages 167-174
    4. Hana Kubátová
      Pages 175-184
    5. Pyotr Bibilo, Natalia Kirienko
      Pages 185-192
    6. Mariusz Rawski, Tadeusz Łuba, Zbigniew Jachna, Paweł Tomaszewicz
      Pages 193-204
  6. System Engineering for Embedded Systems

    1. Front Matter
      Pages 205-205
    2. Sérgio Lopes, Carlos Silva, Adriano Tavares, João Monteiro
      Pages 207-219
    3. Dariusz Caban
      Pages 243-249
    4. Wojciech Sakowski, Miroslław Bandzerewicz, Maciej Pyka, Włodzimierz Wrona
      Pages 251-260
  7. Back Matter
    Pages 261-267

About this book


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.


IC Programmable Logic VHDL architecture communication computer-aided design (CAD) integrated circuit logic processor programming simulation

Authors and affiliations

  • Marian Andrzej Adamski
    • 1
  • Andrei Karatkevich
    • 1
  • Marek Wegrzyn
    • 1
  1. 1.University of Zielona GoraPoland

Bibliographic information

  • DOI
  • Copyright Information Springer US 2005
  • Publisher Name Springer, Boston, MA
  • eBook Packages Engineering
  • Print ISBN 978-0-387-23630-8
  • Online ISBN 978-0-387-28327-2
  • Buy this book on publisher's site