표준화 참여안내

TTA의 표준현황

> 표준화 개요 > TTA의 표준현황

표준번호 TTAE.IT-Y.3320 구표준번호
재개정일 2014-12-17 00:00:00.0 총페이지 29
한글표준명 소프트웨어 정의 네트워킹을 위한 정형 명세 기법 요구사항
영문표준명 Requirements for applying formal methods to software-defined networking
한글내용요약 본 표준은 소프트웨어 정의 네트워킹 (SDN, Software-defined networking) 기술에서 SDN 응용 및 시스템을 구현, 개발 및 검증하기 위한 정형 기법을 기술하고, 이에 따른 기능적 요구 사항을 정의한다.
아울러 본 표준에서는 정형 기법을 이용한 SDN 응용 검증 예제를 부록으로 제시한다
영문내용요약 This standard describes requirements for using formal methods; mathematically-based techniques) to specify, develop, and verify software and hardware systems, in the context of software-defined networking (SDN) for Future Networks.
국제표준
관련파일 TTAE.IT-Y.3320_[1].pdf TTAE.IT-Y.3320_[1].pdf            

이전
소프트웨어 정의 네트워킹 프레임워크
다음
공통관리 서비스 - 테스트 관리 - 프로토콜 중립적인 요구사항 및 분석