A method to generate reusable safety case argument-fragments from compositional safety analysis

برای تسهیل مجدد استفاده مجدد از مصنوعات ایمنی، ما یک روش برای تولید مدارک مصاحبه ایمنی قابل استفاده با استفاده از شواهد مربوط به تجزیه و تحلیل ایمنی ترکیبات ارائه می دهیم. این نسل از قراردادهای ایمنی ساخته شده است که رفتار مربوط به ایمنی اجزای سازنده را در جفت های فرض / تضمینی ضمانت می کند. ما امکان سنجی رویکرد ما را در یک مطالعه موردی در دنیای واقعی ارزیابی می کنیم که در آن مولفه مربوط به ایمنی در انزوا در داخل یک چرخ لودر مجددا استفاده می شود.