Publication | Closed Access

Model-based safety assessment with SysML and component fault trees: application and lessons learned

Safety EngineeringSafety-critical SystemReliability EngineeringModel-based Safety AssessmentEngineeringSoftware System SafetySoftware TestingFault AnalysisSafety ScienceComputer EngineeringSoftware AnalysisSoftware EngineeringSystems EngineeringComponent Fault TreesModeling And SimulationFormal VerificationSystem SoftwareSoftware Design