An Approach based on SysML and SystemC to Simulate Complex Systems

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouet

2014

Abstract

The complexity of heterogeneous systems has been increased during last years. One challenge of designing these systems is to deal with the application of methodologies based on Model Driven Architecture (MDA). MDA is a development framework that enables the description of systems by means of different models with transformations. This is an important area of research and consists on developping methodologies to reduce cost and time spent during their development. In our case, SysML, targets system descriptions in a high level of abstraction and provide diagrams for requirements. SystemC language is chosen as an alternative to the traditional languages and its simulation kernel is an important aspect which allows the designer to evaluate the system behaviours through simulations. This paper proposes a combined approach based on MDA concepts and rules to transform SysML semi-formal model to SystemC. The transformations are ensured by ATL language. A traffic light system is taken as a reference case study and used to illustrate our practical application. It is implemented on TopCased platform.

References

  1. (2012). IEEE Standard for Standard SystemC Language Reference Manual. IEEE Std 1666-2011 (Revision of IEEE Std 1666-2005), pages 1-638.
  2. Black, D. C. (2010). SystemC: From the ground up, volume 71. Springer.
  3. Bombino, M. and Scandurra, P. (2012). A model-driven cosimulation environment for heterogeneous systems. International Journal on Software Tools for Technology Transfer, pages 1-12.
  4. Bouquet, F., Gauthier, J., Hammad, A., and Peureux, F. (2012). Transformation of SysML structure diagrams to VHDL-AMS. In Design, Control and Software Implementation for Distributed MEMS (dMEMS), 2012 Second Workshop, pages 74-81. IEEE.
  5. Boutekkouk, F. (2010). Automatic SystemC code generation from UML models at early stages of systems on chip design. International Journal of Computer Applications, 8(6):10-17.
  6. Elsheikh, A., Widl, E., Pensky, P., Dubisch, F., Brychta, M., Basciotti, D., and Mü ller, W. (2013). Modelicaenabled rapid prototyping via TRNSYS. In BS2013, The 13th International Conference of the International Building Performance Simulation Association.
  7. Garro, A., Parisi, F., and Russo, W. (2013). A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models. In Simulation and Modeling Methodologies, Technologies and Applications, pages 113-129. Springer.
  8. Gascuen˜ a, J. M., Navarro, E., and Fernández-Caballero, A. (2012). Model-driven engineering techniques for the development of multi-agent systems. Engineering Applications of Artificial Intelligence, 25(1):159-173.
  9. Hause, M., Stuart, A., Richards, D., and Holt, J. (2010). Testing safety critical systems with SysML/UML. In Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, pages 325-330. IEEE.
  10. Jain, V., Kumar, A., and Panda, P. (2012). Exploiting UML based validation for compliance checking of TLM 2 based models. Design Automation for Embedded Systems, 16(2):93-113.
  11. Nicolescu, G., O'Connor, I., and Piguet, C. (2011). Design technology for heterogeneous embedded systems. Springer Publishing Company, Incorporated.
  12. Nikiforova, O., Pavlova, N., Gusarovs, K., Gorbiks, O., Vorotilovs, J., Zaharovs, A., Umanovskis, D., Sejans, J., et al. (2012). Development of the Tool for Transformation of the Two-Hemisphere Model to the UML Class Diagram: Technical Solutions and Lessons Learned. In Proceedings of the 5th International Scientific Conference Applied Information and Communication Technology, pages 11-19.
  13. Pontisso, N. and Chemouil, D. (2006). Topcased combining formal methods with model-driven engineering. In Automated Software Engineering, 2006. ASE'06. 21st IEEE/ACM International Conference on, pages 359- 360. IEEE.
  14. Rao, B. H. and Padmaja, K. (2013). Study of Modern Modeling Techniques for Model Based Systems Engineering Methodologies. International Journal of Engineering, 2(8).
  15. Riccobene, E. and Scandurra, P. (2012). Integrating the SysML and the SystemC-UML profiles in a modeldriven embedded system design flow. Design Automation for Embedded Systems, pages 1-39.
  16. Riccobene, E., Scandurra, P., Bocchio, S., Rosti, A., Lavazza, L., and Mantellini, L. (2009). SystemC/Cbased model-driven design for embedded systems. ACM Transactions on Embedded Computing Systems (TECS), 8(4):30.
  17. Scholtz, B., Calitz, A., and Snyman, I. (2013). The usability of collaborative tools: application to business process modelling. In Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, pages 347-358. ACM.
  18. Vanderperren, Y., Mueller, W., He, D., Mischkalla, F., and Dehaene, W. (2012). Extending UML for Electronic Systems Design: A Code Generation Perspective. In Design Technology for Heterogeneous Embedded Systems, pages 13-39. Springer.
Download


Paper Citation


in Harvard Style

Abdulhameed A., Hammad A., Mountassir H. and Tatibouet B. (2014). An Approach based on SysML and SystemC to Simulate Complex Systems . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 555-560. DOI: 10.5220/0004809205550560


in Bibtex Style

@conference{modelsward14,
author={Abbas Abdulhameed and Ahmed Hammad and Hassan Mountassir and Bruno Tatibouet},
title={An Approach based on SysML and SystemC to Simulate Complex Systems},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={555-560},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004809205550560},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - An Approach based on SysML and SystemC to Simulate Complex Systems
SN - 978-989-758-007-9
AU - Abdulhameed A.
AU - Hammad A.
AU - Mountassir H.
AU - Tatibouet B.
PY - 2014
SP - 555
EP - 560
DO - 10.5220/0004809205550560