Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2008.15-D.1.87

A Partition Technique of UML-based Software Models for Multi-Processor Embedded Systems  

Kim, Jong-Phil (충북대학교 전자계산학과)
Hong, Jang-Eui (충북대학교 컴퓨터공학)
Publication Information
The KIPS Transactions:PartD / v.15D, no.1, 2008 , pp. 87-98 More about this Journal
Abstract
In company with the demand of powerful processing units for embedded systems, the method to develop embedded software is also required to support the demand in new approach. In order to improve the resource utilization and system performance, software modeling techniques have to consider the features of hardware architecture. This paper proposes a partitioning technique of UML-based software models, which focus the generation of the allocatable software components into multiprocessor architecture. Our partitioning technique, at first, transforms UML models to CBCFGs(Constraint-Based Control Flow Graphs), and then slices the CBCFGs with consideration of parallelism and data dependency. We believe that our proposition gives practical applicability in the areas of platform specific modeling and performance estimation in model-driven embedded software development.
Keywords
Embedded Software; UML Diagram; CBCFG; Model Partitioning;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 W. Plishker, et. al., 'Automated Task Allocation on Single Chip, Hardware Multithreaded Multiprocessor Systems,' Workshop on Embedded Parallel Architecture(WEPA-1), pp.14-20, Feb., 2004
2 T.S. Dahl, et. al, 'Scheduling with Group Dynamics: a Multiple-Robot Task Allocation Algorithm based on Vacancy Chains,' Technical Report CRES-002-07, Center for Robotics and Embedded Systems, Univ. of Southern California, 2002
3 P.G. Paulin, et. al., 'Parallel Programming Models for Multi-Processor SoC Platform Applied to High-Speed Traffic Management,' The Proceedings of CODES'04, pp.48-53, Sep., 2004
4 V. Garousi, L. Briand, and Y. Labiche, 'Control Flow Analysis of UML 2.0 Sequence Diagrams,' Carleton University TR SCE-05-09, Sept., 2005   DOI   ScienceOn
5 H. Storrle, 'Semantics of Control-Flow in UML 2.0 Activities,' Proceedings of IEEE VLHCC'04, pp.235-242, Sept., 2004
6 N. Li, Y. J. Fang, 'Software/hardware Patition in Multiple Processors Embedded System,' Proceedings of 4th ICMLC'05, pp.165-170, Aug., 2005
7 H. Gomaa, 'Designing Concurrent, Distributedm and Real-Time Applications with UML', Addison-Wesley, 2000
8 B. P. Douglass, 'Real Time UML', 3rd ed., Addison-Wesley, 2004
9 B. P. Douglass, 'Real-Time UML Workshop for Embedded Systems', Newnes, 2007
10 Jang-Eui Hong and Doo-Hwan Bae, 'MDA-Based Embedded Software Development for Multiprocessor Architecture,' Communications of KISS, Vol.24, No.8, pp.19-25, 2006
11 K. Kyriakopoulos and K. Psarris, 'Data Dependence Analysis for Complex Loop Regions,' pp.195-204, Proceedings of Parallel Processing, pp.195-204, Sept., 2001
12 B. Horowitz, et. al., 'Platform-Based Embedded Software Design and System Integration for Autonomous Vehicles,' Proceedings of the IEEE, Vol.19, No.1, pp.198-211, Jan. 2003   DOI   ScienceOn
13 OMG, 'UML 2.0 Superstructure Specification', Doc #ptc-04-10-20, Oct., 2004
14 김우열, 김영철, '확장된 xUML을 사용한 MDA 기반 이종 임베디드 소프트웨어의 컴포넌트 모델링에 관한 연구,' 정보처리학회논문지D, Vol.14-D, No.1, pp.83-88, 2007년 2월   DOI   ScienceOn
15 A. Jerraya, and W. Wolf, 'Multiprocessor Systems-on-Chip', Morgan Kaufmann, Sep., 2004
16 Giovanni De Micheli, 'MPSoc HW Challenges - Reliability and Reliable Design,' Tutorial of MPSoC'05, France, July, 2005
17 P. Blasio, K. Fisher, and C. Talcott, 'A Control-Flow Analysis for a Calculus of Concurrent Object,' IEEE TSE, Vol.26, No.7, pp.617-634, July, 2000
18 J. Zhao, 'Control-Flow Analysis and Representation for Aspect-Oriented Programs,' Proceedings of QSIC'06, Beijing Chian, pp.38-48, Oct., 2006
19 G. Vanmeerbeek, et. al., 'Hardware/Software Partitioning of Embedded System in OCAPI-xl, Proceedingd of CODES'01, Denmark, pp.30-35, 2001
20 H. Hollstein, et. al., 'HiPART: A New Hierarchical Semi-Interactive HW/SW Partitioning Approach with Fast Debugging for Real-Time Embedded Systems,' Proceedings of the CODES'98, pp.29-33, USA, Mar, 1998
21 H. Cornelis and E.D. Schutter, 'Neurospaces: Towards Automated Model Partitioning for Parallel Computers,' Journal of Neurocomputing, Vol.70, pp.2117-2121, 2007   DOI   ScienceOn
22 K. Hering, G.Runger, and S. Trautmann, 'Modular Construction of Model Partitioning Process for Parallel Logic Simulation,' Parallel Processing Workshop, 2001, pp.99-105, Sept. 2001
23 T. Jacobson and G. Stubbendieck, 'Dependency Analysis for For-Loop Structures for Automatic Parallelization of C Code,' Proceedings of the MICS 2003, Duluth, April, 2003
24 Symbian, 'Symbian OS Ver 9.1 Product description', Revision 1.1, Feb., 2005