| dc.contributor.author | Brændeland, Gyrd | |
| dc.contributor.author | Dahl, Heidi Elisabeth Iuell | |
| dc.contributor.author | Stølen, Ketil | |
| dc.date.accessioned | 2016-05-10T08:47:36Z | |
| dc.date.accessioned | 2016-05-11T08:57:28Z | |
| dc.date.available | 2016-05-10T08:47:36Z | |
| dc.date.available | 2016-05-11T08:57:28Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | SINTEF Rapport A8360, 27 p. SINTEF, 2008 | nb_NO |
| dc.identifier.isbn | 9788214044041 | |
| dc.identifier.uri | http://hdl.handle.net/11250/2389034 | |
| dc.description | - | |
| dc.description.abstract | This report describes a modular approach to the modelling and analysis of risk scenarios with mutual dependencies. The presented approach may be used to deduce the risk-level of an overall system from previous risk analyses of its constituent systems. It may also be used to decompose the analysis of a complex system into separate parts that can be carried out independently.
A custom made assumption-guarantee style is put forward as a means to describe risk scenarios with external dependencies. The assumption-guarantee style is built on top of the CORAS risk modelling language. The report also presents a set of deduction rules to facilitate various kinds of reasoning, including the analysis of mutual dependencies between risk scenarios expressed in the assumption-guarantee style. | |
| dc.language.iso | eng | nb_NO |
| dc.title | A modular approach to the modelling and analysis of risk scenarios with mutual depenencies | nb_NO |
| dc.type | Research report | nb_NO |
| dc.date.updated | 2016-05-10T08:47:36Z | |
| dc.identifier.cristin | 1344255 | |
