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

被引：4
|
作者：
Kharchenko, Vyacheslav [1 ]
Sklyar, Vladimir [1 ]
Siora, Alexandr [2 ]
机构：
[1] Natl Aerosp Univ, Kharkov, Ukraine
[2] Co Radiy, Kirovohrad, Ukraine
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS | 2009年
关键词：
D O I：
10.1109/DepCoS-RELCOMEX.2009.22
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 component ".. A special metrics are proposed to assess a value of modification.
引用
收藏
页码：42 / 49
页数：8
相关论文
共 50 条
  • [21] THE CHOICE OF COMPUTER LANGUAGES FOR USE IN SAFETY-CRITICAL SYSTEMS
    CULLYER, WJ
    GOODENOUGH, SJ
    WICHMANN, BA
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 51 - 58
  • [22] Increasing Dependability of Component-based Software Systems by Online Failure Prediction
    Pitakrat, Teerat
    van Hoorn, Andre
    Grunske, Lars
    2014 TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC), 2014, : 78 - 81
  • [23] Component-based architectures for computer vision systems
    Economopoulos, A
    Martakos, D
    W S C G ' 2001, VOLS I & II, CONFERENCE PROCEEDINGS, 2001, : 182 - 189
  • [24] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [25] Evaluating dependability attributes of component-based specifications
    Crnkovic, Ivica
    Grunske, Lars
    29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 157 - +
  • [26] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [27] Using Tree-Based Approaches to Analyze Dependability and Security on I&C Systems in Safety-Critical Systems
    Cho, Chi-Shiang
    Chung, Wei-Ho
    Kuo, Sy-Yen
    IEEE SYSTEMS JOURNAL, 2018, 12 (02): : 1118 - 1128
  • [28] Impact analysis of change in component reliabilities in safety-critical systems
    Singh, Pooja
    Singh, Lalit
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2019, 35 (06) : 2051 - 2065
  • [29] Performability modeling of safety-critical systems through AADL
    Ahamad S.
    Gupta R.
    International Journal of Information Technology, 2022, 14 (5) : 2709 - 2722
  • [30] A soft error mitigation scheme for safety-critical computer systems
    Yu, YY
    Johnson, BW
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2005 PROCEEDINGS, 2005, : 514 - 519
12345