Developing platform specific model for MPSoC architecture from UML-based embedded software models

Journal of Systems and Software

Volumn 82, Issue 10, 2009, Pages 1695-1708

  Jeon, Sang Uk ^a   Hong, Jang Eui ^b   Song, In Gwon ^a   Bae, Doo Hwan ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^b Chungbuk National University   (South Korea)

Author keywords

Embedded software; MPSoC; Platform independent model; Platform specific model; Task allocation; UML

Indexed keywords

MPSOC; PLATFORM INDEPENDENT MODEL; PLATFORM SPECIFIC MODEL; TASK ALLOCATION; UML;

ARCHITECTURAL DESIGN; SOFTWARE ARCHITECTURE;

EMBEDDED SOFTWARE;

EID: 69649100625     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2009.04.043     Document Type: Article

References (40)

1. Agrawal, A., 2003. Metamodel based model transformation language. In: OOPSLA'03: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 386-387.
2. Alur R., Dang T., Esposito J., Hur Y., Ivancic F., Kumar V., Lee I., Mishra P., Pappas G.J., and Sokolsky O. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91 (2003) 11-28
3. Atitallah, R.B., Niar, S., Meftali, S., Dekeyser, J.-L., 2007. An MPSoC performance estimation framework using transaction level modeling. In: RTCSA'07: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 525-533.
4. ATLAS Group, 2008. ATLAS Transformation Language. .
5. Benini, L., Bertozzi, D., Guerri, A., Milano, M., Poletti, F., 2005. Measuring efficiency and executability of allocation and scheduling in multi-processor systems-on-chip. Intelligenza Artificiale 2 (3), 13-20.
6. Bezivin J., Jouault F., Rosenthal P., and Valduriez P. Modeling in the large and modeling in the small. Lecture Notes in Computer Science 3599 (2005) 33-46
7. Boudiur R., and Kimour M.T. From design specification to SystemC. Journal of Computer Science 2 2 (2006) 201-204
8. CoFluent Design, 2008. CoFluent Studio. .
9. Dahl, T.S., Mataric, M.J., Sukhatme, G.S., 2002. Workshop on Model-driven Architecture and Program Generation. Technical Report CRES-002-07.
10. Douglass B.P. Real-Time UML Workshop for Embedded Systems (2006), Newnes
11. ESUML, 2007. ESUML: Embedded Software Modeling using UML 2.0 for MPSoC Architecture. .
12. Fredriksson, J., Sandstrom, K., Akerholm, M., 2005. Optimizing resource usage in component-based real-time systems. In: International Symposium on Component-based Software Engineering, pp. 49-65.
13. Garousi, V., Briand, L.C., Labiche, Y., 2005. Control Flow Analysis of UML 2.0 Sequence Diagrams. Technical Report SCE-05-09, Carleton University. .
14. Gerard S., Babau J.-P., and Champeau J. Model Driven Engineering for Distributed Embedded Systems (2005), ISTE Publishing Company
15. Gomaa H. Designing Concurrent, Distributed, and Real-Time Application with UML (2000), Addison-Wesley
16. Ha, S., 2006. Model-based framework for embedded software design and verification for MPSoC. In: Communications of the Korea Information Science Society, vol. 24.
17. Hong, B., Prasanna, V.K., 2004. Distributed adaptive task allocation in heterogeneous computing environments to maximize throughput. In: Proceedings of 18th International Parallel and Distributed Processing Symposium (IPDPS'04), pp. 52-61.
18. Hong, J.-E., Bae, D.-H., 2006. MDA-based embedded software development for multiprocessor architecture. In: Communications of the Korea Information Science Society, vol. 24, pp. 19-25.
19. IST, 2004. MASTER - Model Driven Architecture Instrumentation, Enhancement and Refinement. .
20. Jacobson I., Booch G., and Rumbaugh J. The Unified Software Development Process (1999), Addison-Wesley, Longman
21. Jeon, S.-U., Hong, J.-E., Bae, D.-H., 2006a. Interaction-based behavior modeling of embedded software using UML 2.0. In: Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 351-358.
22. Jeon S.-U., Hong J.-E., and Bae D.-H. Using operational architecture to model embedded software. Proceedings of the 13th Asia-Pacific Software Engineering Conference (2006), IEEE Computer Society 157-164
23. Jerraya A., and Wolf W. Multiprocessor Systems-on-Chip (2004), Morgan Kaufmann
24. Kleppe A., Warmer J., and Bast W. MDA Explained: The Model Driven Architecture: Practice and Promise (2003), Addison-Wesley
25. Lewis, G.A., Meyers, B.C., Wallnau, K., 2006. Workshop on Model-Driven Architecture and Program Generation. Technical Note CMU/SEI-2006-TN-031, SEI.
26. Lu, S., Halang, W.A., Zhang, L., 2005. A component-based UML profile to model embedded real-time systems designed by the MDA approach. In: RTCSA'05: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 563-566.
27. Mirabilis Design, 2008. VisualSim. .
28. Mohr, B., Malony, A.D., Shende, S., Wolf, F., 2001. Design and prototype of a performance tool interface for openmp. In: Proceedings of the LACSI Symposium.
29. NIST, 2001. FIPS-PUB-197: Advanced Encryption Standard. NIST.
30. OMG, 2007. UML Superstructure Specification, V2.1.2. .
31. OMG, 2008a. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Formal/2008-04-03. .
32. OMG, 2008b. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2 (ptc/08-06-08). .
33. Open SystemC Initiative, 2008. SystemC. .
34. OptXware Research & Development LLC, 2008. VIATRA2 (VIsual Automated model TRAnsformations) Framework. .
35. Paulin, P.G., Pilkington, C., Langevin, M., Bensoudane, E., Nicolescu, G., 2004. Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management. In: CODES + ISSS'04: Proceedings of the Second IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, pp. 48-53.
36. Plishker, W., Ravindran, K., Shah, N., Keutzer, K., 2004. Automated task allocation on single chip, hardware multithreaded multiprocessor systems. In: Workshop on Embedded Parallel Architecture (WEPA-1), pp. 14-20.
37. Rouxel, S., Diguet, J.-P., Gogniat, G., Bulteau, N., Carre_Gourdin, J., Goubard, J.-E., Moy, C., 2005. UML framework for PIM and PSM verification of SDR system. In: SDR Forum Technical Conference.
38. Song, I.-G., 2007. Implied Scenario Analysis in UML 2.0 Scenario Specification. Master's Thesis, KAIST, Korea. .
39. Tan, T.K., Raghunathan, A., Jha, N.K., 2003. EMSIM-2.0: Embedded StrongARM Energy Simulator. .
40. Weis T., Ulbrich A., and Geihs K. Model metamorphosis. IEEE Software 20 5 (2003) 46-51