Issue No. 06 - November/December (2004 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2004.30
Victor Basili , University of Maryland and Fraunhofer Center for Experimental Software Engineering
Paolo Donzelli , University of Maryland
Sima Asgari , University of Maryland
In contemporary societies, individuals and organizations increasingly depend on services delivered by sophisticated software-intensive systems. <p> Dependability has become a key systems property, which needs to be engineered and guaranteed regardless of continuous, rapid, and unpredictable technological and context changes. But, what is dependability? Dependability relates strictly to the specific goals the system's users want to achieve. So, in different circumstances, dependability implies different system attributes (for example, availability, real-time response, and ability to avoid catastrophic failures and resist adverse conditions), as well as different levels of adherence to such attributes.</p> <p> Achieving and maintaining dependability can't happen without firmly understanding its meaning. In this perspective, the authors introduce the Unified Model of Dependability, a modeling language that lets you reason about dependability and turn it into clearly defined and implementable system properties. Experience in the NASA High Dependability Computing Program provides a case study for UMD. </p>
Dependability, availability, real-time response, Unified Model of Dependability
P. Donzelli, V. Basili and S. Asgari, "A Unified Model of Dependability: Capturing Dependability in Context," in IEEE Software, vol. 21, no. , pp. 19-25, 2004.