 |
 |
 |
|
 |
 |
| Lui Sha: Software System Stability |
|
The
development of large scale mission critical system has emerged
to be a major scientific and engineering challenge. For example, Large,
networked system of systems is built with many components designed
for different requirements in the past and contains known and
unknown defects. They often have overly complex and unconstrained
interactions. Indeed, major system failures often traced back
to unexpected global interactions that involve many components,
not an isolated defect in one module. On
the other hand, it is worthy to note that in the current mission
management software of civil aviation, there are hundreds of reported
residual bugs but the flights remain safe. There are at least
thousands of residual bugs in the telecomm network and it remains
highly reliable. There are perhaps millions of bugs in the World
Wide Web system of systems, but it works quite acceptably. On
an even large scale, United States of America is a highly stable
and evolvable system. It has grown and made truly remarkable progress
by the metric of civilization, even though many problems remain.
And its basic components, human beings, are complex, error prone,
and hard to test or verify. Complex but stable systems are uncommon
but have been built. This
talk presents an initial investigation on |
|
|
|
|
|
|
|