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

논문 상세정보

하이브리드 오토마타 기반 실시간 시스템의 모니터링 기법

Monitoring Method for Real Time System based on Hybrid Automata

초록

컴퓨터 시스템의 디지털화가 진행됨에 따라 많은 시스템들의 거동이 이산적인 속성과 연속적인 속성이 혼재되어 있다. 이러한 시스템의 특성을 정확히 반영하기 위해서는 모델링 단계부터 이산적인 속성과 연속적인 속성을 반영할 수 있는 하이브리드 오토마타 기반의 모델링이 요구 되어 진다. 대표적으로 자동차, 항공 우주, 원자력 등 제어 시스템 분야를 예로 들 수 있다. 이런 분야는 특히 안정성 및 실시간성이 매우 중요하여 명세로부터 구현에 이르기까지 검증과 확인의 단계가 매우 중요하다. 또한 개발 단계에서 뿐만이 아니라 시스템의 운영 단계에서도 지속적인 모니터링이 필요하다. 본 논문에서는 실시간 시스템의 운영중에 하이브리드 오토마타 기반의 명세와 구현의 일치성 여부를 확인 할 수 있는 모니터링 기법에 관해 연구하였다.

참고문헌 (0)

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

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

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

원문보기

원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

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

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

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

DOI 인용 스타일