-
公开(公告)号：KR1020010076610A
公开(公告)日：2001-08-16
申请号：KR1020000003861
申请日：2000-01-27
Applicant: 한국전자통신연구원
IPC: H04L29/06
Abstract: PURPOSE: A method for proofing protocol at a real time by using an area model checking provided to reduce the cost for developing an information communication protocol system by performing a real time proofing process and a suitability test process. CONSTITUTION: A request for protocol is specified to a time automata model(1). It is determined at a real time whether the specified time automata model(1) is accorded with the request. In the specification state, the characteristic of the protocol is described by applying formal logic and time logic. In the determination state, modal mu-calculus(8) is used. The modal mu-calculus(8) identifies the true and false of the value for proofing by a fixed time calculating method.
Abstract translation: 目的：通过使用提供的区域模型检查来实时校验协议的方法，以通过执行实时打样过程和适用性测试过程来降低开发信息通信协议系统的成本。 规定：向时间自动机模型（1）指定协议请求。 实时确定指定的时间自动机模型（1）是否符合请求。 在规范状态下，通过应用形式逻辑和时间逻辑来描述协议的特性。 在确定状态下，使用模态微积分（8）。 模态微积分（8）通过固定时间计算方法识别校正值的真假。
-
公开(公告)号：KR1019980050172A
公开(公告)日：1998-09-15
申请号：KR1019960068951
申请日：1996-12-20
IPC: H04L12/24
Abstract: 본 발명은 적합성 시험 표기 기법인 TTCN(Tree and Tabular Combined Notation)으로 불확정적인 요소를 가지고 있는 멀티파티 프로토콜의 시험을 위한 ATS(Abstract Test Suite)를 병렬 TTCN 으로 작성하는 것에 관한 것이다. 본 발명과 비교하여 싱글 TTCN으로 작성하였을 경우 많은 양의 시험 표현(Test notatiom)을 필요로 한다.
본 발명에서는 멀티 파티 프로토콜인 ITU-T 권고안 Q.2971의 ATS를 병렬TTCN을 이용해 작성하기 위해 동기화 및 시험 요소 배치 방법을 제시하고 병렬 TTCN으로의 시험을 효과적으로 기술하기 위하여 프로세스들의 흐름도를 이용하는 방법을 제시한다.
ITU-T 권고안 Q.2971은 DSS 2(Digital Subscriber Signalling System No.2)점 대 다중점 호/연결제어를 위한 사용자 망 접면 계층 3 규격으로, 본 발명에서는 ISO 9646 part Ⅱ에서 정의한 원격 단일 계층 방법(Remote Single Layer Test Method)을 이용하여 시험 경우를 작성하는 방법을 제시한다.-
公开(公告)号：KR1019980050159A
公开(公告)日：1998-09-15
申请号：KR1019960068937
申请日：1996-12-20
IPC: H04L12/24
Abstract: 본 발명은 ITU-T 권고(안) Q.2971 호/연결 제어 프로토콜의 적합성 시험규격을 적용할 시험방법에 관한 것이다. 그 목적은 ATS(Abstract Test Suite)를 적용하여 B-ISDN 호/연결 제어 프로토콜인 ITU-T 권고(안)Q.2971의 망측 프로토콜 적합성 시험을 수행하는 데에 있다. 그 특징은 시험 호스트와 1개 이상의 시험장치로 구성된 BITS를 이용한 Q.2971 망측 프로토콜 적합성 시험방법에 있어서, 상기 시험 호스트와 1개 이상의 상기 시험장치를 이더넷으로 각각 연결하는 단계 및 시험대상 시스템의 송신측 포트와 수신측 포트에 1개 이상의 상기 시험장치를 각각 연결하는 단계로 이루어져 시험 시스템을 구축하는 데에 있다.
-
-
公开(公告)号：KR1019940009110B1
公开(公告)日：1994-09-29
申请号：KR1019910026043
申请日：1991-12-30
IPC: G06F19/00
Abstract: The method for testing the profile product composed of the open system interface (OSI) protocol or a number of protocol stacks under the provision of the ISO 9646 comprises the steps of: a) allocating and controlling the identifier after classifying each CAP with the context; b) inputting and analysing the request from the providers of the protocol product through the user interface; c) calling or managing the test system to perform the test; and d) producing or managing the system certification test report (SCTR).
Abstract translation: 用于测试由开放系统接口（OSI）协议组成的简档产品的方法或根据ISO 9646的规定的多个协议栈的方法包括以下步骤：a）在对具有上下文的每个CAP进行分类之后分配和控制标识符; b）通过用户界面输入和分析来自协议产品提供商的请求; c）呼叫或管理测试系统进行测试; 和d）生产或管理系统认证测试报告（SCTR）。
-
Patent Agency Ranking
公开(公告)号：KR100226452B1
公开(公告)日：1999-10-15
申请号：KR1019960068951
申请日：1996-12-20
IPC: H04L12/24
Abstract: 본 발명은 적합성 시험 표기 기법인 TTCN(Tree and Tabular Combined Notation)으로 불확정적인 요소를 가지고 있는 멀티파티 프로토콜의 시험을 위한 ATS(Abstract Test Suite)를 병렬 TTCN으로 작성하는 것에 관한 것이다. 본 발명과 비교하여 싱글 TTCN으로 작성하였을 경우 많은 양의 시험 표현(Test notation)을 필요로 한다.
본 발명에서는 멀티 파티 프로토콜인 ITU-T 권고안 Q.2971의 ATS를 병렬 TTCN을 이용해 작성하기 위해 동기화 및 시험 요소 배치 방법을 제시하고 병렬 TTCN으로의 시험을 효과적으로 기술하기 위하여 프로세스들의 흐름도를 이용하는 방법을 제시한다.
ITU-T 권고안 Q.2971은 DSS 2(Digital Subscriber Signalling System №2) 점 대 다중점 호/연결제어를 위한 사용자 망 접면 계층 3 규격으로, 본 발명에서는 ISO 9646 part Ⅱ에서 정의한 원격 단일 계층 방법(Remote Single Layer Test Method)을 이용하여 시험 경우를 작성하는 방법을 제시한다.-
-
公开(公告)号：KR1020030044465A
公开(公告)日：2003-06-09
申请号：KR1020010075213
申请日：2001-11-30
Applicant: 한국전자통신연구원
IPC: H04L29/08
CPC classification number: H04L47/193 , H04L47/12 , H04L47/283
Abstract: PURPOSE: A method for controlling a transmission control protocol congestion is provided to increase the performance of the network by improving the congestion control function of a transport control protocol(TCP) protocol in the Internet. CONSTITUTION: A method for controlling a transmission control protocol congestion by using a transport control protocol Vegas(TCP-Vegas) includes the steps of: adding a value χ1 being smaller than the congestion degree threshold value α of the TCP-Vegas and a value χ2 being larger than the congestion degree threshold value α of the TCP-Vegas, calculating(S511) the congestion of a current network by using a predicted congestion and a practical measured congestion, increasing(S515) the index of the transmission speed when the congestion degree is smaller than the congestion degree threshold value χ1, increasing(S519) the transmission speed when the congestion degree exists between the congestion degree threshold value α and the congestion degree threshold value χ1, maintaining(S523) the current transmission speed when the congestion degree exists between the congestion degree threshold value α and the congestion degree threshold value β, reducing(S527) linearly the transmission speed when the congestion degree exists between the congestion degree threshold value β and the congestion degree threshold value χ2 and reducing(S529) the transmission speed when the congestion degree is larger than the congestion degree threshold value χ2.
Abstract translation: 目的：提供一种用于控制传输控制协议拥塞的方法，通过改进因特网中的传输控制协议（TCP）协议的拥塞控制功能来提高网络的性能。 构成：通过使用传输控制协议Vegas（TCP-Vegas）控制传输控制协议拥塞的方法包括以下步骤：添加小于TCP-Vegas的拥塞度阈值α的值χ1和值χ2 大于TCP-Vegas的拥塞度阈值α，通过使用预测拥塞和实际测量的拥塞来计算（S511）当前网络的拥塞，增加（S515）当拥塞度的传输速度的指标 小于拥堵度阈值χ1，当拥挤度阈值α和拥堵度阈值χ1之间存在拥挤度时，增加（S519）传输速度，当拥塞程度存在时保持（S523）当前传输速度 在拥塞度阈值α和拥堵度阈值β之间，线性地减少（S527）传输 当拥挤度阈值β和拥堵度阈值χ2之间存在拥挤度时，并且当拥塞度大于拥塞度阈值χ2时减少（S529）传输速度。
-
公开(公告)号：KR100327902B1
公开(公告)日：2002-03-09
申请号：KR1020000003861
申请日：2000-01-27
Applicant: 한국전자통신연구원
IPC: H04L29/06
Abstract: 이 발명은 실시간프로토콜의 개발에 있어서 요구사항을 시간오토마타 (1) 형태로 명세화하고 명세화를 거친 시간오토마타명세모델이 요구사항과 일치하는지를 구현전에 확인하는 실시간검증방법에서 명세의 무결성 및 완전성을 입증하기 위하여 지역모형검사를 이용하는 방법을 제공하기 위한 것이며, 지역모형검사를 적용한 실시간프로토콜 검증방법(13)은, 시간오토마타(1)의 명세모델과 시간적 뮤우계산법 논리식(8)을 기반으로 지역프러덕트그래프(9)를 구성하고 지역프러덕트그래프의 초기노드의 논리값에만 초점을 두어 실시간검증을 수행하는 실시간지역모형검사알고리즘(14)을 이용하며, 또한, 시간오토마타명세모델이 시간적 뮤우계산법의 논리식으로 표현된 실시간안전성특성(30)을 만족하는지를 검사하는 실시간안전성 검증방법(15)을 이용 하여 시간오토마타명세모델에서 논리적, 시간적 정확성이 결여되어 천이가 발생하지 않는 시간적 교착상태나 상태의 부분집합만을 무한히 반복하여 실시간프로토콜모델의 초기상태로 돌아가지 못하는 시간적 라이브락의 존재여부를 확인하는 실시간안전성검증을 행하고, 시간오토마타명세모델이 시간적 뮤우계산법의 논리식으로 표현된 실시간필연성 특성을 만족하는지를 검사하는 실시간필연성 검증방법(16)을 이용하여 시간오토마타명세모델에서 한 행위가 발생한 후 임의의 시간 내에 원하는 행위가 발생하는지를 확인하는 실시간필연성검증을 행한다.
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.027 seconds)
