کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
494206 861144 2006 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله
A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project
چکیده انگلیسی

The dependability of a system is contextually subjective and reflects the particular stakeholder’s needs. In different circumstances, the focus will be on different system properties, e.g., availability, real-time response, ability to avoid catastrophic failures, and prevention of deliberate intrusions, as well as different levels of adherence to such properties. Close involvement from stakeholders is thus crucial during the elicitation and definition of dependability requirements. In this paper, we suggest a practical framework for eliciting and modeling dependability requirements devised to support and improve stakeholders’ participation. The framework is designed around a basic modeling language that analysts and stakeholders can adopt as a common tool for discussing dependability, and adapt for precise (possibly measurable) requirements. An air traffic control system, adopted as testbed within the NASA High Dependability Computing Project, is used as a case study.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Systems and Software - Volume 79, Issue 1, January 2006, Pages 107–119
نویسندگان
, ,