Dependability of Safety-Critical Computer Systems through Component-Based Evolution

Abstract

Modification causes of safety-critical computer systems and its components and procedures of evolution analysis are discussed in the paper. An evolutional-component model of computer systems has been developed for evoluability assessment. This model is applied to formalize analysis of pre-developed software and hardware OTS-components by use of vector operations in structured multilevel space “functions–components”. A special metrics are proposed to assess a value of modification.