Safety case construction and reuse using patterns

TP Kelly, JA McDermid - … on Computer Safety, Reliability and Security, 1997 - Springer
… and often ad-hoc reuse can fail to fully exploit opportunities for reuse, and can in some cases
be … of informal safety case reuse and introduces the concept of Safety Case Patterns as a …

Safety case patterns-reusing successful arguments

T Kelly, J McDermid - … Colloquium on Understanding Patterns …, 1998 - ieeexplore.ieee.org
use of argument pattems within new projects. We provide a example of a fully documented
safety case pattern as … it is possible to capture expertise and improve safety case construction. …

Pattern-based reuse of successful designs: usability of safety-critical systems

M Mahemoff, A Hussey… - … 2001 Australian Software …, 2001 - ieeexplore.ieee.org
… extracted from case studies of real safetycritical … safety-usability pattern language, explaining
the patterns and how they relate to one another. Figure 1 shows the patterns and pattern

A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain

M Khalil, A Prieto, F Hölzl - Model-Based Safety and Assessment: 4th …, 2014 - Springer
… and safety case elements, the pattern library encapsulates all the information necessary for
reuseSafety case construction and reuse using patterns. In: 16th International Conference on …

Towards pattern-based reuse in safety-critical systems

N Kajtazovic, C Preschern, A Höller… - … Conference on Pattern …, 2014 - dl.acm.org
… In following sections, we build a pattern system based on objectives discussed above. The
… ) who have to design their safety-critical systems/components for reuse. Note that in this …

A pattern-based approach towards modular safety analysis and argumentation

M Khalil, B Schatz, S Voss - Embedded Real Time Software and …, 2014 - hal.science
… how reuse is simplified in a safety-critical context through the … element, along with the
corresponding safety case to support it. … Safety case construction and reuse using patterns." 16th …

Safety case patterns: theory and applications

EW Denney, GJ Pai - 2015 - ntrs.nasa.gov
… Whilst this is somewhat restrictive—and in practice it is not uncommon to have the same
pattern parameter be reused in different nodes in a pattern—we simply repeat the parameter …

A formal basis for safety case patterns

E Denney, G Pai - Computer Safety, Reliability, and Security: 32nd …, 2013 - Springer
… of successful arguments, safety case patterns provide an approach for reusing strategies
for reasoning about safety. In the current state of the practice, patterns exist as descriptive …

Reuse in safety critical systems: Educational use case first experiences

M Illarramendi, L Etxeberria… - 2014 40th …, 2014 - ieeexplore.ieee.org
safety argumentation. Although these benefits have not utilized in this first iteration of the
use case,… Next figure shows the relation of the Activity Patterns used in the use case and the …

The visitor pattern as a reusable, generic, type-safe component

BCS Oliveira, M Wang, J Gibbons - Proceedings of the 23rd ACM …, 2008 - dl.acm.org
… the pattern as … pattern as a reusable software library, by using advanced type system
features appearing in modern object-oriented languages such as Scala. We preserve type-safety