Model-to-Model based Approach for Software Component Allocation in Embedded Systems

Lujain Al-Dakheel, Issam Al-Azzoni

2017

Abstract

Due to the popularity and heterogeneity of embedded systems, the problem of software component (SW-component) allocation in such systems is receiving increasing attention. Addressing this problem using a graphical modeling language such as Ecore will enable system designers to better and more easily allocate their components. However, the existing Ecore models do not address the problem of SW-component allocation in heterogeneous embedded systems. Because of Ecore informal semantics, Ecore models cannot be analyzed using mathematical tools. On the other hand, an approach based on colored Petri nets (CPNs) was proposed for the modeling and analysis of the software component allocation problem. The approach was shown to be applicable in the field not only with respect to the cost optimization problem, but also because it takes nonfunctional requirements into consideration. In this paper, we propose an approach for the automated transformation of an Ecore model into an equivalent CPN model, which will help the modeler use the power of a formal modeling language by only modeling the system using a simple Ecore-based modeling language.

References

  1. Al-Azzoni, I. (2015). Software component allocation on heterogeneous embedded systems using coloured petri nets. In Proceeding of SOFTENG,The First International Conference on Advances and Trends in Software Engineering, pages 23-28.
  2. Al-Dakheel, L and Al-Azzoni, I (2016). Model-to-Model Based Approach for Software Components Allocation in Embedded Systems. Masters Thesis, King Saud University, Software Engineering Department.
  3. André, E., Benmoussa, M. M., and Choppy, C. (2014). Translating UML state machines to coloured petri nets using Acceleo: A report. arXiv preprint arXiv:1405.1112.
  4. Biermann, E., Ehrig, K., Ermel, C., Köhler, C., and Taentzer, G. (2008). The EMF model transformation framework. Applications of Graph Transformations with Industrial Relevance, pages 566-567.
  5. Carlson, J., Feljan, J., Mäki-Turja, J., and Sjödin, M. (2010). Deployment modelling and synthesis in a component model for distributed embedded systems. In Proceeding of Software Engineering and Advanced Applications (SEAA), 2010, pages 74-82. IEEE.
  6. Choppy, C., Klai, K., and Zidani, H. (2011). Formal verification of UML state diagrams: a Petri net based approach. ACM SIGSOFT Software Engineering Notes, 36(1):1-8.
  7. Force, U. R. T. (2010). OMG Unified Modeling Language: Superstructure. Technical report.
  8. Guo, P., Li, Y., Li, P., Liu, S., and Sun, D. (2014). A UML model to simulink model transformation method in the design of embedded software. In Proceedings of the conference on Computational Intelligence and Security (CIS), pages 583-587.
  9. Hei, X., Chang, L., Ma, W., Gao, J., and Xie, G. (2011). Automatic transformation from UML statechart to Petri nets for safety analysis and verification. In Proceedings of the Quality, Reliability, Risk, Maintenance, and Safety Engineering, pages 948-951.
  10. Jensen, K. (2013). Coloured Petri nets: Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer Science & Business Media.
  11. Jensen, K. and Kristensen, L. M. (2009). Colored petri nets: Modelling and Validation of Concurrent Systems, volume 978.
  12. Petri, C. A. and Reisig, W. (2008). Petri nets. Scholarpedia, 3(4):64-77.
  13. Sanchez Cuadrado, J., Guerra, E., and De Lara, J. (2014). Uncovering errors in atl model transformations using static analysis and constraint solving. In In proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 34-44. IEEE.
  14. Selim, G. M., Cordy, J. R., and Dingel, J. (2012). Model transformation testing: the state of the art. In Proceedings of the First Workshop on the Analysis of Model Transformations, pages 21-26. ACM.
  15. S?vogor, I., Crnkovic, I., and Vrcek, N. (2014a). An extended model for multi-criteria software component allocation on a heterogeneous embedded platform. Journal of Computing and Information Technology, 21(4):211-222.
  16. S?vogor, I., Crnkovic, I., and Vrcek, N. (2014b). An extended model for multi-criteria software component allocation on a heterogeneous embedded platform. Journal of Computing and Information Technology, 21(4):211-222.
  17. Wang, S., Merrick, J. R., and Shin, K. G. (2004). Component allocation with multiple resource constraints for large embedded real-time software design. In Real-Time and Embedded Technology and Applications Symposium, 2004. Proceedings. RTAS 2004. 10th IEEE, pages 219-226. IEEE.
  18. Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A., et al. (2011). A comparison of rule inheritance in model-to-model transformation languages, pages 31-46. Springer.
Download


Paper Citation


in Harvard Style

Al-Dakheel L. and Al-Azzoni I. (2017). Model-to-Model based Approach for Software Component Allocation in Embedded Systems . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 320-328. DOI: 10.5220/0006126903200328


in Bibtex Style

@conference{modelsward17,
author={Lujain Al-Dakheel and Issam Al-Azzoni},
title={Model-to-Model based Approach for Software Component Allocation in Embedded Systems},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={320-328},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006126903200328},
isbn={978-989-758-210-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-to-Model based Approach for Software Component Allocation in Embedded Systems
SN - 978-989-758-210-3
AU - Al-Dakheel L.
AU - Al-Azzoni I.
PY - 2017
SP - 320
EP - 328
DO - 10.5220/0006126903200328