최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보처리학회논문지. The KIPS transactions. Part D. Part D, v.19D no.4, 2012년, pp.281 - 292
이재욱 (충북대학교 컴퓨터과학과) , 홍장의 (충북대학교 컴퓨터과학과)
A wide variety of smartphone applications is increasing the usage time of smartphone. Due to the increased time, it becomes difficult to providing stable services to users with limited battery capacity. The past works have been performed the power management of mobile device toward long-lasting batt...
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
상태 기계 다이어그램이란 무엇인가? | 상태 기계 다이어그램은 임베디드 시스템의 상태 변화를 기반으로 소프트웨어의 동작을 표현하는 모델이다. 그러나 UML에서 제시하는 상태 기계 다이어그램의 표현과 상태기반 분석 기법만으로는 소프트웨어 행위를 통한 성능, 데드락과 같은 비기능적 속성을 분석하고 검증하기에는 충분하지 못하다[16]. | |
상태 기계 다이어그램의 단점은 무엇인가? | 상태 기계 다이어그램은 임베디드 시스템의 상태 변화를 기반으로 소프트웨어의 동작을 표현하는 모델이다. 그러나 UML에서 제시하는 상태 기계 다이어그램의 표현과 상태기반 분석 기법만으로는 소프트웨어 행위를 통한 성능, 데드락과 같은 비기능적 속성을 분석하고 검증하기에는 충분하지 못하다[16]. 이러한 단점을 극복하기 위해 상태 기계 모델을 페트리 넷과 같은 정형 기법으로 변환한 후, 시뮬레이션을 수행하는 다양한 방법들이 제시되었다[17,18]. | |
상태 기계 모델은 무엇으로 구성되는가? | 3[22]에서는 상태 기계 모델을 구성하는 요소들을 그림 3과 같이 메타 모델로 정의하고 있다. 그림 3에서 정의하는 것과 같이 상태 기계는 크게 State, Transition, vertex, 그리고 Region으로 구성된다. State는 시스템의 상태를 직접적으로 표현하는 simple state, composite state, submachine state, final state와 시스템의 상태를 표현하지는 않지만, 시스템의 흐름을 표현하기 위한 사용되는 Pseudo state로써, choice, entry point, exit point, history, initial, junction, terminate 상태가 존재한다[22]. |
M. Caldari, M. Conti, M. Coppola, P. Crippa, S. Orcioni, L. Pieralisi, C. Turchetti, "System-Level Power Analysis Methodology Applied to the AMBA AHB BUS," Design, Automation and Test in Europe, pp.32-37, 2003.
Reinaldo A. Bergamaschi, Yunjian W. Jiang, "State-Based Power Analysis for Systems-on-Chip," Design Automation Conference, pp.638-641, 2003.
Youngjin Cho, Younghyun Kim, Sangyoung Park, Naehyuck Chang, "System-Level Power Estimation using an On-Chip Bus Performance Monitoring Unit," IEEE/ACM International Conference on Computer-Aided Design, pp.149-154, 2008.
V. Tiwari, S. Malik, and A. Wolfe "Power Analysis of Embedded Software: A First Step Towards Software Power Minimization," IEEE Transactions on Very Large Scale Integration (VLSI ) Systems, Vol.2, Issue 4, pp.437-445, 1994.
D. Sarta, D. Trifone, and G. Ascia, "A Data Dependent Approach to Instruction Level Power Estimation," IEEE Alessandro Volta Memorial Workshop on Low Power Design, pp.182-190, 1999.
Klass, B., et. al., "Modeling Inter-instruction energy effects in a digital signal processor," Proceeding of the Power Driven Microarchitecture Workshop, ISCA'98, 1998.
E. Senn, J. Laurent, N. Julien, and E. Martin, "Softexplorer: estimating and optimizing the power and energy consumption of a C program for DSP applications," EURASIP Journal on Applied Signal Progressing, 2005.
A. Muttreja, A. Raghunathan, S. Ravi, N. K. Jha, "Hybrid Simulation for Energy Estimation of Embedded Software," IEEE Transaction on Computer-AIDED Design of Integrated Circuits and Systems, Vol.26, No.10, pp.1843-1854, 2007.
T. K. Tan, A. Raghunathan, et al., "Energy Macromodeling of Embedded Operating Systems," ACM Transaction on Embedded Computing Systems, Vol.4, Issue 1, pp.231-254, 2005.
X. Yue, Z. Xuehai, L. Xi, G. Yuchang, "OOEM: Object-Oriented Energy Model for Embedded Software Reuse," IEEE International Conference on Information Reuse and Integration, pp.551-558, 2003.
T. K. Tan, A. Raghunathan, et al., "Software Architectural Transformations: A New Approach to Low Energy Embedded Software," Proceeding of Design, Automation & Test in Europe, pp.1046-1051, 2003.
Kim, D.H., Kim, J.P., and Hong, J.E., "A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development," LNCS Vol.6543, pp.320-331, 2011.
H. Jun, L. Xuandong, Z. Guoliang, W. Chenghua, "Modelling and Analysis of Power Consumption for Component-Based Embedded Software," Proc. Embedded Ubiquitous Computing Workshops 2006, pp.795-804, 2006.
B. Nogueira, P. Maciel, E, Tavares, E. Andrade, R. Massa, G. Callou, R. Ferraz1, "A Formal Model for Performance and Energy Evaluation of Embedded Systems," EURASIP Journal on Embedded Systems, 2011.
E. Carneiro, P. Maciel, G. Callou, E. Tavares, B. Nogueira, "Mapping SysML State Machine Diagram to Time Petri net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints," International Conference on Advances in Electronics and Micro-electronics, pp.1-6, 2008.
E. Kerkouche, A. A. Chaoui, El Bay Bourennane, O. Labbani "A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation," Journal of Object Technology, Vol.9, No.4, pp.25-43, 2010.
J. Trowitzsch and A. Zimmermann, "Using UML State Machines and Perti Nets for the Quantitative Investigation of ETCS," ACM Value Tools'06, pp.1-8, 2006.
H. Jung and S. Joo, "Transformation of an Activity Model into a Colored Petri Net Model," Int'l conf. on Trends in info. sci. and computing, pp.32-27, 2010.
Kurt Jensen, Coloured Pert Nets, Vol.1 and Vol.2, Spring-Verlag, 1992.
Bammi, J.R., et al., "Software Performance Estimation Strategies in a System-Level Design Tool," Proceedings of CODES, pp.82-86, 2000.
OMG, Unified Modeling Language Superstructure, Version 2.3, Doc #: 2010-05-05, May, 2010.
H.S. Min, Embedded System Programming with UML: Rhapsody in C++ (Ver 7.X), Bogdoo Publisher, 2009.
Meta Software, Design/CPN Reference Manual: Part 3, CPN ML Reference, 1993.
Tan, T.K., Raghunathan, A., Jha, N.K., "EMSIM: An Energy Simulation Framework for an Embedded Operating System," International Symposium of Circuits and Systems, pp.464-467, 2002.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
출판사/학술단체 등이 한시적으로 특별한 프로모션 또는 일정기간 경과 후 접근을 허용하여, 출판사/학술단체 등의 사이트에서 이용 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.