An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes

Fabíola Gonçalves C. Ribeiro, Michel S. Soares

2013

Abstract

The specification, analysis and design of real-time systems (RTS) are activities that are highly dependent on an effective understanding of the application domain and on the thorough representation of their basic requirements. The use of model-based approaches for the development of RTS systems tends to contribute to minimizing the complexity of the system development. UML has been used intensely in recent years for modeling requirements of real-time software. However, UML alone does not completely represent the important features associated with these systems. UML is a language that has several extension capabilities enabling the creation of specific profiles. This article will explore the use of UML profiles SysML and MARTE for the modeling of RTS software requirements, with its main area of application being the control of urban traffic. The main objective is to demonstrate the application of SysML with MARTE stereotypes, which enables the modeling and tracing of individual software requirements.

References

  1. Belategi, L., Sagardui, G., and Etxeberria, L. (2010). Marte mechanisms to model variability when analyzing embedded software product lines. In 14th Proceedings of the International Conference on Software Product Lines, pages 466 - 470.
  2. Bennett, A. J. and Field, A. J. (2004). Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study. In 12th Annual International Symposium on the IEEE Computer Society's, pages 67-75.
  3. Bianco, V. D., Lavazza, L., and Mauri, M. (2002). A formalization of uml statecharts for real-time software modeling. In Integrate Design and Process Technoly (IDPT), pages 1 - 8.
  4. Espinoza, H., Cancila, D., Selic, B., and Gerard, S. (2009). Challenges in combining sysml and marte for model - based design of embedded systems. In 5th European Conference (ECMDA-FA), pages 98 - 113.
  5. Gomez, C., DeAntoni, J., and Mallet, F. (2012). Multi-view power modeling based on uml, marte and sysml. In EUROMICRO-SEAA, pages 17 - 20.
  6. Heisel, M. and Cote, I. (2011). A UML Profile and Tool Support for Evolutionary Requirements Engineering. In 15th Software Maintenance and Reengineering, pages 161-179.
  7. Helming, J., Schneider, F., Haeger, M., Kaminski, C., Bruegge, B., and Berenbach, B. (2010). Towards a unified requirements modeling language. In 15th International Workshop on Requirements Engineering Visualization (REV), pages 53-57.
  8. IEEE (1998). IEEE Recommended Practice for Software Requirements Specifications.
  9. Iqbal, M. Z., Arcuri, A., and Briand, L. (2011). Code Generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-Time Embedded Software. Technical Report 2011-04, Version 2, Simula Research Laboratory.
  10. Iqbal, M. Z. Z., Ali, S., and Yue, T. ad Briand, L. C. (2012). Experiences of Applying UML/MARTE on Three Industrial Projects. In 15th Model Driven Engineering Languages and Systems (MoDELS), pages 642 - 658.
  11. Kumar, B. and Jasperneite, J. (2010). Uml profiles for modeling real-time communication protocols. Journal of Object Technology, 9:178-198.
  12. OMG (2005). UML Profile for Schedulability, Performance, and Time, Version 1.1. Technical report, OMG.
  13. OMG (2011a). UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG.
  14. OMG, M. (2011b). Modeling and Analysis of Real-Time and Embedded Systems (MARTE)- version 1.1. Technical Report Formal/2011-06-02.
  15. OMG, S. (2010). Systems Modeling Language (SysML) Specification - version 1.1.
  16. OMG, U. (2011c). Linguagem de Modelagem Unificada - version 2.3. verso 2.3.
  17. Quadri, I. R., Brosse, E., Gray, I., Matragkas, N. D., Indrusiak, L. S., Rossi, M., and Bagnato, A. Sadovykh, A. (2012a). MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. In 7th Int. Workshop on Reconfigurable Communication-centric Systemson-Chip (ReCoSoC), pages 1 - 8.
  18. Quadri, I. R., Soares, L., Gray, I., Indrusiak, L. S., and Bagnato, A. Sadovykh, A. (2012b). MADES: A SysML/MART E high level methodology for real-time and embedded systems. In 7th Int. Conf. on HighPerformance and Embedded Architectures and Compilers, pages 1 - 2.
  19. Roger, P. R., Elena, S. P., and William, R. M. (2003). Traffic Engineering. Prentice Hall, New Jersey, NJ, USA, 3 edition.
  20. Shousha, M., Briand, L. C., and Labiche, Y. (2012). A uml/marte model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems. IEEE Transactions on Software Engineering, 38(2):354-374.
  21. Xu, J., Li, T., Xie, Z., and Gao, T. (2011). Use cases and feedback in functional requirements analysis. In Information Technology, Computer Engineering and Management Sciences (ICM), volume 2, pages 54-57.
  22. Xu, J., Woodside, M., and Petriu, D. (2003). Performance analysis of a software design using the uml profile for schedulability, performance and time. In Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, pages 291 - 310.
Download


Paper Citation


in Harvard Style

C. Ribeiro F. and S. Soares M. (2013). An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 70-81. DOI: 10.5220/0004449800700081


in Bibtex Style

@conference{iceis13,
author={Fabíola Gonçalves C. Ribeiro and Michel S. Soares},
title={An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={70-81},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004449800700081},
isbn={978-989-8565-60-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes
SN - 978-989-8565-60-0
AU - C. Ribeiro F.
AU - S. Soares M.
PY - 2013
SP - 70
EP - 81
DO - 10.5220/0004449800700081