rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Distributed Embedded Controller Development with Petri Nets
    sub title: Application to Globally-Asynchronous Locally-Synchronous Systems
  name:
    name part: Moutinho, Filipe de Carvalho.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Santos Gomes, Luís Filipe.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2016
    edition: 1st ed. 2016.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 79 p. 37 illus., 33 illus. in color. online resource.
  abstract: This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous-channels. The authors’ approach uses models not only providing a better understanding of the distributed controller and improving the communication among the stakeholders, but also to be ready to support the entire lifecycle, including the simulation, the verification (using model-checking tools), the implementation (relying on automatic code generators), and the deployment of the distributed controller into specific platforms. Uses a graphical and intuitive modeling formalism supported by design automation tools; Enables verification, ensuring that the distributed controller was correctly specified; Provides flexibility in the implementation and maintenance phases to achieve desired constraints (high performance, low power consumption, reduced costs), enabling porting to different platforms using different communication nodes, without changing the underlying behavioral model.
  table of contents: Introduction -- Related work -- Development of distributed embedded controllers -- Application Example -- Conclusions and future work.
  note: by Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes.
  subject:
    topic: Engineering
  subject:
    topic: Microprocessors
  subject:
    topic: Electronics
  subject:
    topic: Microelectronics
  subject:
    topic: Electronic circuits
  subject:
    topic: Engineering
  subject:
    topic: Circuits and Systems
  subject:
    topic: Processor Architectures
  subject:
    topic: Electronics and Microelectronics, Instrumentation
  classification: TK7888.4
  classification: 621.3815
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: SpringerBriefs in Electrical and Computer Engineering, 150
  identifier: 9783319208220
  identifier: http://dx.doi.org/10.1007/978-3-319-20822-0
  record info:
    record creation date: 151012
    record change date: 20151204161321.0
    record identifier: 978-3-319-20822-0