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 条
  • [11] Component-based design of cyber-physical applications with safety-critical requirements
    Masrur, Alejandro
    Kit, Michal
    Matena, Vladimir
    Bures, Tomas
    Hardt, Wolfram
    MICROPROCESSORS AND MICROSYSTEMS, 2016, 42 : 70 - 86
  • [12] On safety-critical computer control systems
    Halang, WA
    Colnaric, M
    TENTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1997, : 210 - 214
  • [13] Designing safety-critical computer systems
    Dunn, WR
    COMPUTER, 2003, 36 (11) : 40 - +
  • [14] Dependability validation, evaluation and testing of safety-critical aerospace systems
    Carreira, J
    Costa, D
    DASIA 99: DATA SYSTEMS IN AEROSPACE, 1999, 447 : 267 - 271
  • [15] A Medium Guardian for Enhanced Dependability in Safety-Critical Wireless Systems
    Almeida, Joao
    Ferreira, Joaquim
    Oliveira, Arnaldo S. R.
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2018, 19 (03) : 965 - 976
  • [16] Variability management in safety-critical systems design and dependability analysis
    de Oliveira, Andre Luiz
    Braga, Rosana
    Masiero, Paulo
    Parker, David
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2019, 31 (08)
  • [17] A Component-Based Approach for the Specification and Verification of Safety-Critical Software: Application to a Platoon of Vehicles
    Souquieres, Jeanine
    ERCIM NEWS, 2008, (75): : 33 - 34
  • [18] Software safety risk in legacy safety-critical computer systems
    Hill, Janice
    Baggs, Rhoda
    PROCEEDINGS IEEE SOUTHEASTCON 2007, VOLS 1 AND 2, 2007, : 229 - +
  • [19] Safety interfaces for component-based systems
    Elmqvist, J
    Nadjm-Tehrani, S
    Minea, M
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 246 - 260
  • [20] Parameter Estimation for Quantitative Dependability Analysis of Safety-Critical and Control Systems of NPP
    Kumar, Vinay
    Singh, Lalit Kumar
    Singh, Pooja
    Singh, Karm Veer
    Maurya, Ashish Kumar
    Tripathi, Anil Kumar
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2018, 65 (05) : 1080 - 1090
12345