• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.6
• /
• pp.608-619
• /
• 2000

In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Hesources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.334-336
• /
• 2004

Statechart는 매우 널리 쓰이고 있는 명세 언어이다. 현재는 UML에 포함되어 않은 사랑들이 구현하고자 하는 시스템의 명세에 Statechart를 이용하고 있다. Statechart 명세는 구현될 시스템의 설계도 역할을 하기 때문에 오류가 있을 경우 매우 치명적일 수 있으며, 반대로 시스템의 오류를 명세 단계인 Statechart 영세에서 찾아내게 되면 수정에 필요로 하는 비용과 시간의 손실을 최소화 할 수 있다. 본 논문에서는 하드웨어 검증 분야에서 사용되고 있는 Assertion Based Verification (ABV) 방법론을 Statechart 명세에 적용하여 시뮬레이션 등으로는 찾아내기 힘든 오류를 찾아낼 수 있음을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.360-365
• /
• 2006

초기에 제안된 Harel의 statechart를 개선하기 위한 노력으로 다양한 statechart의 변형들이 생겨나고, 시스템 개발자는 대상 시스템에 맞는 적절한 설계 명세 언어와 자동화 도구를 선택하는 것이 중요하게 되었다. 대상 시스템에 맞는 영세 언어를 선택하고, 다양한 자동화 도구(CASE tool)의 기능을 적용하기 위해 statechart의 상호 변환을 통한 각 지원 도구의 적용이 필요하다. 하지만, statechart 상호 변환 과정에서 각 statechart의 의미론적(semantics) 차이는 의도하지 않은 오류를 야기할 수 있다. 따라서 본 논문에서는 이들의 의미론을 비교 분석하기 위한 몇 가지 간단한 예제를 시뮬레이션 해 보고, statechart간 상호변환 방안의 기틀을 마련한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.12-14
• /
• 2000

실제품과 동일한 물리적 특성과 기능적 특성을 갖는 디지털 모델을 만드는 가상 프로토타입핑 기술은 내장형 시스템이 복잡해질수록 더욱 중요시되는 기술이다. 가상 프로토타입핑 요소기술중 정형 명세언어인 Statechart는 제품의 기능적 특성을 나타낸다. 그러나 기존 가상 프로토타입핑에서 사용되고 있는 Statechart에서의 재사용은 단지 복사하여 붙이는 방법만 있어서 재사용시 시스템 설계자의 세밀한 분석이 요구된다. 본 논문에서 구현한 가상 프로토타입핑을 위한 Statechart 도구는 제품의 생명주기를 줄이고, 제품의 시장적기진입을 위해 컴포넌트 기법을 이용하여 보다 빠른 시스템의 설계를 지원한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.565-567
• /
• 2001

원자력 발전 및 항공 시스템과 같은 실시간 시스템의 설계는 자원 및 시간적인 분석은 상당히 중요한 부분을 차지하고 있다. 이러한 설계는 그 설계단계로부터 철저한 명세 및 집중이 이루어져야 한다. Statechart는 Reactive 시스템을 모델링 하는 도식언어이다. 하지만 기존 Statechart 언어는 자원에 대한 시간적 명세가 분명치 않아 상태로 모든 것을 표현하기에는 복잡하고 용이하지 않다. 또만 이러한 명세 도구는 시스템의 검증은 물론 시간적 행위의 검증은 수월치 한다. 본 논문은 Statechart에 시간을 소모하는 자원을 명세하는 문법을 소개하고 이를 검증하는 기법을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.596-598
• /
• 1999

본 논문은 UML-RT 도구로서 GCSR(Graphical Communicating Shared Resource)를 제안하는데 있어UML의 기본 다이아그램 중 하나인 Statechart와 비교 분석함으로 그 기능과 장.단점을 제시한다. 기존의 정형 명세 언어인 Statechart에서는 실시간 시스템이 명세에 있어 필수적인 시간적인 개념과 우선순위 개념이 제한적이다. 그러나 정형명세의 또 다른 언어인 GCSR이 가진 시간적 개념과 우선순위 개념의 효용을 보이고 이를 Statechart의 실시간 시스템의 명세와 비교함으로 UML-RT로서의 GCSR을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.599-601
• /
• 1999

본 논문에서는 정형명세 언어인 Statechart의 의미론을 프로세스 알제브라로 설명하는 방법을 제시한다. 이렇게 함으로써 두 개의 Statechart 명세간의 bisimulation을 정의할 수 있게 된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.391-393
• /
• 2002

내장형 시스템의 경쟁력 향상을 위해 제품의 신속한 설계는 매우 중요하다. 내장형 시스템 설계에 사용하는 기존 Statechart 도구는 Statechar 재사용 측면에서 복사해서 붙이는 방법을 이용하고 있다. 이러한 방법은 새로운 제품 선계 시 시스템 개발자의 불필요한 투자가 요구되는 문제점이 있다. 본 논문은 이미 작성된 Statechart를 효율적으로 재사용하기 위해 컴포넌트 기능을 기존 도구 기능에 새롭게 추가함으로써 신제품의 신속한 설계를 지원하는 도구를 구현한다. 또한, 본 논문에서는 이러한 컴포넌트 기능을 추가하기 위해 컴포넌트 사용상 규약인 계약(contact)을 Statechart 구현에 적합하도록 재구성하였다. 구현된 컴포턴트 지원 Statechart 도구는 컴포넌트를 이용하여 새로운 제품의 신속한 설계를 지원함으로써 제품의 생명주기를 단축함은 물론 신제품의 시장적기진입을 제공할 수 있고, 이로써 제품의 경쟁력 향상에 도움 줄 수 있다.

• The KIPS Transactions:PartA
• /
• v.8A no.2
• /
• pp.75-80
• /
• 2001

The rapid design of the embedded system is crucial for improving the product’s competitiveness. Existing statechart tools used for designing the embedded system rely on the copy and paste of the statechart for reuse. However, such method has a major drawback of wasting both time and cost of the system developer. This paper implements the component supporting tool. A tool that makes efficient reuse of a statechart by adding a component function to the existing functions is implemented in this paper. Also, to add a component function, this paper restructured the contract as protocol of the inter-component. The implemented tool helps not only reduce the life cycle of a product, but also enhance a product’s competitiveness by supporting the product’s time-to-market.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.145-147
• /
• 2000

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