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

Author

Kharchenko, Vyacheslav ; Sklyar, Vladimir ; Siora, Alexandr

Author_Institution

Nat. Aerosp. Univ., Kharkov, Ukraine

fYear

2009

fDate

June 30 2009-July 2 2009

Firstpage

42

Lastpage

49

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 ldquofunctions-componentsrdquo. A special metrics are proposed to assess a value of modification.

Keywords

object-oriented programming; program diagnostics; software maintenance; software metrics; vectors; component-based evolution; evoluability assessment; evolution analysis; evolutional-component model; hardware OTS-components; metrics; predeveloped software analysis; safety-critical computer system dependability; structured multilevel space functions-components; vector operations; Aerospace industry; Aerospace safety; Application software; Computer networks; Costs; Extraterrestrial measurements; Functional analysis; Hardware; Manufacturing; Software measurement; Dependability; component based approach; systems evolution;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on

Conference_Location

Brunow

Print_ISBN

978-0-7695-3674-3

Type

conf

DOI

10.1109/DepCoS-RELCOMEX.2009.22

Filename

5261029