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 language | English |
---|---|
Pages (from-to) | 413-419 |
Number of pages | 7 |
Journal | Proceedings - International Computer Software and Applications Conference |
State | Published - 2000 |
Event | 2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000) - Taipei, Taiwan Duration: 25 Oct 2000 → 27 Oct 2000 |