$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

STATEMATE를 이용한 AWES(Auto Warning/Ejection System)명세

Specification of AWES(Auto Warning/Ejection System) with STATEMATE

2001 가을 학술발표논문집(I)(Proceedings of the 28th KISS Fall Comference), 2001 Oct., 2001년, pp.472 - 474  

장성호 (고려대학교 컴퓨터학과) ,  최진영 (고려대학교 컴퓨터학과)

초록
AI-Helper 아이콘AI-Helper

공군에서 전투기 사고는 적은 비율이지만 계속적으로 발생한다. 이 시스템의 명세 목적은 사람이 결심하여 전투기에서 비상탈출 하는 것에 컴퓨터의 역할을 추가하여 조종사의 생존 가능성을 높이는데 있다. 사람은 모든 감각기관을 통하여 미래의 상황을 예견할 수 있는 능력이 있는 반면, 착각 등을 통하여 실수를 포함하는 행위를 할 수도 있고, 비상탈출을 결심하였다고 하더라도 전투기 기동이 매우 급변하여 반드시 비상탈출을 성공한다고 볼 수 없다. 그래서, 기존에 장치되어 있는 측정장치들을 이용하여, 비 정상적인 워치에 전투기가 위치했을 때는 Warning을 하고, 명백하게 비상탈출 하여야할 겅우가 발생했을 때는 자동으로 비상탈출을 실행하는 System을 명세하였다. AWES(Auto Warning/Ejection System)은 Safety-Critical System의 일종이라 할 수 있다. 그래서, 개발 초기 단계부터 정형기법(format methods)에 기반하여 개발되어야 한다. 본 논문에서는 Reactiv system의 행위적인 면을 명세하는데 장점을 가지는 Statecharts를 이용하였으며, STATEMATE라는 도구로 AWES(Auto Warning/Ejection System)을 명세하였다.

AI 본문요약
AI-Helper 아이콘 AI-Helper

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

제안 방법

  • AWES에 Panel Graph를 추가하고, 위에서 제시된 3가지 Case 별로 Simulation을 하였으며 결과는 요구 조건을 만족하였다,
  • 三"1]:。汆를 위와 같은 조건으로 생성하여 실행한 결과 AWESe Simulation 한 것과 같이 정상적으로 작동하는 결과가 나왔다. 또한, 시간에 관런된 행위(lamp 및 경고음 발생)는 실제 시간으로 동작하였으며, Testbench에 대한 처리가 Simulation보다 빠르게 작동하여서 Testbench에서 고도변화의 입력단위를 1이]ft에서 15H로 적은 단위로 입력하여 실행하였다.
  • 외부의 입력은 여러 가지 방법이 있는데 여기에서는 User가 입력하는 것에 대하여서 Panel Graph를 이용하였고, Indicator 3가지는 TestBmh로 구성하몄다
  • 이 시스템은 비상 탈출과 Waning 의 두 가지 역할을 수행하여 조종사의 생존능력을 높인다 외부에서 들어오는 3가지 Indicator(고도계, Stall 감지 장치, INS(관성항법장치))를 이용하여 비상 탈출 또는 Warning 상태를 파악하여 상항에 맞게 처리한다,

대상 데이터

  • 위의 자면어 요구 조건을 츙족하도록 명세된 AWESe 충 16개의 Charts로(Activity-chaits : 4, Statecharts : 12) 구성되었다.
본문요약 정보가 도움이 되었나요?

관련 콘텐츠

섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트