정지대기프로토콜2 통신 프로토콜(2) 1. Protocol Correctness 1) 프로토콜의 정확성 프로토콜이 갖는 불확실성에 대한 검증이 필요 → 시스템의 상태와 천이 표현 2) 기본적 검증 도구 (1) 유한 기계 상태 (Finite State Machine) ① 단순화된 go-back-n 프로토콜 ② 불완전한 go-back-n 프로토콜 (2) 페트리 넷 (Petri Net) 3) 유한기계상태 (1) 기계상태 (machine state) ① 상태 : 특정 시간의 프로그램 변수들에 의해 정의, 시스템의 전개의 단계 ② 유한 상태 기계 (finite state machine : 유한 상태모델) (2) 상태천이 (State transition) : 상태의 변화를 유도하는 조건 (3) 상태천이도 (STD :state transition Dia.. 2023. 11. 22. 통신 프로토콜(1) 1. Introduction 1) 단일 전송 통신 : 디지털/아날로그 신호, 압축, 경합, 보안, 무결성 논의 2) 복수 프레임을 갖는 일반통신에서의 논의 요구 ① 복수 프레임들 및 이들에 대한 확인응답 들의 추적 ② 손상되어 도착하는 프레임들에 대한 대응방법 ③ 프레임이나 확인응답이 도착하지 않거나 늦게 도착 할 때의 대응 3) 효율적인 통신 설정 및 유지 기능 ① 오류제어 (Error control) : 스테이션 프레임의 오류 검사 및 수정방법을 정의 → 패리티 검사 → 순환잉여검사 (CRC) → 헤밍 코드 ② 자동반복요청 (ARQ) → Automatic Repeat Request → 효과적인 프레임 재송신을 휘한 요청 → 예 : 정지 대기 프로토콜 ③ 흐름제어 (Flow control) : 다수의 .. 2023. 11. 22. 이전 1 다음
