skip to main content
10.5555/2048476.2048485acmotherconferencesArticle/Chapter ViewAbstractPublication PagesspringsimConference Proceedingsconference-collections
research-article

HiLeS2: model driven embedded system virtual prototype generation

Published:03 April 2011Publication History

ABSTRACT

Embedded system virtual prototyping allows exploration of solutions in system architecture and hardware specification, prior to real prototype construction, resulting in higher quality products, shorter time to market and cost reduction. Virtual prototypes allow simulation of the system so designers can analyze and evaluate their design decisions against system response. However, benefits in costs, shorter developing times and simulation capabilities can be affected by Virtual Prototype (VP) construction and modification, especially if done directly in Hardware Description Languages (HDL). The reasons are associated with being a manual error prone activity, the difficulty on keeping the VP in conformance to design requirements and the risk of simulations being hard to analyze. We propose a Model-Driven approach to generate automatically from a SysML high-level specification, structure and behavior, a VP in a HDL. Our proposal aims at providing a design methodology, significantly reducing the amount of manual code to diminish errors and increase simulation to design traceability. In our approach, we use a pivot language called HiLeS which is based on a Petri Net formalism facilitating the transformation into the HDL and allowing behavior verification. The paper presents the methodology and the model transformations done, specifically, to obtain from SysML sequence diagrams Petri Net models.

References

  1. Alur, R., T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivančić, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky (2001). Hierarchical Hybrid Modeling of Embedded Systems, Volume 2211/2001. Springer Berlin/Heidelberg. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Barreto, R., P. Maciel, E. Tavares, R. Freitas, M. Oliveira, and R. Lima (2008). A time petri net-based method for embedded hard real-time software synthesis. Design Automation for Embedded Systems 12, 31--62.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Bernard, B. and V. Francois (2006). Time petri nets analysis with tina. Quantitative Evaluation of Systems, International Conference on, 123--124. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Bunse, C., H.-G. Gross, and C. Peper (2007). Applying a model-based approach for embedded system development. In 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 121--128. Euromicro: IEEE Computer Society. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Combemale, B., X. Crégut, P.-L. Garoche, and X. Thirioux (2008, Nov). Essay on semantics denition in mde an instrumented approach for model verication. Journal of Software Vol 4(09), 943--958.Google ScholarGoogle Scholar
  6. Gamatié, A., S. L. Beux, E. Piel, R. B. Atitallah, A. Etien, P. Marquet, and J.-L. Dekeyser (2010). A model driven design framework for massively parallel embedded systems. ACM Transactions on Embedded Computing Systems (TECS). To appear. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Gómez, C. (2009). Modeling complex systems using sysml. Master's thesis, Universidad de los Andes, Bogotá, Colombia.Google ScholarGoogle Scholar
  8. Gómez, C., J. Jiménez, J. Pascal, and P. Esteban (2010a, November). Heterogeneous systems verification on hiles designer tool. In 36th Annual Conference of the IEEE Industrial Electronics Society (IECON-2010).Google ScholarGoogle ScholarCross RefCross Ref
  9. Gómez, C., J. Jiménez, J. Pascal, and P. Esteban (2010b). Hiles designer: a modeling tool for embedded systems design validation. In 5th InternationalConference on Production Research. Technologies in Logistics and Manufacturing for Small and Medium Enterprises.Google ScholarGoogle Scholar
  10. Prevostini, M. and E. Zamsa (2007). Sysml profile for soc design and systemc transformation. Technical report, Faculty of Informatics University of Lugano, Via G. Buffi 13, CH-6904 Lugano.Google ScholarGoogle Scholar
  11. Riccobene, E., P. Scandurra, A. Rosti, and S. Bocchio (2006). A model-driven design environment for embedded systems. In 43rd annual Design Automation Conference, pp. 915--918. SIGDA and ACM: ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Sommerville, I. (1995). Software engineering (5th ed.). Redwood City, CA, USA: Addison Wesley Longman Publishing Co., Inc. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Stahl, T. and M. Völter (2006). Model-Driven Software Development: Technology, Engineering, Management. Chichester, UK: Wiley. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Tanenbaum, A. S. and J. R. Goodman (1998). Structured Computer Organization (4th ed.). Upper Saddle River, NJ, USA: Prentice Hall PTR. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Tilley, S., S. Murphy, and S. Huang (2005). 5th international workshop on graphical documentation: determining the barriers to adoption of uml diagrams. In Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information, SIGDOC '05, New York, NY, USA, pp. 4--5. ACM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Vanderperren, Y. and W. Dehaene (2006). From uml/sysml to matlab/simulink: Current state and future perspectives. In Design, automation and test in Europe, pp. 93. The EDA Consortium: European Design and Automation Association. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. HiLeS2: model driven embedded system virtual prototype generation

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader