http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
STATECHART의 실시간 성질의 정형적인 명세와 증명방법
고광일(Gwang-Il Ko),강교철(Kyo-Chul Kang) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B
고도의 안전성과 신뢰성이 요구되는 실시간 소프트웨어 시스템을 분석하는데 있어서 가장 중요한 문제는 분석되어진 결과의 올바름을 증명하는 것이다. 이런 문제를 해결하기 위해서 많은 소프트웨어 공학자들이 수학적인 정형성을 이용하여 분석을 수행하고, 분석결과를 증명하는 방법을 소개해왔는데 현대의 복잡하고 규모가 큰 실시간 시스템에 적용하기에는 많은 문제점들이 있다. 이에, 본 논문은 실시간 시스템의 행동을 명세하는 데 Statechart를 사용하고 실시간 시스템의 실시간적 성질을 명세하는 데 RTTL을 사용하는 Statechart/RTTL 방법을 소개하고, 이 방법으로 Train-Gate System의 안전성(safety)을 증명하는 것을 예로 보인다.
PARTS - 실시간 소프트웨어 시스템의 다시각적 분석 방법
고광일(Gwang-Il Ko),강교철(Kyo-Chul Kang) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
컴퓨터 소프트웨어 시스템의 경향이 점점 규모가 크고 복잡한 실시간 소프트웨어 시스템으로 흘러가고 있기 때문에 풍부한 시간 표현의 능력, 사용자의 정확한 요구사항 파악의 능력, 분석된 실시간 소프트웨어 시스템의 정형적인 일관성과 완전성 검사의 능력, 그리고 분석을 수월하게 하는 능력 등을 갖춘 실시간 소프트웨어 시스템의 분석방법이 필요하게 되었다. 본 논문에서는 소개하는 PARTS는 실시간 소프트웨어 시스템을 사용자 중심의 외부적 관점, 분석자 중심의 내부적 관점 그리고 실시간 소프트웨어 시스템의 행동의 제약들에 대한 제약적 관점들로 분석을 하고, 각 관점 분석들마다 유용한 분석도구들을 제공한다. 또한 이들 3가지 관점 분석들을 모두 논리로 바꾸어 일관성 및 완전성을 검사하는 방법을 제공함으로써 위의 규모가 크고 복잡한 실시간 소프트웨어 시스템 분석방법의 필요한 능력들을 갖추고있다.