| 표준종류 |
정보통신단체표준(TTAS) |
| 표준번호 |
TTAE.IT-Y.3320
|
구 표준번호 |
|
| 제개정일 |
2014-12-17 |
총 페이지 |
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.
|
| 관련 IPR 확약서 |
접수된 IPR 확약서 없음
|
| 관련파일 |
![TTAE.IT-Y.3320_[1].pdf](/images/file_icon.gif) TTAE.IT-Y.3320_[1].pdf
|
|
| 표준이력 |
| 표준명 |
표준번호 |
제개정일 |
구분 |
유효
여부 |
IPR
확약서 |
파일 |
| 소프트웨어 정의 네트워킹을 위한 정형 명세 기법 요구사항 |
TTAE.IT-Y.3320
|
2014-12-17 |
제정
|
유효
|
없음
|
|
|
| 표준유지보수이력 |
| 검토일자 |
검토결과 |
검토내용 |
| 2018-05-31 |
유지 |
국내 네트워크 장비 관련 산업에 기활용 혹은 활용 예정 |
|
