A unified model of dependability: capturing dependability in context

Author

Basili, Victor ; Donzelli, Paolo ; Asgari, Sima

Author_Institution

Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA

Volume

21

Issue

6

fYear

2004

Firstpage

19

Lastpage

25

Abstract

In contemporary societies, individuals and organizations increasingly depend on services delivered by sophisticated software-intensive systems to achieve personal and business goals. So, a system must have engineered and guaranteed dependability, regardless of continuous, rapid, and unpredictable technological and context changes. The International Federation for Information Processing Working Group defines dependability as "the trustworthiness" of a computing system, which allows reliance to be justifiably placed on the services it deliver.

Keywords

Unified Modeling Language; formal specification; formal verification; software fault tolerance; software quality; dependable computing; persistent software attributes; program specification; software quality; system dependability; trusted computing; unified model; Computer crime; Context modeling; Context-aware services; Delay; Hazards; Information processing; Safety; Security; Software engineering; Throughput; 65; Dependability; Unified Model of Dependability; availability; real-time response;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/MS.2004.30

Filename

1353219