TY - GEN
T1 - Model-based analysis and development of dependable systems
AU - Buckl, Christian
AU - Knoll, Alois
AU - Schieferdecker, Ina
AU - Zander, Justyna
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=78449236405&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-16277-0_10
DO - 10.1007/978-3-642-16277-0_10
M3 - Conference contribution
AN - SCOPUS:78449236405
SN - 3642162762
SN - 9783642162763
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 271
EP - 293
BT - Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Revised Selected Papers
T2 - International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems
Y2 - 4 November 2010 through 9 November 2010
ER -