Abstract
A specific class of Petri nets was extended with Asynchronous-Channels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.
Chapter PDF
Similar content being viewed by others
References
Chapiro, D.M.: Globally-Asynchronous Locally-Synchronous Systems, Ph.D. Thesis: Stanford University (1984)
Bormann, D.S., Cheung, P.Y.K.: Asynchronous wrapper for heterogeneous systems. In: International Conference on Computer Design, ICCD (1997)
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 (2007)
Costa, A., Gomes, L.: Petri net partitioning using net splitting operation. In: Proceedings of the 7th IEEE International Conference on Industrial Informatics, Cardiff, UK (2009)
Schätz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. In: Bruel, J.-M., Bellahsène, Z. (eds.) OOIS 2002. LNCS, vol. 2426, p. 298. Springer, Heidelberg (2002)
De Niz, D., Bhatia, G., Rajkumar, R.: Model-Based Development of Embedded Systems: The SysWeaver Approach. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, Washington, DC, USA (2006)
Borcsok, J., Chaaban, W., Schwarz, M., Sheng, H., Sheleh, O., Batchuluun, B.: An automated software verification tool for model-based development of embedded systems with Simulink. In: XXII International Symposium on Information, Communication and Automation Technologies (ICAT 2009), Bosnia (2009)
Bunse, C., Gross, H.G., Peper, C.: Applying a model-based approach for embedded system development. In: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, Washington, DC, USA (2007)
Gomes, L., Fernandes, J.: Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global’s (2009)
Carloni, L.P., Sangiovanni-Vincentelli, A.L.: A formal modeling framework for deploying synchronous designs on distributed architectures, in In FMGALS: Formal Methods for Globally Asynchronous Locally Asynchronous Architecture. Elsevier, (2003)
Kleijn, H., Koutny, M., Rozenberg, G.: Processes of Petri nets with localities, Technical Report CS-TR-941, School of Computing Science, Newcastle upon Tyne, UK (2006)
Suhaib, S., Mathaikutty, D., Shukla, S.K.: Dataflow architectures for GALS. Electronic Notes in Theoretical Computer Science 200, 33–50 (2008)
Reisig, W.: Petri nets: an introduction. Springer-Verlag New York, Inc., NY (1985)
Moutinho, F., Gomes, L., Barbosa, P., Barros, J.P., Ramalho, F., Figueiredo, J., Costa, A., Monteiro, A.: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In: Camarinha-Matos, L.M. (ed.) Technological Innovation for Sustainability. IFIP AICT, vol. 349, pp. 237–245. Springer, Heidelberg (2011)
Ribeiro, J., Moutinho, F., Pereira, F., Barros, J.P., Gomes, L.: An Ecore based Petri net Type Definition for PNML IOPT Models. In: INDIN 2011 - 9th IEEE International Conference on Industrial Informatics, Caparica, Lisbon, Portugal (2011)
Moutinho, F., Gomes, L.: State Space Generation Algorithm for GALS Systems Modeled by IOPT Petri Nets. In: 37th Annual Conf. of the IEEE Industrial Electr. Society, Australia (2011)
Gomes, L., Rebelo, R., Barros, J., Costa, A., Pais, R.: From Petri net models to C implementation of digital controllers. In: Proceedings of the ISIE 2010 - IEEE International Symposium on Industrial Electronics, Bari, Italy (2010)
Gomes, L., Costa, A., Barros, J., Lima, P.: From Petri net models to VHDL implementation of digital controllers. In: 33rd Annual Conf. of IEEE Industrial Electr. Society, Taiwan (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Moutinho, F., Gomes, L. (2012). Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. In: Camarinha-Matos, L.M., Shahamatnia, E., Nunes, G. (eds) Technological Innovation for Value Creation. DoCEIS 2012. IFIP Advances in Information and Communication Technology, vol 372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28255-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-28255-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28254-6
Online ISBN: 978-3-642-28255-3
eBook Packages: Computer ScienceComputer Science (R0)