André Alexandersen Hauge

• Sarshar, Sizarta; Hauge, André A & Winther, Rune (2019). Towards Risk Informed BIM Models in Major Norwegian Transport Projects. In Beer, Michael & Zio, Enrico (Ed.), Proceedings of the 29th European Safety and Reliability Conference(ESREL). 22 – 26 September 2019 Hannover, Germany. Research Publishing Services. ISSN 9789811127243. p. 1849–1855. doi: 10.3850/978-981-11-2724-3_0431-cd. Full text in Research Archive
• Hauge, André A; Sivertsen, Terje & Gran, Bjørn Axel (2019). Evaluating Approaches Supporting Safety Argumentation for Inclusion in a Safety Assessment Framework for Efficient Transport. In Beer, Michael & Zio, Enrico (Ed.), Proceedings of the 29th European Safety and Reliability Conference(ESREL). 22 – 26 September 2019 Hannover, Germany. Research Publishing Services. ISSN 9789811127243. p. 1544–1552. doi: 10.3850/978-981-11-2724-3_0734-cd. Full text in Research Archive
• Karpati, Peter; Hauge, André A; Sivertsen, Terje & Gran, Bjørn Axel (2018). Evaluating models for the inclusion in a safety assessment framework for efficient transport. In Haugen, Stein; Barros, Anne; Gulijk, Coen van; Kongsvik, Trond & Vinnem, Jan Erik (Ed.), Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway. CRC Press. ISSN 9781351174657. p. 1447–1454. doi: 10.1201/9781351174664. Full text in Research Archive Show summary

  This paper presents the experiences from applying SysML models as support for establishing the safety requirements specification of a new safety-related railway application. The new railway application is a software-based system for securing work areas, meaning it prevents railway traffic in areas along the track allocated to maintenance. The experiences are collected within the Safety Assessment Framework for Efficient Transport (SafeT) project managed by Bane NOR. Bane NOR is the government agency that owns, operates and develops the Norwegian railway infrastructure. The 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 safety assessment, establishing the requirements specification, and safety demonstration of the system under consideration. The paper introduces the SafeT project as context of the work and presents experiences on the application of SysML for the conceptual system design of the new securing work areas application. The paper also discusses whether SysML models fit the SafeT framework’s objectives.

• Skogvang, Øystein; Opsahl, Reidun Kristine; Solibakke, Sindre; Karpati, Peter; Hauge, André A & Sivertsen, Terje [Show all 8 contributors for this article] (2018). Evaluating approaches for hazard identification for the inclusion in a safety assessment framework for efficient transport. In Haugen, Stein; Barros, Anne; Gulijk, Coen van; Kongsvik, Trond & Vinnem, Jan Erik (Ed.), Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway. CRC Press. ISSN 9781351174657. p. 1503–1510. doi: 10.1201/9781351174664. Full text in Research Archive Show summary

  This paper presents the experiences from applying hazard and operability analysis (HAZOP) as support for establishing the safety requirements specification of a new safety-related railway application. The new railway application is a software based system for securing work areas, meaning it prevents railway traffic in areas along the track allocated to maintenance. The experiences are collected within the Safety Assessment Framework for Efficient Transport (SafeT) project managed by Bane NOR. Bane NOR is the government agency that owns, operates and develops the Norwegian railway infrastructure. The 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 safety assessment, establishing the requirements specification, and safety demonstration of the system under consideration. The experience collected on applying HAZOP is done through two workshops with different formats on the documentation. The objective was to collect guidance on how HAZOP can be supported in the SafeT framework.

• Karpati, Peter; Hauge, André A; Katta, Vikash & Raspotnig, Christian (2015). Safety demonstration challenges and recommendations in the nuclear field. In Podofillini, Luca; Sudret, Bruno; Stojadinovic, Bozidar; Zio, Enrico & Kröder, Wolfgang (Ed.), Safety and Reliability of Complex Engineered Systems. CRC Press. ISSN 9781138028791. p. 3791–3791. Full text in Research Archive Show summary

  Safety and Reliability of Complex Engineered Systems contains the Proceedings of the 25th European Safety and Reliability Conference, ESREL 2015, held 7-10 September 2015 in Zurich, Switzerland. It includes about 570 papers accepted for presentation at the conference. These contributions focus on theories and methods in the area of risk, safety and reliability, and their applications to a wide range of industrial, civil and social sectors. The main goal of this book is to showcase the advancements in understanding, modeling and management of complex engineered systems. The book offers a multidisciplinary platform to address technological, societal and financial aspects of system safety and reliability. Emphasis is given to the intra- and interdependencies of functions and the cascading failures that characterize complex engineered systems. Safety and Reliability of Complex Engineered Systems (abstracts book 730 pages + full paper CD-ROM 4634 pages) will be of interest to academics and professionals involved or interested in aspect of risk, safety and reliability in various engineering areas.

• Hauge, André A & Stølen, Ketil (2014). An analytic evaluation of the SaCS pattern language for conceptualisation of safety critical systems. International Journal On Advances in Software. 7(3/4), p. 653–674. Full text in Research Archive Show summary

  In this paper, we present the Safe Control Systems (SaCS) pattern language for the development of conceptual safety designs and conduct an analytical evaluation of the appropriateness of the language for its intended task. By a conceptual safety design we mean an early stage specification of system requirements, system design, and safety case for a safety critical system. The SaCS pattern language can express basic patterns on different aspects of relevance for conceptual safety designs. SaCS can also be used to combine basic patterns into composite patterns. A composite pattern can be instantiated into a conceptual safety design. A framework for evaluating modelling languages is used to conduct the evaluation. The quality of a language is within the framework expressed by six appropriateness factors. A set of requirements is associated with each appropriateness factor. The extent to which these requirements are fulfilled are used to judge the quality.We discuss the fulfilment of the requirements formulated for the language on the basis of the theoretical, technical, and practical considerations

• Hauge, André A & Stølen, Ketil (2014). An Analytic Evaluation of the SaCS Pattern Language – Including Explanations of Major Design Choices. In Mirnig, Alexander & Kabbedijk, Jaap (Ed.), PATTERNS 2014 The Sixth International Conferences on Pervasive Patterns and Applications, 25-29 May 2014, Venice, Italy. International Academy, Research and Industry Association (IARIA). ISSN 9781612083438. p. 79–88. Full text in Research Archive Show summary

  In this paper, we present an analytic evaluation of the Safe Control Systems (SaCS) pattern language for the develop- ment of conceptual safety designs. By a conceptual safety design we mean an early stage specification of system requirements, system design, and safety case for a safety critical system. The SaCS pattern language may express basic patterns on different aspects of relevance for conceptual safety designs. SaCS may also be used to combine basic patterns into composite patterns. A composite pattern may be instantiated into a conceptual safety design. A framework for evaluating modelling languages is used to conduct the evaluation. The quality of a language is within the framework expressed by six appropriateness factors. A set of requirements is associated with each appropriateness factor. The extent to which these requirements are fulfilled are used to judge the quality. We discuss the fulfilment of the requirements formulated for the SaCS language on the basis of the theoretical, technical, and practical considerations that were taken into account and shaped the SaCS language.

• Hauge, André A & Stølen, Ketil (2013). Developing Safe Control Systems using Patterns for Assurance. In Leister, Wolfgang & Lorenz, Pascal (Ed.), PESARO 2013, The Third International Conference on Performance, Safety and Robustness in Complex Systems and Applications, Venice, Italy, April 21-26, 2013. International Academy, Research and Industry Association (IARIA). ISSN 9781612082684. p. 1–8. Full text in Research Archive Show summary

  The Safe Control Systems (SaCS) method is a pattern-based method supporting the development of conceptual designs for safety critical systems. A pattern language offers support for the method by six different kinds of basic patterns, operators for combining patterns, and a graphical notation for visualising a pattern composition. Intended users of SaCS are system developers, safety engineers and HW/SW engineers. The method has so far been applied in two cases within different industrial domains. This paper demonstrates and presents experiences from the application of SaCS within the railway domain. We consider an interlocking system that controls the appliances of a railway station. We argue that SaCS effectively supports the establishment of requirements, a design satisfying the requirements, and an outline of a safety demonstration for the design.

• Hauge, André A & Stølen, Ketil (2012). A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7612, p. 13–24. doi: 10.1007/978-3-642-33678-2_2. Full text in Research Archive Show summary

  This article exemplifies the application of a pattern-based method, called SaCS (Safe Control Systems), on a case taken from the nuclear domain. The method is supported by a pattern language and provides guidance on the development of design concepts for safety critical systems. The SaCS language offers six different kinds of basic patterns as well as operators for composition.

• Hauge, André A & Stølen, Ketil (2011). SACS — A Pattern Language for Safe Adaptive Control Software. In Hvatun, Lise (Eds.), Proceedings of the 18th Conference on Pattern Languages of Programs. ACM Digital Library. ISSN 9781450312837. doi: 10.1145/2578903.2579145. Full text in Research Archive Show summary

  This article puts forward a pattern language for Safe Adaptive Control Software named SACS. We interpret the term “pattern language” such that a set of patterns, the interconnections between them, and how these are intended to be used make up a language. The pattern language consists of three basic types of patterns, namely the Requirement Pattern , the Design Pattern, and the Safety Case Pattern and an additional Composite Pattern type. The Composite Pattern type facilitates users of the language to specify their own patterns as compositions of basic patterns. The patterns are intended to be used in the context of safety related and safety critical systems, thus the safety aspect is a principal concern. The pattern language may be used as a tool for e.g. safety engineers and system developers to increase effectiveness during conceptual design and facilitate effective evaluation of alternative adaptive design solutions with respect to utilisation in a safety related application by a systematic approach for combining best practices.

• Hauge, André A; Sivertsen, Terje & Stølen, Ketil (2010). Method for assuring that self-imposed changes made by adaptive systems do not compromise safety. In Ale, Ben; Papazoglou, Ioannis & Zio, Enrico (Ed.), Reliability, risk and safety : back to the future. CRC Press. ISSN 9780415604277. Full text in Research Archive

View all works in NVA

• Hauge, André A; Katta, Vikash; Karpati, Peter & Gran, Bjørn Axel (2018). Safety Demonstration – A Strategy for Assessors. Full text in Research Archive
• Hauge, André A & Stølen, Ketil (2011). SACS — A Pattern Language for Safe Adaptive Control Software. Full text in Research Archive
• Hauge, André A & Stølen, Ketil (2011). TOWARDS PATTERNS FOR HANDLING SAFETY CRITICAL ADAPTIVE CONTROL SOFTWARE. Full text in Research Archive
• Hauge, André A & Stølen, Ketil (2014). A pattern-based method for safe control conceptualisation exemplified within railway signalling. HWR-1037. Institutt for energiteknikk. Full text in Research Archive
• Hauge, André A & Stølen, Ketil (2014). A pattern-based method for safe control conceptualisation exemplified within nuclear power production. HWR-1029. Institutt for energiteknikk. Full text in Research Archive

View all works in NVA