Distributed Embedded Controller Development with Petri Nets: by Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes

By Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes

This publication describes a model-based improvement technique for globally-asynchronous locally-synchronous allotted embedded controllers. This strategy makes use of Petri nets as modeling formalism to create platform and community self sustaining versions helping using layout automation instruments. To aid this improvement method, the Petri nets classification in use is prolonged with time-domains and asynchronous-channels. The authors’ method makes use of types not just delivering a greater knowing of the disbursed controller and enhancing the verbal exchange one of the stakeholders, but additionally to have the capacity to aid the complete lifecycle, together with the simulation, the verification (using model-checking tools), the implementation (relying on computerized code generators), and the deployment of the dispensed controller into particular platforms.

  • Uses a graphical and intuitive modeling formalism supported through layout automation tools;
  • Enables verification, making sure that the allotted controller was once thoroughly specified;
  • Provides flexibility within the implementation and upkeep levels to accomplish wanted constraints (high functionality, low strength intake, diminished costs), allowing porting to assorted structures utilizing various conversation nodes, with out altering the underlying behavioral model.

Show description

Read Online or Download Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems PDF

Best microprocessors & system design books

Logic-based artificial intelligence

This landmark quantity represents the fruits of over forty years of study within the use of good judgment as a foundation for representing and manipulating difficulties within the box of synthetic intelligence. The use of good judgment as a foundation for common-sense reasoning used to be all started via John McCarthy in 1959. the gathering involves either unique examine and surveys of just about each topic that makes use of common sense in AI, contributed through major scientists, and grew out of initial paintings offered at the Workshop on Logic-Based man made Intelligence held in Washington, DC, June 1999.

Building Parallel, Embedded, and Real-Time Applications with Ada

The arriving and recognition of multi-core processors has sparked a renewed curiosity within the improvement of parallel courses. equally, the provision of reasonably cheap microprocessors and sensors has generated an exceptional curiosity in embedded real-time courses. This ebook presents scholars and programmers whose backgrounds are in conventional sequential programming with the chance to extend their services into parallel, embedded, real-time and disbursed computing.

Additional resources for Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems

Example text

It is important to note that the reusable sub-models should be created and the asynchronous-channels should be connected, in such a way that it is not possible to simultaneously have more than one message in each asynchronous-channel. This ensures that it is not required to generate the full state-space of the global GALS-DEC model, in order to generate the communication nodes required to support the components interaction (the asynchronous-channels implementation); the simulation and the verification of the global GALS-DEC model.

Cs, a partial function identifying a set of transitions as being channel sources (sources of communication channels): cs W T 0 ! 6) where CS is the set of channel targets. is, a partial function associating transitions with Boolean expressions: is W T 0 ! 7) where BE is the set of Boolean expressions checking input signal values. os, a partial function associating places with assignment expressions: os W P0 ! AE/ is the power set of AE, and AE is the set of assignment expressions assigning the result of mathematical expressions to output signals.

20). 21) The AckACs and NotACs are used to provide feedback about the delivery of messages and about their influence in the target transitions. This means that: (1) the source of an AckAC is always the target of another asynchronouschannel [Eq. 22], and (2) the source of a NotAC is always the target of another asynchronous-channel [Eq. 23]. 3 Asynchronous-Channels Execution Semantics Asynchronous-channels were proposed to connect sub-models with different timedomains, specifying the asynchronous interaction among distributed and synchronous components.

Download PDF sample

Distributed Embedded Controller Development with Petri Nets: by Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes
Rated 4.28 of 5 – based on 33 votes