http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 김태효(TaiHyo Kim) (검색결과 3 건)
- 무료
- 기관 내 무료
- 유료
-
방호정(Hojung Bang),홍형석(Hyoungseok Hong),김태효(Taihyo Kim),차성덕(Sungdeok Cha) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.6
본 연구는 스테이트차트의 실시간 검증을 위한 알고리즘을 제안한다. 스테이트차트는 실시간 반응형 시스템의 명세에 많이 사용되고 있으며 동기적과 비동기적인 두개의 시간모델을 지원한다. 그러나 기존의 스테이트차트에 대한 실시간 검증 방법은 비동기적 시간 모델과 호환되지 않거나, 변수를 모델에 추가함으로써 모델의 상태 공간을 증가시키는 단점이 있었다. 우리는 기존의 모델 체킹 알고리즘을 확장하여 이러한 문제점을 해결하였다. 확장된 알고리즘은 시간을 증가시키는 전이만을 고려하기 때문에 스테이트차트의 두 가지 시간 모델에 모두 사용할 수 있으며, 시간의 계산이 알고리즘 내부적으로 이루어지기 때문에 모델에 변수를 추가할 필요가 없어 상태공간을 증가시키지 않는다. 본 연구는 이러한 알고리즘을 토대로 기존의 모델 체커인 NuSMV를 확장하였으며, 사례 연구를 통하여 그 유용성을 확인하였다. This paper presents a method for real-time verification of Statecharts. Statecharts has been widely used for real-time reactive systems, and supports two time models: synchronous and asynchronous. However, existing real-time verification methods for them are incompatible with the asynchronous time model or increase state space by introducing new variables to the target models. We solved these problems by extending existing model checking algorithms. The extended algorithms can be used with both time models of Statecharts because they consider time increasing transitions only. In addition, they do not increase target state space since they count those transitions internally without additional variables. We extended an existing model checker, NuSMV, based on the proposed algorithms and conducted some experiments to show their advantage.
-
박수현(Suhyun Park),방호정(Hojung Bang),김태효(Taihyo Kim),차성덕(Sungdeok Cha),이종인(Jongin lee) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅱ
인공위성과 원자력발전소와 같은 안전필수시스템의 경우, 각 작업이 주기 안에 완료되어야 하는 실시간적 특성을 가진다. 시스템이 이와 같은 요구사항을 만족하는가를 판단하기 위해서는 프로그램의 최장수행시간을 분석하는 것이 필수적이다. 본 논문에서는 프로그램을 직접 실행하지 않고 최장수행시간을 분석하기 위해 구현한 Time bounder 도구를 소개하며, 다목적 실용위성 2호에 탑재되는 프로그램을 대상으로 수행 한 실험 결과를 분석한다.
-
문영주(Young-Joo Moon),김문주(Moonzoo Kim),김태효(TaiHyo Kim) 한국정보과학회 2014 정보과학회논문지 : 소프트웨어 및 응용 Vol.41 No.4
본 논문에서는 Simplified Architecture Description Language (SADL) 이라는 새로운 아키텍처 모델링 언어를 제안하고자 한다. 이는 기존의 아키텍처 모델링 언어의 복잡한 표기법으로 인해서 업계에서 시스템 개발의 전반적인 단계에서 사용이 저조한 실정을 해결하기 위해 제안된 것으로, 내장형 시스템 도메인에 중점을 두고 기존의 아키텍처 모델링 언어 문법의 간략화와 더불어 실제 구현 단계에서 필요한 정보를 모델링 단계에서 명세할 수 있는 표기법을 제안한다. 이와 더불어, 독립적인 다수의 명세 관점을 제안하여, SADL이 표현할 수 있는 다양한 시스템 정보를 각 명세 관점에 따라 제공할 것을 제안함으로써, 사용자에게 혼란을 야기시킬 수 있는 상황을 방지하고자 한다. 본 논문에서는 제안된 아키텍처 모델링 언어와 명세 관점을 바탕으로, 내장형 시스템인 Anti-lock Braking System을 모델링한 결과를 예제로 보여준다. This paper proposes a new Architecture Description Language (ADL), called Simplified Architecture Description Language (SADL), to increase the utilization of ADL throughout the development phases of software systems. There have been a number of ADLs with various characteristics for different domains. However, in practice, their complex grammar confines their utilization to the communication among stakeholders in a design phase of software development. To overcome this limitation, SADL provides compact and concise grammar compared to the grammar of existing ADLs. In addition, SADL focuses on an embedded system, that is, its grammar is customized to describe the architecture of embedded systems and specific information related to the implementation of an embedded system. Such an SADL is provided with a number of independent specification views, which enables us to avoid ambiguous interpretation of a given architecture model, by filtering system architecture information according to each view. Using SADL, we show the architecture model of Anti-lock Braking System with regard to the proposed several specification views.
ScienceON
DBpia연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
