• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.133-135
• /
• 2006

실시간 프로그램은 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수 분석은 큰 비중을 차지한다. 현재 이러한 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라지고, 자동화를 위한 반복횟수 계산 수식의 적용 범위가 제한되어 있다. 본 논문에서는 이러한 제어변수를 결정 및 탐색하고, 수집된 정보를 개선된 수식을 사용하여 반복횟수 분석을 수행할 수 있도록 PS-Block 구조를 기반으로 반복횟수 분석기를 설계 및 구현하였다. 반복횟수 분석기는 제어변수의 탐색 및 결정 분석 과정을 자동화하고, 수식의 개선으로 자동화 범위를 확대하며, 개별 반복 문 단위의 정밀한 반복횟수 분석을 통해 정확도를 높이고, 신뢰성을 향상시킬 수 있다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.203-204
• /
• 2008

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.217-218
• /
• 2008

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.329-330
• /
• 2012

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2013.05a
• /
• pp.619-620
• /
• 2013

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.06a
• /
• pp.713-714
• /
• 2008

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2009.10a
• /
• pp.739-740
• /
• 2009

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.06a
• /
• pp.157-158
• /
• 2007

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.06a
• /
• pp.367-368
• /
• 2007

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2011.06a
• /
• pp.1477-1478
• /
• 2011