$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보

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

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

초록

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

저자의 다른 논문

참고문헌 (0)

  1. 이 논문의 참고문헌 없음

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음

원문보기

원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

  • 원문 URL 링크 정보가 존재하지 않습니다.

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. (원문복사서비스 안내 바로 가기)

상세조회 0건 원문조회 0건

DOI 인용 스타일