<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<href>banner.jpg</href>
<size width="100%"/>
</banner>
</journal-meta>
<doi>0734-cd</doi>
<article-meta>
<title-group>
<article-title>Evaluating Approaches Supporting Safety Argumentation for Inclusion in a Safety Assessment Framework for Efficient Transport</article-title>
</title-group>

<author>Andr&#233; Alexandersen Hauge<sup>1</sup>, Terje Sivertsen<sup>2</sup> and Bj&#248;rn Axel Gran<sup>3</sup></author>

<aff><sup>1</sup>Institute for Energy Technology, Halden, Norway</aff>

<email><a href="mailto:andre.hauge@ife.no">andre.hauge@ife.no</a></email>

<aff><sup>2</sup>Bane NOR, Oslo, Norway</aff>

<email><a href="mailto:terje.sivertsen@banenor.no">terje.sivertsen@banenor.no</a></email>

<aff><sup>3</sup>Institute for Energy Technology, Norway / Norwegian University of Science and Technology (NTNU), Trondheim</aff>

<email><a href="mailto:bjorn.axel.gran@ife.no">bjorn.axel.gran@ife.no</a></email>

</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>This paper presents results from an ongoing project named &#8220;Safety Assessment Framework for Efficient Transport&#8221; (SafeT) led by Bane NOR. Bane NOR is the government agency that owns, operates and develops the Norwegian railway infrastructure. The main objective of the SafeT framework is to offer a systematic, reusable way for creating system wide conceptual design models, and based on them, creating a common risk model, which in turn will facilitate the safety assessment, requirements specification and safety demonstration of the system under consideration. Previously reported results from SafeT include evaluation on the role of models and evaluation of hazard identification approaches to establish how models can be used throughout the life cycle of a system in a manner that facilitates the overall safety demonstration and assessment. This paper specifically addresses the safety assurance part of the framework, or more precisely evaluates how different safety assurance approaches support safety argumentation. Since SafeT focuses on model-based approaches and the conceptualisation phase, our scope is limited to approaches supporting model-based engineering in the early stages of the system life cycle. The evaluation considers to which degree common safety techniques support safety argumentation, meaning the potential to produce the models and descriptions necessary to substantiate the different claims that need to be made in a safety argumentation. The results are included in the SafeT framework as support for users in selecting appropriate development approaches supporting safety argumentation. A case study on the conceptualisation of a railway system for securing work areas is used to exemplify the SafeT framework.</p>
<p><italic>Keywords: </italic>Safety, Assessment, Argumentation, Demonstration, Assurance, Model-based, Railway.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>0734</hpdf>
</fpdf>
</body>
</article>