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
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;
Journal_Title :
Software, IEEE