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.
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- Bernard, B. and V. Francois (2006). Time petri nets analysis with tina. Quantitative Evaluation of Systems, International Conference on, 123--124. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 Scholar
- 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 ScholarDigital Library
- Gómez, C. (2009). Modeling complex systems using sysml. Master's thesis, Universidad de los Andes, Bogotá, Colombia.Google Scholar
- 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 ScholarCross Ref
- 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 Scholar
- 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 Scholar
- 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 ScholarDigital Library
- Sommerville, I. (1995). Software engineering (5th ed.). Redwood City, CA, USA: Addison Wesley Longman Publishing Co., Inc. Google ScholarDigital Library
- Stahl, T. and M. Völter (2006). Model-Driven Software Development: Technology, Engineering, Management. Chichester, UK: Wiley. Google ScholarDigital Library
- Tanenbaum, A. S. and J. R. Goodman (1998). Structured Computer Organization (4th ed.). Upper Saddle River, NJ, USA: Prentice Hall PTR. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
Index Terms
HiLeS2: model driven embedded system virtual prototype generation
Recommendations
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow
Modern embedded systems development, due to systems complexity and multifaceted nature, requires flexible high-level design techniques and notations. In this context, model-driven approaches are gaining popularity, both in industry as well as in academy,...
Model-driven development of simulation solution based on SysML starting with the simulation core
TMS-DEVS '11: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S SymposiumToday's market is filled with a variety of simulation solutions for discrete-event simulation, but each one has its own meta-model. A conversion between these meta-models is complicated or even impossible. In some cases this is intended by the vendor of ...
Automated transformation of design text ROM diagram into SysML models
This paper proposes an approach to generating System Modeling Language (SysML) diagrams from a Recursive Object Model (ROM) diagram. The ROM diagram represents entities (or concepts) and three kinds of relations between these entities found in a ...
Comments