By Filipe de Carvalho Moutinho, Luís Filipe Santos Gomes
This booklet describes a model-based improvement process for globally-asynchronous locally-synchronous disbursed embedded controllers. This strategy makes use of Petri nets as modeling formalism to create platform and community self sustaining versions assisting using layout automation instruments. To aid this improvement method, the Petri nets category in use is prolonged with time-domains and asynchronous-channels. The authors’ strategy makes use of versions not just supplying a greater figuring out of the dispensed controller and enhancing the communique one of the stakeholders, but additionally to have the ability to help the full lifecycle, together with the simulation, the verification (using model-checking tools), the implementation (relying on computerized code generators), and the deployment of the allotted controller into particular platforms.
- Uses a graphical and intuitive modeling formalism supported by means of layout automation tools;
- Enables verification, making sure that the dispensed controller used to be appropriately specified;
- Provides flexibility within the implementation and upkeep stages to accomplish wanted constraints (high functionality, low energy intake, decreased costs), permitting porting to diverse structures utilizing various conversation nodes, with no altering the underlying behavioral model.
Read Online or Download Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems PDF
Similar microprocessors & system design books
This ebook is a hands-on creation to the foundations and perform of embedded approach layout utilizing the PIC microcontroller. full of worthwhile examples and illustrations, it supplies an in-depth remedy of microcontroller layout, programming in either meeting language and C, and contours complex themes akin to networking and real-time working structures.
This article makes in-depth explorations of a wide variety of theoretical subject matters in desktop technological know-how. It plunges into the functions of the summary techniques so as to confront and deal with the skepticism of readers, and instill in them an appreciation for the usefulness of concept. A two-part presentation integrates good judgment and formal language—both with functions.
- Multiplexed Networks for Embedded Systems: CAN, LIN, FlexRay, Safe-by-Wire
- Advanced Memory Optimization Techniques for Low-Power Embedded Processors
- Programming and Customizing the PIC Microcontroller (Tab Electronics)
- Massively Parallel Models of Computation: Distributed Parallel Processing in Artificial Intelligence and Optimization (Ellis Horwood Series in Artif)
- Embedded Systems and Robotics with Open Source Tools
- From scientific instrument to industrial machine: Coping with architectural stress in embedded systems (SpringerBriefs in Electrical and Computer Engineering)
Extra resources for Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems
5) as in Moutinho et al. (2010) and Gomes et al. (2014). OCLs are used to express constraints that cannot be expressed in the UML class diagrams. As defined in Sects. 5, this meta-model also defines that: • • • • • • • • • each node (a place or a transition) has a time-domain; each arc connects two nodes with the same time-domain; a reference transition must always refer a transition with the same time-domain; a reference place must always refer a place with the same time-domain; each asynchronous-channel can be a simple AC, an acknowledged AC, or a notenabled AC; each asynchronous channel has one source transition and one or more target transitions; each transition cannot be target of more than one asynchronous-channel; all target transitions of an asynchronous-channel must have the same timedomain; the source transition of an acknowledged AC or not-enabled AC must be the target of another asynchronous-channel.
A discussion on how to circumvent this restriction will be addressed later in this chapter. In brief, the sub-model around places “P1”, “P2”, “P3”, “P4”, “P5”, and “P6”, handles detectors evolution analysis, while sub-model around “P7”, “P8”, “P9”, and “P10” handles communication with other controller components. The behavior of the model from Fig. 2 The Detection Zone 47 • when places “P8” and “P9” are marked, transition “T9” fires, then place “P9” is unmarked, the number of tokens from place “P8” is decremented, place “P10” is marked, and a message is sent through the asynchronous-channel that will be connected to transition “Ts” (a channel-source—“cs”); • when place “P10” is marked and a message is received by the channel-target “ct(1)” (the transition “Tr”), then “Tr” fires, place “P7” is incremented, place “P10” is unmarked, and place “P9” marked; • it is expected that the communication time between this controller and the target controller (to send a message notifying the entrance of a vehicle and receiving the associated acknowledge) is smaller than the time between the entry of two vehicles; however, for security reasons the initial marking of place “P7” is 10 (but of course it can be higher), which means that if an acknowledgment takes longer than the expected time, it is possible to register entrances of up to ten cars without the controller missing the counting.
2012a). pt/IOPT-Tool/. The simulation tool was mainly used during the model creation, where a set of use cases was simulated, allowing the detection of some errors and the subsequent model correction/improvement. Some of the simulated use cases were: • a vehicle passing through the zone in the right direction; • a vehicle passing through the zone in the wrong direction • a vehicle stopping at the middle of the detection zone and then going back and forward; • two vehicles moving in opposite directions that stop in the detection zone at the same time, then one goes back and the other goes forward; • two vehicles moving in opposite directions that stop in the detection zone at the same time, then both vehicles go back.