@inproceedings {23382,
	title = {Introduction to SASSUR 2014},
	journal = {SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR},
	volume = {LNCS 8696},
	year = {2014},
	pages = {371-374},
	publisher = {Springer},
	abstract = {The interest in and need for new safety assurance and certification approaches is undoubtedly increasing. First of all, critical systems are becoming more pervasive every day. They are used for a wide range of daily activities related to transportation, healthcare, or energy consumption, and for increasingly novel applications. Fully implantable artificial hearts and unmanned aerial vehicles are just two examples. Society increasingly depends on these systems, and on their safe operation. At the same time safety assurance and certification is becoming increasingly complex. This is a result of, for instance, evolution of regulatory practice, the increase in the size and complexity of the systems, the need for holistic assessment of cyber-physical systems, and the application of new technologies for enabling features such as autonomous, cooperative, or self-adaptive system behaviour. In addition, the application of new technologies in safety-critical systems potentially introduces new vulnerabilities that are not known yet but could affect to safety integrity.},
	doi = {http://dx.doi.org/10.1007/978-3-319-10557-4_40},
	author = {Ruiz, Alejandra and Kelly, Tim and Jose Luis {de la Vara}},
	editor = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank}
}
@inproceedings {SASSUR2014,
	title = {Quantifying Uncertainty in Safety Cases Using Evidential Reasoning},
	journal = {SASSUR 2014, Computer Safety, Reliability, and Security},
	volume = {8696},
	year = {2014},
	pages = {413-418},
	publisher = {Springer International Publishing},
	type = {Workshop},
	address = {unknown},
	abstract = {Dealing with uncertainty is an important and difficult aspect of analyses and assessment of complex systems. A real-time large-scale complex critical system involves many uncertainties, and assessing probabilities to represent these uncertainties is itself a complex task. Currently, the certainty with which safety requirements are satisfied and the consideration of the other confidence factors often remains implicit in the assessment process. Many publications in the past have detailed the structure and content of safety cases and Goal Structured Notation (GSN). This paper does not intend to repeat them. Instead, this paper outlines a novel solution to accommodate uncertainty in the safety cases development and assessment using the Evidential-Reasoning approach - a mathematical technique for reasoning about uncertainty and evidence. The proposed solution is a bottom-up approach that first performs low-level evidence assessments that makes any uncertainty explicit, and then automatically propagates this confidence up to the higher-level claims. The solution would enable safety assessors and managers to accurately summarise their judgement and make doubt or ignorance explicit.},
	author = {Nair, Sunil and Walkinshaw, Neil and Kelly, Tim},
	editor = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank}
}
