Title :
Ensuring system and software reliability in safety-critical systems
Author :
Tsai, W.T. ; Mojdehbakhsh, R. ; Zhu, F.
Author_Institution :
CPI-Guidant Corp., St. Paul, MN, USA
Abstract :
Reliability growth models, formal specifications, testing, safety analysis have been proposed to address system and software reliability. This paper presents a technique, called ripple effect analysis, which is well known in software maintenance, for system and software reliability. This technique is useful to ensure that all the changes that need to be done are indeed changed after a software modification. It is different from regression test of which the purpose is to show that those parts that should not be changed remain unchanged after a software modification. We have used this technique at Guidant-CPI and found ripple effect analysis is an effective technique for ensuring system and software reliability in developing safety-critical systems
Keywords :
formal specification; safety-critical software; software maintenance; software reliability; regression test; ripple effect analysis; safety-critical systems; software modification; software reliability; system reliability; Best practices; Formal specifications; Programming profession; Reliability engineering; Software maintenance; Software reliability; Software safety; Software systems; Software testing; System testing;
Conference_Titel :
Application-Specific Software Engineering Technology, 1998. ASSET-98. Proceedings. 1998 IEEE Workshop on
Conference_Location :
Richardson, TX
Print_ISBN :
0-8186-8582-4
DOI :
10.1109/ASSET.1998.688232