지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2010.1
- 수록면
- 67 - 76 (10page)
이용수
초록· 키워드
오류제보하기
Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.
목차
등록된 정보가 없습니다.
참고문헌 (11)
참고문헌 신청
IBM Co / / Rational TAU SDL Suite
IEEE 802.2-1998 (ISO/IEC 8802-2:1998) / 1998 / IEEE Standard for Information technology - Telecommunications and information exchange between systems - Local and metropolitan area net
ITU / 2000 / Specification and Description Language / ITU-T Recommendation Z.100
J.Martins / 1996 / Integrating Performance Evaluation and Forma1 Specification / In Proceedings of IEEE ICC '96 : 1803 ~ 1807
Jorg Hintelmann / 2001 / Applying techniques and tools fur the performance engineering of SDL systems / Computer Networks 35 (6) : 647 ~ 665
IEEE 802.2-1998 (ISO/IEC 8802-2:1998) / 1998 / IEEE Standard for Information technology - Telecommunications and information exchange between systems - Local and metropolitan area net
ITU / 2000 / Specification and Description Language / ITU-T Recommendation Z.100
J.Martins / 1996 / Integrating Performance Evaluation and Forma1 Specification / In Proceedings of IEEE ICC '96 : 1803 ~ 1807
Jorg Hintelmann / 2001 / Applying techniques and tools fur the performance engineering of SDL systems / Computer Networks 35 (6) : 647 ~ 665
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
[技術硏究]CCITT/SDL 환경
정보과학회지
1988 .02
-
정적 SDL 분석기의 개발
한국정보과학회 학술발표논문집
1988 .10
-
ERA 모델을 이용한 SDL Relational Database의 설계
한국정보과학회 학술발표논문집
1987 .04
-
SDL로부터 프로토콜 시험열 자동 생성 기법 ( Automatic Generation of Protocol Test Sequences from SDL )
한국통신학회논문지
2000 .07
-
Code Generation in an SDL Environment
대한전자공학회 세미나
1991 .01
-
ETRI SDL / GR Graphic Editor 개발
한국정보과학회 학술발표논문집
1986 .10
-
동적 SDL 분석기 개발
한국정보과학회 학술발표논문집
1990 .04
-
CCITT SDL을 위한 그래픽 환경
한국정보과학회 학술발표논문집
1987 .10
-
SDL로부터의 시험시퀀스 생성에 관한 연구
한국정보과학회 학술발표논문집
1995 .11
-
SDL 도구를 이용한 WiMedia MAC의 구현 및 성능측정
대한전자공학회 학술대회
2009 .07
-
도달성 그래프를 이용한 SDL 표현 프로토콜 분석 기법 ( An Analysis Scheme for Protocols Specified in SDL Using Reachability Graph )
한국통신학회논문지
1996 .12
-
SDL Analyzer의 개발
한국정보과학회 학술발표논문집
1985 .10
-
Integrated SDL Environments 개발 방향
한국정보과학회 학술발표논문집
1986 .04
-
SDL을 이용한 SIP-T 프로토콜 설계 및 구현
한국통신학회 학술대회 및 강연회
2002 .04
-
A Proposal of the Design Methodology for Communication Systems Using SDL
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1994 .01
-
SDL을 이용한 지능망 서비스 특징 상호 작용의 발견 방법 ( A Method for Detecting AIN Service Feature Interactions SDL )
대한전자공학회 워크샵
1995 .01
-
SDL ( Specification & Description Language ) 를 이용한 통신 시스템 소프트웨어의 개발 ( A Communication System Software Developments of using SDL ( Specification & Description Language ) )
한국통신학회 학술대회논문집
1998 .01
-
SDL ( Specification & Description Language ) 를 이용한 통신 시스템 소프트웨어의 개발 ( A Communication System Software Developments of Using SDL ( Specification & Description Language ) )
대한전자공학회 학술대회
1998 .01
-
SDL-92에서 CHILL-96으로 변환하기 위한 사상 규칙의 설계
정보과학회논문지(B)
1998 .08
이 논문의 저자 정보
최근 본 자료
댓글(0)
0