|
Work item:
|
Y.3320 (ex Y.FNsdn-fm)
|
|
Subject/title:
|
Requirements for applying formal methods to software-defined networking
|
|
Status:
|
Approved on 2014-08-29 [Issued from previous study period]
|
|
Approval process:
|
AAP
|
|
Type of work item:
|
Recommendation
|
|
Version:
|
New
|
|
Equivalent number:
|
-
|
|
Timing:
|
-
|
|
Liaison:
|
-
|
|
Supporting members:
|
-
|
|
Summary:
|
Recommendation ITU-T Y.3320 describes overview and requirements for applying formal methods to SDN. In Appendix, it introduces an example to show how to apply formal methods to SDN environments.
Formal methods are mathematics-based techniques to specify, develop, and verify software and hardware systems, and are expected to increase reliability and robustness of the system. In SDN environments, consistency, reliability and safety of applications are important since incomplete or malicious programmable entity could cause break-down of underlying networks. In this sense, the usage of formal methods can be an effective approach to mitigate the problems.
|
|
Comment:
|
-
|
|
Reference(s):
|
|
|
Historic references:
|
|
Contact(s):
|
|
| ITU-T A.5 justification(s): |
|
|
|
|
First registration in the WP:
2012-05-02 16:56:57
|
|
Last update:
2014-09-01 08:54:04
|
