Title :
Dependability of Safety-Critical Computer Systems through Component-Based Evolution
Author :
Kharchenko, Vyacheslav ; Sklyar, Vladimir ; Siora, Alexandr
Author_Institution :
Nat. Aerosp. Univ., Kharkov, Ukraine
fDate :
June 30 2009-July 2 2009
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;
Conference_Titel :
Dependability of Computer Systems, 2009. DepCos-RELCOMEX '09. Fourth International Conference on
Conference_Location :
Brunow
Print_ISBN :
978-0-7695-3674-3
DOI :
10.1109/DepCoS-RELCOMEX.2009.22
