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

논문 상세정보

초록

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

참고문헌 (0)

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

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

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

원문보기

원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

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

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

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

DOI 인용 스타일