• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.34-36
• /
• 2002

Statecharts는 복잡한 Reactive System의 행위적인 부분을 가시적으로 명세하는데 효과적이다. CCS에 근간을 둔 ACSR은 실시간 시스템을 명세하기 위하여 시간, 우선순위, 자원의 개념을 추가하여 엄격한 명세가 가능하다. 본 논문에서는 Statecharts와 ACSR의 공통점과 차이점을 보이고, 동기적인 시간을 적용한 Statecharts를 ACSR로 변환할 수 있음을 보인다. 또한, 변환된 ACSR에 공유자원에 대한 명세를 추가함을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.305-308
• /
• 2004

소프트웨어 시험을 효과적으로 수행하기 위해서는 시험 대상 소프트웨어가 명시된 행위 명세를 올바로 준수하는지 점검할 수 있는 테스트 오러클의 개발이 요구된다. 본 논문에서는 Statechart로 표현된 행위 모델로부터 실행 가능한 테스트 오러클의 자동 생성을 지원하는 시험환경을 제안하고 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.10-12
• /
• 2003

Since building large-scale software is usually bi9 burden to most developers, it has been an important issue for many researchers. In this paper, we suggest a mechanism that can be used to support such large-scale development. Through composition rules via subtyping within Statecharts, incremental construction of software can be achieved. Among the composition rules (i.e. delegation rule and mixin rule), we mainly focus on the delegation rule in our work. Not only we can check the subtype property. but also can verify the behavior compatibility of composite results that are available by composition rules. This new mechanism is helpful for analysts as well as designers, and it can be used as a guideline for incremental and compatible construction of component based software.

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

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.567-570
• /
• 2006

Statechart 는 상태 기반의 시각적 명세 언어로 UML 에 포함되어 매우 널리 사용되고 있다. 하지만 UXL 의 특성에 의해 그 의미론이 비정형적이 되었으며, 시스템의 행위를 불안하게 만드는 비결정적인 경우가 발생하게 된다. 본 논문에서는 UML 지원 도구인 Rhapsody의 statechart diagram 중 코어 부분을 정형적 의미론을 가지는 명세로 변환함으로써 비결정적 명세를 찾아낼 수 있음을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.568-570
• /
• 2004

Harel과 UML에서 제공하는 기존 개념의 상태챠트는 실시간 작업들의 동시성(concurrency)을 모델링하기 어려운 단점을 가진다. 본 논문에서는 이러한 문제점을 해결하기 위해 재진입 상태머신과 재진입 상태챠트라는 새로운 개념을 제안한다. 재진입 상태머신은 병렬적으로 실행할 작업들을 교차수행(interleave)함으로서, 상태챠트로 표현되는 실시간 작업들의 동시성(Concurrency)물 효과적으로 지원할 수 있다 이러한 재진입 상태머신을 기반으로, 재진입 상태챠트는 간결하고 풍부한 표현 의미를 제공하며, 아울러 동시적으로 처리되는 행동 모델들을 구체적으로 표현할 수 있다. 재진입 상태머신과 재진입 상태챠트를 이용하여 실시간 시스템을 구현하면 프로세스간 흑은 쓰레드간의 스위칭이 불필요해짐에 따라 그에 따른 실행 오버헤드를 최소화할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.871-872
• /
• 2009

시스템 또는 소프트웨어의 개발에 있어서 요구사항은 가장 중요한 산출물 중 하나이며, 요구사항의 오류를 수정하는 비용은 프로젝트가 진행됨에 따라 급격히 증가하기 때문에 잘 작성된 요구사항은 개발비용의 절감효과를 가져올 수 있다. 자연어의 모호성으로 발생될 수 있는 오류들을 줄이기 위해 정형적인 언어를 사용하여 요구사항을 명세하고, 요구사항의 완전성을 높일 수 있다. 본 논문에서는 열차제어시스템의 핵심 기능 중 하나인 간격제어모듈의 요구사항을 상태차트로 명세 및 검증 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.597-600
• /
• 2008

안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.

• The Journal of Information Technology and Database
• /
• v.8 no.1
• /
• pp.1-11
• /
• 2001

More and more cyber shopping malls, one of the new promising Internet businesses of today, are opening business everyday. And instead of the ordinary image and text type of product display, buyers can now view products from any viewpoint through 3D images and also get more detail information on the product more easily thanks to the new VP technology, visual tools, and statecharts. However the currently used virtual prototyping supporting method does not consist of any database support for sharing the data from different virtual prototype developments and reusing the data in developing other prototypes. And in cases of custom order products, there is no linkage with the virtual product database that enables buyers in cyberspace such as cybermalls to try out the products before purchasing. This paper is purported for being applied as the basis for planning the construction of a complete CRM method applied cyber shopping mall that can accommodata all the demands and requests from customers. And the database supporting VP framework that supports data sharing and collaboration between virtual prototype developers and manufacturing custom order products is suggested for this purpose.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.3
• /
• pp.891-900
• /
• 2000

A Visual development framework for embedded system is presented based on virtual prototyping. Embedded systems often are used in life critical situation, where reliability is very important. Time_to_market, correctness, user_friendly_design are another features required for embedded system design. However, embedded systems are today designed with an ad hoc approach that is heavily based on earlier experience with similar products. We believe that new design paradigm is needed and it should be based on the use of formal model and visual system to describe the behavior of the system at a high level abstraction. Virtual prototyping has all the required features. It has the following advantages; correct design, clear interface definition, idea experimentation, increased communication. In this paper, we describe the design and implementation of VIP/Sim(Virtual Prototyping Simulator), a visionary development framework for embedded system design. New feature such as state polymorphism is augmented to the de_facto standard formal language, statechart, for enhanced dynamic modeling. Actual design experience with VIP/Sim is also discussed.