지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제28권 제3호
- 발행연도
- 2001.3
- 수록면
- 224 - 238 (15page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM 에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.
목차
요약
Abstract
1. 서론
2. 관련연구
3. ATM
4. 도달성 그래프
5. 현재 진행 상황
6. 결론 및 향후 연구
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
추상 시간 기계를 사용한 실시간 시스템의 역명세 검증
한국정보과학회 학술발표논문집
2000 .04
-
실시간 시스템의 순환 공학을 위한 정형 기법 : 추상 시간 기계
한국정보과학회 학술발표논문집
2000 .04
-
A Study on Conversion between ATM and Non-ATM for ATM Network
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1988 .01
-
무선 ATM 망에서의 ATM 데이터 전송성능 분석 ( Performance Analysis of ATM of ATM Data Transmission in Wireless ATM Networks )
한국통신학회 학술대회논문집
1997 .01
-
ATM 환경에서 시험용 ATM 단말 설계 및 구현 ( Design and Implementation of an ATM terminal an ATM environment )
대한전자공학회 학술대회
1996 .01
-
ATM교환기에서 Non-ATM MG 연구
대한전자공학회 학술대회
2000 .11
-
ATM망 관리
한국통신학회 워크샵
1995 .01
-
무선 ATM기반의 멀티미디어 서비스를 위한 ATM셀 처리 장치의 구현 ( An Implementation of ATM Cell Control System for Multimedia Service Based on Wireless ATM )
대한전자공학회 학술대회
1998 .01
-
무선 ATM 기반의 멀티미디어 서비스를 위한 ATM 셀 처리 장치의 구현 ( An Implementation of ATM Cell Control System for Multimedia Service based on Wireless ATM )
한국통신학회 학술대회논문집
1998 .01
-
ATM과 인터넷 서비스
기술사
1999 .01
-
ATM망에서 망 자원 관리 연구
제어로봇시스템학회 국내학술대회 논문집
1997 .10
-
ATM 시스템에서의 역전파 알고리즘을 이용한 실시간 호 제어에 관한 연구 ( A Study on The Control of Real-Time Call Using Back-Propagation Algorithm in ATM System )
대한전자공학회 학술대회
1996 .11
-
ATM25 서비스 기능 구현 방안 ( ATM25 Service Implementation Method )
한국통신학회 학술대회논문집
1996 .01
-
ATM망에서의 셀 우선 제어에 관한 연구 ( A study on Cell Priority Control in ATM network )
대한전자공학회 학술대회
1997 .01
-
ATM과 인터넷
대한전자공학회 학술대회
1999 .08
-
위성 ATM 망 연동장치에서의 ATM 셀 전송 성능 개선 방안
대한전자공학회 학술대회
2001 .11
-
ATM 교환 시스템 개발 방법론 ( Development Methodology for ATM Switching System )
대한전자공학회 학술대회
1994 .11
-
ATM 망에서의 멀티미디어 통신 단말 ( ATM-MUST : Multimedia Communication Service Terminal for ATM Network )
한국통신학회 학술대회논문집
1995 .11
-
ATM 망을 위한 가입자 인터페이스 관리 시스템의 설계 및 구현
정보과학회논문지(C)
1999 .12
-
ATM망을 이용한 실시간 통신에서 지연 분석에 관한 연구
한국통신학회 학술대회논문집
1997 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017823497