초록

AI-Helper

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 본 논문에서는 기존의 st砒echart가 실시간 시스템을 표현하기에 부족한 문제점들을 해결하기 위한 방안으로 동적 우선순위 개념을 제안하였다. 동적 우선순위는 sLalechart에서의 우선순위를 이벤트나 상태와 전이의 구조를 이용하여 표현하기보다는- 전어의 변수로서 명시적으로 표현해 주느 방법을 사용하였으며, 우선순위를 명시적인 변수로 표현함으로써 복잡하고 다양한 우선순위를 간단하게 표현할 수 있었다’ 또한, 조건에 따라 우선순위를 쉽게 변화시킬 수 있어 財成echar[를 실시간 시스템을 명세할 수 있는 정형 언어로 손쉽게 확장할 수 있었다.

제안 방법

• Statechart에서의 비결정성에는■ 두 가지 종류가 있는데, 하나는 두 개 이상의 이벤트가 동시에 발생하는 경우이고, 다른 하나는 하나의 이벤트에 대해서 다양한 반응이 일어날 수 았는 가능싱이 있을 때이다. 그러나 일반적으로 statechari에서 두 개 이상의 이벤트가 동시에 발생하는 것을 고려호!■지 않으느로, 본 논문에서는 하나의 이벤트에 대해서 누 개 이상의 반응이 일어날 가능싱을 갖는 경우만을 생각하도록 하겠다. 예를 들어 <그림 2>에서 이 벤트 «가 발생할 경우 전이는 상태 D애서 상태 E로 가거나 상태 C에서 상태 R로 갈 수 있다.
• 분 논문에서는 전이에 명시적인 우선순위 번호 (ex 미 icit priority number)를 갖는 변수를 추가하여 명시적으로 이벤트에 대한 전이 과정의 우선순위를 표현하고, 시스템의 필요에 따라 훅은 사용자 임의로 우선순위를 변경할 수 있도록 하였다. 이와 같이 우선순위를 명시적인 변수값으로 정의해 줌으로써 시스템이 어떤 과정을 거쳐 변화해 나갈 수 있는지를 미리 예측할 수 있으므로 실시간 시스템에서 요구하는 시간적 제약조건을 만족시킬 수 있다.

이론/모형

• 따리■서, 본 논문에서는 statechart5] 이와 같은 문제점을 해결하고 실시간 시스템을 표현하기 위한 방안으로 농적 우선순위 개념을 stalechart 에 적용하였다. 동적 우선순위는 statecharL에서의 우선순위를 이벤트나 상태와 전이의 구조플 이용하여 표현하기보다는 전이의 변수로서 명시적으로 표현해주는 방법이다.

후속연구

• 동적 우선순위는 sLalechart에서의 우선순위를 이벤트나 상태와 전이의 구조를 이용하여 표현하기보다는- 전어의 변수로서 명시적으로 표현해 주느 방법을 사용하였으며, 우선순위를 명시적인 변수로 표현함으로써 복잡하고 다양한 우선순위를 간단하게 표현할 수 있었다’ 또한, 조건에 따라 우선순위를 쉽게 변화시킬 수 있어 財成echar[를 실시간 시스템을 명세할 수 있는 정형 언어로 손쉽게 확장할 수 있었다. 앞으로는 동적 우선순위 개념을 더욱 확장하여, 시스템 상태들의 마감 시간을 고려한 우선순위의 변화와 우선순위 계승 포로토콜을 적용하여 실시간 시스템에서 요구하는 보다 다양하고 복잡한 우선순위 변화를 표현할 수 있는 방법을 연구하도록 하겠다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기