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

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.

[1]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[2]  B. M. DeBusk Managing the reliability of COTS-based military systems , 1998, Annual Reliability and Maintainability Symposium. 1998 Proceedings. International Symposium on Product Quality and Integrity.

[3]  Vyacheslav S. Kharchenko,et al.  Scalable Diversity-Oriented Decisions and Technologies for Dependable SoPC-Based Safety-Critical Computer Systems and Infrastructures , 2008, 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX.

[4]  G. G. Preckshot,et al.  A proposed acceptance process for commercial off-the-shelf (COTS) software in reactor applications , 1996 .

[5]  Jeffrey M. Voas Maintaining Component-Based Systems , 1998, IEEE Softw..

[6]  Wlodzimierz M. Zuberek,et al.  Compatibility of Software Components - Modeling and Verification , 2006, 2006 International Conference on Dependability of Computer Systems.

[7]  Vyacheslav Kharchenko,et al.  FPGA-based NPP Instrumentation and Control Systems: Development and Safety Assessment , 2008 .