선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 따라서 이러한 정보통신 분야에 일부 적용되고 있는 정형검정 기술을 철도 신호용 프로토콜에 적용하여 정확성을 검증하는 것은 매우 유용한 방법이다. 따라서 다음절에서 이러한 철도 신호용 프로토콜의 정형검정에 적절한 방법을 검토하고자 한다.
- 따라서 본 고에서는 이러한 프로토콜 개발의 일반적인 과정과 이러한 정형검증을 통한 방법론을 간략하게 고찰하였고, 이를 바탕으로 철도신호용 프로토콜의 설계 및 검증에 적합한 방법론을 제시하였다. 그리고 실제 철도신호용 프로토콜의 검증을 이 방법론에 적용한 예를 설명하였다.
- 본 고에서는 이러한 철도제어시스템처럼 바이탈한 제어시스템을 위한 프로토콜의 설계를 위한 정형기법에 의한 프로토콜 엔지니어링 기술 일반과 철도신호용 프로토콜에 적합한 프로토콜 정형검정(Formal Verification) 빙-법론을 소개하고, 이러한 방법론이 실제 어떻게 적용되는지 예를 들어 설명한다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.