Generation of Safety Case Argument-Fragments from Safety Contracts

摘要: Composable safety certification envisions reuse of case argument-fragments together with safety-relevant components in order to reduce the cost and time needed achieve certification. The could cover aspects relevant for different contexts which component can be used. Creating out-of-context is time-consuming currently no satisfying approach exists facilitate their automatic generation. In this paper we propose an based on (semi-)automatic generation from assumption/guarantee contracts. We use contracts capture claims related component, including supporting evidence. provide overview argument-fragment architecture rules generation, application illustrative example. proposed enables engineers focus increasing confidence knowledge about system, rather than documenting a case.