The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (2008 vol.57)
pp: 1357-1371
Steve K. Wood , University of Kent, Canterbury
David H. Akehurst , University of Kent, Canterbury
Oleg Uzenkov , Unicore, Kiev
W.G.J. Howells , University of Kent, Canterbury
Klaus D. McDonald-Maier , University of Essex, Colchester
ABSTRACT
With the continuing rise in the complexity of embedded systems, there is an emerging need for a higher level modelling environment that facilitates efficient handling of this complexity. The aim here is to produce such a high level environment using Model Driven Development (MDD) techniques that maps a high level abstract description of an electronic embedded system into its low level implementation details. The Unified Modelling Language (UML) is a high level graphical based language that is broad enough in scope to model embedded systems hardware circuits. The authors have developed a framework for deriving Very High Speed Integrated Circuits Hardware Description Language (VHDL) code from UML state diagrams and defined a set of rules that enable automated generation of synthesisable VHDL code from UML specifications using MDD techniques. By adopting the techniques and tools described in this paper the design and implementation of complex state-based systems is greatly simplified.
INDEX TERMS
State diagrams, Object-oriented design methods, Domain-specific architectures
CITATION
Steve K. Wood, David H. Akehurst, Oleg Uzenkov, W.G.J. Howells, Klaus D. McDonald-Maier, "A Model-Driven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL", IEEE Transactions on Computers, vol.57, no. 10, pp. 1357-1371, October 2008, doi:10.1109/TC.2008.123
REFERENCES
[1] Telelogic, “Rhapsody: Model-Driven Development Software with UML 2.0,” http://modeling.telelogic.com/products/rhapsody software, 2008.
[2] Xilinx, “StateCAD,” http:/www.xilinx.com, 2008.
[3] OMG, “UML 2.0 Superstructure Specification,” Object Management Group, Aug. 2005.
[4] OMG, “UML 2.0 OCL Specification Version 2.0,” Object Management Group pct/05-06-06, June 2005.
[5] J.M. Daveau, G.F. Marchioro, C.A. Valderrama, and A.A. Jerraya, “VHDL Generation from SDL Specification Hardware Description Languages and Their Applications,” Proc. Conf. Computer Hardware Description Languages and Their Applications, 1997.
[6] S. Narayan, F. Vahid, and D.D. Gajski, “Translating System Specifications to VHDL,” Proc. IEEE European Design Automation Conf., 1991.
[7] F. Coyle and M. Thornton, “From UML to HDL: A Model Driven Architectural Approach to Hardware-Software Co-Design,” Proc. Information Systems: New Generations Conf., 83, Apr. 2005.
[8] D. Bjórklund and J. Lilius, “From UML Behavioural Descriptions to Efficient Synthesizable VHDL,” Proc. 20th IEEE Norchip Conf., 2002.
[9] G. Savaton, J. Delatour, and K. Courtel, “Roll Your Own Hardware Description Language: An Experiment in Hardware Development Using Model Driven Software Tools,” Proc. Best Practices for Model Driven Software Development, OPPSLA and GPCE Workshop, http://www.softmetaware.com/oopsla2004delatour. pdf , Oct. 2004.
[10] MODEASY-Team: MODEASY Project, http://www.lifl.frmod easy, 2008.
[11] A.J. Berre, A. Hahn, D.H. Akehurst, J. Bezivin, A. Tsalgatidou, F. Vermaut, L. Kutvonen, and P.F. Linington, “State-of-the Art for Interoperability Architecture Approaches,” InterOP, 2004.
[12] “OMG, MOF 2.0/XMI Mapping Specification, v. 2.1,” OMG, 2005.
[13] OMG, “Request for Proposal: MOF 2.0 Query/Views/Transformations RFP,” Object Management Group ad/2002-04-10, Apr. 2002.
[14] OMG, “Adopted Specification: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification,” Object Management Group ptc/05-11-01, Nov. 2005.
[15] W.E. McUmber and B.H. Cheng, “UML-Based Analysis of Embedded Systems Using a Mapping to VHDL,” Proc. IEEE High Assurance Software Eng., 1999.
[16] K. Carter, “UML Action Specification Language Reference Guide: ASL Language Level 2.5,” http:/www.kc.com, 2001.
[17] M. Fowler, UML Distilled, A Brief Guide to the Standard Object Modelling Language, third ed. Addison-Wesley Professional, 2004.
[18] D. Harel, “Statecharts: A Visual Formalism for Complex Systems,” Science of Computer Programming, vol. 8, pp. 231-274, 1987.
[19] IEEE, IEEE Standard VHDL Language Reference Manual, IEEE Standard 1076, 2000 ed., 2000.
[20] Mentor Graphics, “HDL Designer,” http:/www.mentor.com, 2008.
[21] WithClass 2000, http:/www.microgold.com, 2008.
[22] J. Sztipanovits and G. Karsai, “Model-Integrated Computing,” Computer, pp. 110-112, Apr. 1997.
[23] J. Sztipanovits and G. Karsai, “Generative Programming for Embedded Systems,” Proc. Generative Programming and Component Eng., vol. 2787, pp. 32-49, 2002.
[24] E. Jackson and J. Sztipanovits, “Using Separation of Concerns for Embedded Systems Design,” Proc. Int'l Conf. Embedded Software, CD-ROM, Sept. 2005.
[25] G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty, “Model-Integrated Development of Embedded Software,” Proc. IEEE, vol. 91, no. 1, pp. 145-164, Jan. 2003.
[26] A. Agrawal, “Graph Rewriting and Transformation (GReAT): A Solution for the Model Integrated Computing (MIC) Bottleneck,” Proc. 18th IEEE Int'l Conf. Automated Software Eng., pp. 364-368, Oct. 2003.
[27] A. Ledeczi, A. Bakay, and M. Maroti, “Model-Integrated Embedded Systems,” Self Adaptive Software, Robertson, Shrobe, and Laddaga, eds., Springer-Verlag, Feb. 2001.
[28] D.H. Akehurst, B. Bordbar, M. Evans, W.G. Howells, and K.D. McDonald-Maier, “SiTra: Simple Transformations in Java,” Proc. ACM/IEEE Ninth Int'l Conf. Model Driven Eng. Languages and Systems, pp. 351-364, http://www.cs.bham.ac.uk/~bxbSiTra. html , Oct. 2006.
[29] O. Uzenkov, “A Model Driven Development (MDD) Based Approach to Modelling Electronic Embedded Systems,” MSc thesis, Univ. of Kent, Canterbury, 2006.
[30] “Synthesis and Simulation Design Guide—3.3.06i,” Xilinx, http://toolbox.xilinx.com/docsan/3_1i/pdf xilinx_manuals.pdf, 2000.
[31] K. Kuusilinna, V. Lahtinen, T. Hämäläinen, and J. Saarinen, “Finite State Machine Encoding for VHDL Synthesis,” Proc. IEE Computer and Digital Techniques, 2001.
[32] S. Golson, “One-Hot State Machine Design for FPGAs,” Proc. Third PLD Design Conf., 1993.
[33] OMG Adopted Specification, “A UML Profile for MARTE, Beta1,” Object Management Group pct/07-08-04, Aug. 2007.
[34] D.H. Akehurst, W.G. Howells, and K.D. McDonald-Maier, “Kent Model Transformation Language,” Proc. Model Transformations in Practice Workshop, part of the ACM/IEEE Eighth Int'l Conf. Model Driven Eng. Languages and Systems (MoDELS), 2005.
[35] IBM, “Eclipse Universal Tool Platform,” http:/www.eclipse.org, 2008.
[36] IBM, “Eclipse Modeling Framework,” http://www.eclipse.orgemf/, 2008.
[37] D.H. Akehurst, “An OO Visual Language Definition Approach Supporting Multiple Views,” Proc. IEEE Symp. Visual Languages, Sept. 2000.
[38] D.H. Akehurst and O. Patrascoiu, “Tooling Metamodels with Patterns and OCL,” Proc. First Int'l Workshop Metamodelling for MDA, A. Evans, P. Sammut, and J.S. Willans, eds., Nov. 2003.
[39] OCL-Team: Kent OCL Library, www.cs.kent.ac.uk/projectsocl, 2008.
[40] D. Harel and M. Politi, “Modeling Reactive Systems with Statecharts,” Computing, McGraw-Hill, 1998.
[41] Mentor Graphics Corporation: ModelSim SE Plus 6.1a, http:/www.model.com, 2008.
[42] Xilinx Inc.: Project Navigator v8.2i, http:/www.xilinx.com, 2008.
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool