SOFTWARE FOR EMBEDDED CONTROLLER DESIGN - Application in Air and Water Caloric Electronystagmographic Stimulators

2013 ◽  
pp. 160-183 ◽  
Author(s):  
Luis Gomes ◽  
Anikó Costa ◽  
João Paulo Barros ◽  
Filipe Moutinho ◽  
Fernando Pereira

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).


Author(s):  
Jyoti Devi ◽  
Dr. Abhro Mukherjee ◽  
Amiya Ranjan Behera ◽  

2012 ◽  
Vol 503-504 ◽  
pp. 1385-1388
Author(s):  
Geng Lie Zhou ◽  
Chi Bing Hu ◽  
Ya Zhou Wang

The functions and the characteristics of RS-485 bus, I-7188 embedded controller, and SK2001 intellectual weighting controller are introduced briefly in this paper. The communication protocol of weighing controller, design of system hardware and software, and implementation of communication function are also analyzed in detail here. The serial communication between I-7188 and multiple weighing controllers has been implemented by using RS-485. As a result, the centralized control of the distributed equipments, the acquisition and automation upload of the metering data have been accomplished. The results of practical application show that this system has the characteristic of high stability and tolerance; it is easy to be managed and expanded as well.


Sign in / Sign up

Export Citation Format

Share Document