Advertisement

UML Support for Statecharts-Based Digital Logic Controller Design in FPGA Technology

  • Grzegorz ŁabiakEmail author
Chapter
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 45)

Abstract

The paper describes usage of UML methodology in digital logic control modeling, which is one of few stages of digital logic controller development life cycle. The digital logic control modeling process is compared with traditional and well known software development methodology. In the comparison the differences are particularly emphasized. The main differences are connected to analyzing process and modeling aims. In case of software development crucial role plays object analysis which is meant to bring creation of data model. In case of digital logic controller design main activity in modeling is behavior analysis which is aimed to specify formally and precisely controller behavior.

Keywords

UML Digital logic controller Methodology Conceptual modelling Behavior analysis State machine 

References

  1. 1.
    Bazydło, G., & Adamski, M. (2011). Specification of UML 2.4 hierarchical state machine and its computer based implementation by means of Verilog. Przeglad Elektrotechniczny, 87(11), 145–149.Google Scholar
  2. 2.
    Bazydło, G., Adamski, M., & Stefanowicz, Ł. (2014). Translation UML diagrams into Verilog. In 7th International Conference on Human System Interactions (HSI) (pp. 267–271). Lisbon, Portugal.Google Scholar
  3. 3.
    Biliński, K. (1996). Application of Petri Nets in parallel controllers design. Ph.D thesis, University of Bristol, Electrical and Electronic Engineering Department, Bristol.Google Scholar
  4. 4.
    Booch, G., Rumbaugh, J., & Jacobson, I. (2005). Unified Modeling Language User Guide (2nd ed.), Addison-Wesley Object Technology Series. Boston: Addison-Wesley Professional.Google Scholar
  5. 5.
    Borowik, G., Łabiak, G., & Bukowiec, A. (2015). Fsm-based logic controller synthesis in programmable devices with embedded memory blocks. In J. Nikodem & R.Klempous (Eds.), Innovative technologies in management and science, Topics in intelligent engineering and informatics (Vol. 10, pp. 123–151). Heidelberg: Springer International Publishing Switzerland, Cham (ISBN: 978-3-319-12651-7).Google Scholar
  6. 6.
    Boutekkouk, F., Benmohammed, M., Bilavarn, S., & Auguin, M. (2009). UML2.0 profiles for embedded systems and systems on a chip (SOCs). Journal of Object Technology, 8(1), 135–157.CrossRefGoogle Scholar
  7. 7.
    de Micheli, G. (1994). Synthesis and optimization of digital circuits, McGraw-Hill series in electronical and computer engineering. New York: McGraw-Hill Inc.Google Scholar
  8. 8.
    Erjavec, T. (2009). Introducing the Xilinx targeted design platform: Fulfilling the programmable imperative. White Paper: Virtex-6 and Spartan-6 FPGA, (306), 6.Google Scholar
  9. 9.
    Fuentes-Fernández, L., & Vallecillo-Moreno, A. (2004). An introduction to UML profiles. UPGRADE, European Journal for the Informatics Professional, 5(2), 5–13.Google Scholar
  10. 10.
    Gajski, D. D., Vahid, F., Narayan, S., & Gong, J. (1994). Specification and design of embedded systems. Englewood Cliffs: Prentice Hall.zbMATHGoogle Scholar
  11. 11.
    Grobelny, M., Grobelna, I., & Adamski, M. (2012). Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. In Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems—PDeS 2012 (pp. 109–114). Brno, Czechy.Google Scholar
  12. 12.
    Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231–274.MathSciNetCrossRefGoogle Scholar
  13. 13.
    Kuschnerusy, D., Brunsy, F., Bilgic, A., & Musch, T. (2012). A UML profile for the development of IEC 61508 compliant embedded software. In Proceedings of the 6th International Congress and Exhibition—Embedded Real Time Software and Systems, ERTS2 2012. Toulouse, FranceGoogle Scholar
  14. 14.
    Łabiak, G. (2003). The use of hierarchical model of concurrent automaton in digital controller design. Ph.D thesis, Warsaw University Of Technology, Faculty of Electronics and Information Technology, Warsaw, May (in polish).Google Scholar
  15. 15.
    Łabiak, G. (2015). HiCoS Homepage. http://www.uz.zgora.pl/~glabiak.
  16. 16.
    Łabiak, G., & Borowik, G. (2010). Statechart-based controllers synthesis in FPGA structures with embedded array blocks. International Journal of Electronics and Telecommunications, 56(1), 13–24.CrossRefGoogle Scholar
  17. 17.
    Łabiak, G., Adamski, M., Doligalski, M., Tkacz, J., & Bukowiec, A. (2012). UML modelling in rigorous design methodology for discrete controllers. International Journal of Electronics and Telecommunications, 58(1), 27–34.CrossRefGoogle Scholar
  18. 18.
    OMG, (2006). 250 First Avenue, Needham, MA 02494. UML profile for system on a chip (SoC), U.S.A. August.Google Scholar
  19. 19.
    Object Management Group: OMG, (2011). 250 First Avenue, Needham, MA 02494. Modeling and analysis of real-time embedded systems, June, U.S.A. UML Profile for MARTE.Google Scholar
  20. 20.
    OMG, 250 First Avenue, Needham, MA 02494, U.S.A., April. This version (2.4.1) has been formally published by ISO as the 2012 edition standard: ISO/IEC 19505-1 and 19505-2.Google Scholar
  21. 21.
    Wood, S. K., Akehurst, D. H., Uzenkov, O., Howells, W. G. J., & McDonald-Maier, K. D. (2008). A model-driven development approach to mapping UML state diagrams to synthesizable VHDL. IEEE Transactions on Computers, 57(10), 1357–1371.MathSciNetCrossRefGoogle Scholar
  22. 22.
    Zwoliński, M. (2004). Digital system design with VHDL (2nd ed.). Upper Saddle River: Prentice Hall.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 2.5 International License (http://creativecommons.org/licenses/by-nc/2.5/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

Authors and Affiliations

  1. 1.Institute of Electrical EngineeringUniversity of Zielona GóraZielona GóraPoland

Personalised recommendations