Key points are not available for this paper at this time.
تم اقتراح عدد من النماذج التحليلية خلال الخمسة عشر عامًا الماضية لتقييم موثوقية نظام البرمجيات. في هذه الورقة نقدم لمحة عامة عن النهج الرئيسية للنمذجة، ونقدم تحليلًا نقديًا للافتراضات الأساسية، ونقيم القيود وقابلية تطبيق هذه النماذج خلال دورة تطوير البرمجيات. كما نقترح إجراء خطوة بخطوة لتناسب نموذج ما ونوضحه من خلال تحليل بيانات فشل من نظام برمجيات للقيادة والتحكم في الزمن الحقيقي بحجم متوسط.
درس أ. ل. جويل (Sun) هذا السؤال.