Dependability assessment of software-based systems: State of the art

被引：0

作者：

Liftlewood, B ^{[1
]}

机构：

[1] City Univ London, Ctr Software Reliabil, London EC1V 0HB, England

来源：

ICSE 05: 27th International Conference on Software Engineering, Proceedings | 2005年

关键词：

reliability; safety; security; dependability; Bayesian methods; probability;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

My talk will present a personal and rather selective view of the state of the art of some aspects of dependability assessment for software-based systems. This short note gives a brief outline of the issues I shall address.

引用

页码：6 / 7

页数：2

共 50 条

[1] VALIDATION OF ULTRAHIGH DEPENDABILITY FOR SOFTWARE-BASED SYSTEMS
LITTLEWOOD, B
STRIGINI, L
COMMUNICATIONS OF THE ACM, 1993, 36 (11) : 69 - 80
[2] Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems
Bishop, Peter
Bloomfield, Robin
Littlewood, Bev
Povyakalo, Andrey
Wright, David
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2011, 37 (05) : 708 - 717
[3] Dependability in Embedded Systems: A Survey of Fault Tolerance Methods and Software-Based Mitigation Techniques
Solouki, Mohammadreza Amel
Angizi, Shaahin
Violante, Massimo
IEEE ACCESS, 2024, 12 : 180939 - 180967
[4] NEW SOFTWARE-BASED SYSTEMS FOR ROUTINE CLEANNESS ASSESSMENT OF STEELS
POLZIN, T
MICROSCOPICA ACTA, 1977, : 19 - 31
[5] Assessment of the comparative efficiency of software-based Boolean, electronic, software-based fractional value and simplified quantum principal expert systems
Straub, Jeremy
EXPERT SYSTEMS, 2022, 39 (04)
[6] The art of creating reliable software-based systems using off-the-shelf software components
Green, PA
SIXTEENTH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 118 - 120
[7] Combining disparate sources of information in the safety assessment of software-based systems
Dahll, G
NUCLEAR ENGINEERING AND DESIGN, 2000, 195 (03) : 307 - 319
[8] Software-based Networking in Railway Systems
Cruz, Mariana
Cruz, Rui S.
PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021), 2021,
[9] SUPPORTING SOFTWARE-BASED SYSTEMS.
Ramey, Jerry
Fischer, James
Orchard, leon
1600, (50):
[10] Software Testing, Software Quality and Trust in Software-Based Systems
Budnik, Christof
2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 253 - 253

← 1 2 3 4 5 →