DocumentCode :
1153152
Title :
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
Link To Document :
بازگشت