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 条

[31] Improving dependability of component-based systems via multi-versioning connectors
Medvidovic, N
Mikic-Rakic, M
Mehta, N
ARCHITECTING DEPENDABLE SYSTEMS, 2003, 2677 : 37 - 60
[32] Building Safety-Critical Systems Through Architecture-Based Systematic Reuse
McGregor, John D.
Silva, Roselane S.
MASTERING SCALE AND COMPLEXITY IN SOFTWARE REUSE (ICSR 2017), 2017, 10221 : 217 - 218
[33] Safety-critical human computer interaction
Nestler, Simon
IT-INFORMATION TECHNOLOGY, 2019, 61 (01): : 67 - 70
[34] Component-based Safety Computer of Railway Signal Interlocking System
Wang Hai-feng
Li Wei
2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 538 - 541
[35] Embedding dependability attributes into component-based software development
Kahtan, Hasan
Bakar, Nordin Abu
Nordin, Rosmawati
Abdulgabber, Mansoor Abdullateef
Computer Fraud and Security, 2014, 2014 (11): : 8 - 16
[36] nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems
Cheng, Chih-Hong
Huang, Chung-Hao
Nuehrenberg, Georg
2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
[37] Are your systems safety-critical?
Redmill, F
IEE REVIEW, 1997, 43 (03): : 93 - &
[38] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[39] SaveCCM -: a component model for safety-critical real-time systems
Hansson, H
Åkerholm, M
Crnkovic, I
Törngren, M
PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 627 - 635
[40] A Critical Survey of Reusability Aspects for Component-Based Systems
Sharma, Arun
Kumar, Rajesh
Grover, P. S.
PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 19, 2007, 19 : 411 - +

← 1 2 3 4 5 →