Model-Based Analysis and Development of Dependable Systems

被引：0

作者：

Buckl, Christian ^{[1
]}

Knoll, Alois ^{[2
]}

Schieferdecker, Ina ^{[3
,4
]}

Zander, Justyna ^{[3
,4
]}

机构：

[1] Fortiss GmbH, Munich, Germany

[2] Tech Univ Munich, Munich, Germany

[3] Tech Univ Berlin, Berlin, Germany

[4] Fraunhofer FOKUS, Berlin, Germany

来源：

MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS | 2010年 / 6100卷

关键词：

FAULT-TOLERANCE; SOFTWARE; DESIGN;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The term dependability was defined in the 1980s to encompass aspects like fault tolerance and system reliability. According to IFIP, it is defined as the trustworthiness of a computing system which allows reliance to be justifiably placed on the service it delivers. Hence, dependability is the capability of a system to successfully and safely complete its mission. This chapter concentrates on safety and reliability aspects. It starts with a review of the basic terminology including, for example, fault, failure, availability, and integrity. In the following, a mathematical model of fault-tolerant systems is defined. It is used in the further sections for comparison with different techniques for safety and reliability analysis. Also selected currently available model-based development tools are reviewed. A summary and identification of future research challenges conclude the chapter.

引用

页码：271 / +

页数：5

共 50 条

[1] Model-based verification in the development of dependable systems
Aredo, DB
Owe, O
[J]. ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 2, 2005, : 327 - 334
[2] Model-based Analysis Support for Dependable Complex Systems in CHESS
Debiasi, Alberto
Ihirwe, Felicien
Pierini, Pierluigi
Mazzini, Silvia
Tonetta, Stefano
[J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 262 - 269
[3] Model-Based Dependable Composition of Self-Adaptive Systems
Cubo, Javier
Canal, Carlos
Pimentel, Ernesto
[J]. INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2011, 35 (01): : 51 - 62
[4] Applying Model-based SE Techniques for Dependable Land Systems
[J]. 1783, John Wiley and Sons Inc (26)
[5] Model-Based Approach to Design and Develop Usable and Dependable Recommender Systems
Bouzekri, Elodie
[J]. PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18), 2018,
[6] A Methodology for Model-based Development and Safety Analysis of Transport Systems
Hordvik, Simon
Oseth, Kristoffer
Blech, Jan Olaf
Herrmann, Peter
[J]. ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING, 2016, : 91 - 101
[7] Model-based Development and Performance Analysis for Evolving Manufacturing Systems
Kowal, Matthias
Prehofer, Christian
Schaefer, Ina
Tribastone, Mirco
[J]. AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (11) : 794 - 802
[8] Model-based development of embedded systems
Conrad, Mirko
Giese, Holger
Rumpe, Bernhard
Schätz, Bernhard
[J]. Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, MBEES 2007, 2007,
[9] Model-based development for hybrid systems
Ivancic, Franjo
[J]. WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 7, 2005, : 53 - 58
[10] Model-based development of embedded systems
Huhn, Michaela
Philipps, Jan
Schätz, Bernhard
Koss, Dagmar
[J]. Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, MBEES 2011, 2011,

← 1 2 3 4 5 →