Deriving Hierarchical Safety Contracts

8 years 10 days ago

Download www.es.mdh.se

—Safety cases need signiﬁcant amount of time and effort to produce. The required amount of time and effort can be dramatically increased due to system changes as safety cases should be maintained before they can be submitted for certiﬁcation or re-certiﬁcation. Sensitivity analysis is useful to measure the ﬂexibility of the different system properties to changes. Furthermore, contracts have been proposed as a means for facilitating the change management process due to their ability to record the dependencies among system’s components. In this paper, we extend a technique that uses a sensitivity analysis to derive safety contracts from Fault Tree Analyses (FTA) and uses these contracts to trace changes in the safety argument. The extension aims to enabling the derivation of hierarchical and correlated safety contracts. We motivate the extension through an illustrative example within which we identify limitations of the technique and discuss potential solutions to these limit...

Omar Jaradat, Iain Bate

Real-time Traffic