Software Quality in Unbounded Networks

Class notes

24 November, 1998

 

Review of the answer from the last question on the mid-term

Will your telephone call travel over wires, fiber, satellite, microwave, other wireless? All of these do not depend on any one so there is an inherent survivability

How does this effect survivability relative to methods for resistance?

Redundancy, diversity, security, external control systems, self-stabilizing algorithms.

So what is the downside?

Lack of visibility, lack of predictability, shared dependency (same software, protocols, ditch, power), cascade effects (denial of service attacks)

Morris worm – 1st prominent Internet incident. There has been no other attack since 1988 – and there is no good answer why. We are at the same level of technology but our dependence on the Internet is greater.

Private networks – today they are essentially not private because they use capacity from existing networks.

Same issue with dedicated lines – Rail Roads were the only exception to the telco installing and maintaining dedicated lines. Today, telcos guarantee logical capacity, not a physical line.

Expectations for unbounded networks

Correct, accurate, precise: conforms to fact, standard, truth

Correct: usually means freedom from fault or error

Accurate: fidelity to fact or truth obtained by the exercise of care

Precise: stresses strict agreement and sharpness of definition

Heizsenberg:

So far as theorems of mathematics are about reality they are uncertain

So far as they are certain they are not about reality

Compare sciences (like math) that have a tradition of drawing precise and certain conclusions about artificial worlds.

Networks inherently involve incomplete, imprecise, inconsistent, and unkowable information (just like the real world).

Conclusions? Networks are like unbounded systems like real life

Bounded vs. Unbounded vs. Infinite

Defines an abstract or artificial world

Global visibility

Central control

Knowledge of all regions

Complete knowledge of some region

Conclusions that are certain

Conclusions that are precise

Conclusions that are accurate

Conclusions that are realistic

Conclusions that are scalable

The only difference between unbounded and infinite is reality (unbounded is in the realm of reality)

How can you tell the difference between unbounded and infinite things? We cannot and it does not matter but when we prove theorems, we cannot depend on the fact that it is infinite.

Some isolated points

The last mile (local loop) – The media talks about competition in long distance providers, but the question really is the local loop.

Vulnerability of the local loop and inter-exchange carriers are different, but an attack on one would disrupt service. Each link is a single point of failure.

Diversity is a method, not a property. It is a method to achieve survivability.

Read the paper by Fisher and Lipsom.