Dependability of complex software systems with component upgrading

J. Jenny Li, Dennis B. Mulcare, W. Eric Wong

Research output: Contribution to journalConference articlepeer-review

3 Scopus citations

Abstract

Some very large and complex systems, such as telecom systems, must and typically do exhibit exceptional dependability. These systems are seldom totally replaced with a new system because of the increased likelihood of a lapse in service. Rather, systems are upgraded incrementally while operational, albeit this often involves large-scale software changes. It is especially important then to ensure that new or replacement components are ready for on-line installation before they are incorporated into an operational system. It is often costly and time-consuming to determine the readiness of new components for installation. Even then, the result may be unpredictable. Hence, we have developed effective and economical methods for software component verification that ensure and increase overall system dependability. We tested our technologies using a telecom application, an internet call-agent. Our experimental results show that our dynamic design analysis approach reduces computational costs and detects more errors than conventional approaches. The more frequently changes are made, the greater the savings in time required for model analysis and property prediction.

Original languageEnglish
Pages (from-to)413-419
Number of pages7
JournalProceedings - International Computer Software and Applications Conference
StatePublished - 2000
Event2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000) - Taipei, Taiwan
Duration: 25 Oct 200027 Oct 2000

Fingerprint

Dive into the research topics of 'Dependability of complex software systems with component upgrading'. Together they form a unique fingerprint.

Cite this