Reply to post: Re: Take a Time Out and Chill with a Ponder...

Here's an idea: Verification for computer networks as well as chips and code

Roland6 Silver badge

Re: Take a Time Out and Chill with a Ponder...

>Among the many benefits of SDN is the fact that you can specify the desired state of the network through a central API, and the control plane is responsible for bringing about the changes to realize that desired state. Thus it becomes much more feasible to verify that a network meets the intent of its operator.

Disagree with the fundamental assumption being made here, namely that the control panel will always create and maintain the "desired state", because this is based on assumptions about the underlying dynamic networks implementation and interpretation of the directives of the central API.

Fundamentally the network has a dynamic configuration, whereas chip architecture (as defined by HDLs) is static.

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

Biting the hand that feeds IT © 1998–2022