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 条
  • [1] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [2] A component-based approach to specify hazards in the design of safety-critical systems
    Lu, SR
    Halang, WA
    Schmidtt, HW
    Gumzej, R
    2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2005, : 680 - 685
  • [3] A Component-based Dynamic Link Support for Safety-critical Embedded Systems
    Kajtazovic, Nermin
    Preschern, Christopher
    Kreiner, Christian
    2013 20TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2013), 2013, : 92 - 99
  • [4] Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems
    Kajtazovic, Nermin
    Preschern, Christopher
    Hoeller, Andrea
    Kreiner, Christian
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2015, 569 : 113 - 130
  • [5] On design-time modelling and verification of safety-critical component-based systems
    Kajtazovic N.
    Preschern C.
    Höller A.
    Kreiner C.
    International Journal of Networked and Distributed Computing, 2014, 2 (3) : 175 - 188
  • [6] Component-Based Modeling and Verification of Dynamic Adaptation in Safety-Critical Embedded Systems
    Adler, Rasmus
    Schaefer, Ina
    Trapp, Mario
    Poetzsch-Heffter, Arnd
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [7] On Design-time Modelling and Verification of Safety-critical Component-based Systems
    Kajtazovic, Nermin
    Preschern, Christopher
    Hoeller, Andrea
    Kreiner, Christian
    INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING, 2014, 2 (03) : 175 - 188
  • [8] Dependability metrics to assess safety-critical systems
    DeLong, TA
    Smith, DT
    Johnson, BW
    IEEE TRANSACTIONS ON RELIABILITY, 2005, 54 (03) : 498 - 505
  • [9] Enhancing dependability of component-based systems
    Lanoix, Arnaud
    Hatebur, Denis
    Heisel, Maritta
    Souquieres, Jeanine
    RELIABLE SOFTWARE TECHNOLOGIES - ADA- EUROPE 2007, PROCEEDINGS, 2007, 4498 : 41 - +
  • [10] Towards Component-Based Design of Safety-Critical Cyber-Physical Applications
    Masrur, Alejandro
    Kit, Michal
    Bures, Tomas
    Hardt, Wolfram
    2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 254 - 261
12345