Availability Assessment of Information and Control Systems with Online Software Update and Verification

The paper is devoted to the analysis of the verification objectives and features for information and control systems (ICS) software at the different stages of life cycle, in particular, on development and operation stages for space ICS software. Theoretic-set description of objectives, verified functions considering their criticality for space systems software and scenarios of online verification are proposed. Availability Markov chains based models are developed for different scenarios of space systems software online verification. Multi-fragment Markov models of ICS software for a serviced spacecraft is researched taking into account updating and removal of detected faults.

[1]  Almir Pereira Guimaraes,et al.  Availability analysis of redundant computer networks: A strategy based on reliability importance , 2011, 2011 IEEE 3rd International Conference on Communication Software and Networks.

[2]  Ilir Gashi,et al.  Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach , 2009, Inf. Softw. Technol..

[3]  Kishor S. Trivedi,et al.  Modeling High Availability , 2006, 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06).

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

[5]  Yuan-Shun Dai,et al.  Computing systems reliability - models and analysis , 2004 .

[6]  Kishor S. Trivedi,et al.  Achieving and assuring high availability , 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

[7]  Vyacheslav S. Kharchenko,et al.  Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains , 2013, ICTERI.

[8]  Frédéric Boniol,et al.  Toward a wider use of formal methods for aerospace systems design and verification , 2009, International Journal on Software Tools for Technology Transfer.

[9]  Franz-Josef Pfreundt,et al.  Service-oriented middleware for financial Monte Carlo simulations on the cell broadband engine , 2010 .

[10]  Deep Medhi,et al.  Dependability and security models , 2009, 2009 7th International Workshop on Design of Reliable Communication Networks.

[11]  Junbeom Yoo,et al.  Formal Modeling and Verification of Safety-Critical Software , 2009, IEEE Software.

[12]  James S Collofello,et al.  Introduction to Software Verification and Validation , 1988 .

[13]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[14]  Kishor S. Trivedi,et al.  Achieving and Assuring High Availability , 2008, ISAS.