bsc1 통신 프로토콜(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 다음
