Abstract
The growing processing power available in FPGAs and other embedded platforms, associated with the ability to generate high resolution images and interface with pointing devices, opened the possibility to create devices with sophisticated user interfaces. This paper presents an innovative tool to automatically generate debug, diagnostic and monitoring graphical interfaces to be integrated in embedded systems designed using Petri net based controllers. Devices powered with the new debug and diagnostic interfaces benefit from lower maintenance costs and simplified failure diagnostic capabilities, leading to longer product life cycles with the corresponding environmental and sustainability gains. To demonstrate the validity of the tools proposed, the paper presents an application example for a Car Parking controller, including results on a working prototype.
Chapter PDF
Similar content being viewed by others
References
Moutinho, F., Gomes, L.: From models to controllers integrating graphical animation in FPGA through automatic code generation. In: IEEE International Symposium on Industrial Electronics (ISlE 2009), Seoul Olympic Parktel, Seoul, Korea, July 5-8 (2009)
Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: Proceedings of the 5th IEEE International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria (July 2007)
Gomes, L., Lourenco, J.: Rapid prototyping of graphical user interfaces for Petri-net-based controllers. IEEE Transactions on Industrial Electronics 57, 1806–1813 (2010)
Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)
Coolahan, J., Roussopoulos, N.: Timing requirements for time-driven systems using augmented Petri nets. IEEE Transactions on Software Engineering, 603–616 (September 1983)
Esser, R.: An object oriented Petri net language for embedded system design. In: Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP 1997) (Including CASE 1997), p. 216. IEEE Computer Society, Washington, DC (1997)
Chachkov, S., Buchs, D.: From an abstract object-oriented model to a ready-to-use embedded system controller. In: 12th International Workshop on Rapid System Prototyping, Monterey, CA, pp. 142–148 (June 2001)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Pratical Use. Basic Concepts, vol. 1. Springer, Berlin (1997)
Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew – User Guide. University of Hamburg, Department for Informatics, Theoretical Foundations Group, Release 2.2, August 28 (2009)
Ehrig, H., Ermel, C., Taentzer, G.: Simulation and animation of visual models of embedded systems. In: 7th International Workshop on Embedded Systems Modeling Technology, and Applications, pp. 11–20 (June 2006)
Westergaard, M., Lassen, K.B.: The Britney suite animation tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 431–440. Springer, Heidelberg (2006)
Jorgensen, J.B.: Addressing problem frame concerns via Coloured Petri nets and graphical animation. In: 2006 International Workshop on Advances and Applications of Problem Frames, pp. 49–58 (May 2006)
Chachkov, S., Buchs, D.: From an abstract object-oriented model to a ready-to-use embedded system controller. In: 12th International Workshop on Rapid System Prototyping, Monterey, CA, pp. 142–148 (June 2001)
Nascimento, P., Maciel, P., Lima, M., Santana, R., Filho, A.: A partial reconfigurable architecture for controllers based on Petri nets. In: 17th Symposium on Integrated Circuits and System Design, pp. 16–21 (September 2004)
Costa, A., Gomes, L., Barros., J.P., Oliveira, J., Reis, T.: Petri nets tools framework supporting FPGA-based controller implementations. In: 34th Annual Conference of IEEE Industrial Electronics, IECON 2008, pp. 2477–2482 (2008), doi:10.1109/IECON.2008
Gomes, L., Barros, J.P., Costa, A., Pais, R., Moutinho, F.: Towards usage of formal methods within embedded systems co-design. In: 10th IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, vol. 1, p. 4, p. 284 (2005), doi:10.1109/ETFA.2005.1612535
Reisig, W.: Petri nets: An introduction. Springer, New York (1985)
Tidwell, D.: XSLT. O’Reilly, Sebastopol (2001) ISBN 978-0-596-00053-0
ISO/IEC JTC1/SC7 N3298, ISO/IEC (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 IFIP International Federation for Information Processing
About this paper
Cite this paper
Pereira, F., Gomes, L., Moutinho, F. (2011). Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. In: Camarinha-Matos, L.M. (eds) Technological Innovation for Sustainability. DoCEIS 2011. IFIP Advances in Information and Communication Technology, vol 349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19170-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-19170-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19169-5
Online ISBN: 978-3-642-19170-1
eBook Packages: Computer ScienceComputer Science (R0)