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

Mahemoff, Michael; Hussey, A.; Johnston, Lorraine

doi:10.1109/aswec.2001.948495

Cited by 3 publications

(11 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Aircraft & avionics Delange et al 2009;Delmas et al 2015Denney and Pai 2013b;Dias and Iyoda 2011;Gobbo and Mili 2001;Littlewood and Rushby 2012;Lopez-Jaquero et al 2012;Miller et al 2009;Steiner and Rushby 2011;Zeng et al 2016] Automotive [Antonino and Trapp 2014;da Penha et al 2015;Dardar et al 2012;de Oliveira et al 2015;Ebnenasir and Cheng 2007;Gallina 2014;Hocking et al 2014;Konrad et al 2004;Lin et al 2016;Luo et al 2017a;Martorell et al 2016;Nasser et al 2017;Oertel et al 2014 [Fayad et al 2003;Lakhani and Pont 2012;Murugesan et al 2015;Pont and Banner 2004;Preschern et al 2014a;Sun 2014;Tan et al 2015] Networks & telecommunication [Giuntini et al 2017;Petroulakis et al 2016;Saridakis , 2003 Process & power plants [Larrucea et al , 2016Mahemoff et al 2001;Rauhamäki and Kuikka 2015;Wilson 1992] Generic [Alho and Rauhamäki 2011;Armoush 2010;Armoush et al 2008aArmoush et al ,b, 2009Ba...…”

Section: Application Domain Selection Of Studiesmentioning

confidence: 99%

“…The relationship between specifications and arguments (Section 1.1.6) is discussed in [Antonino and Trapp 2014;Kajtazovic et al 2014;Kotonya and Sommerville 1997;Sljivo et al 2015]. Both aspects of designs, behaviors and decompositions, receive a treatment in the works of Mahemoff et al [2001]; ; Rauhamäki and Kuikka [2015]; ; . The transition between a system decomposition and the construction of a safety argument is taken account of by ; ; Larrucea et al [2016]; ; ; ; Wu and Kelly [2004].…”

Section: Qcategory: Which Categories Of Patterns Are Presented?mentioning

confidence: 99%

“…Several studies discuss their approaches by covering all three technology domains [Dardar et al 2012;Gleirscher and Carlan 2017;Habli and Kelly 2010;Mahemoff et al 2001;Rauhamäki and Kuikka 2015;]. Delange et al 2009;Mahemoff et al 2001;Pont and Banner 2004;Tan et al 2015] Fault containment / masking, redundancy, recovery [Armoush et al 2008a;Baleani et al 2003 The following investigations cover the classical technology domains considered in embedded systems engineering, software and electrical and electronic hardware: [Armoush 2010;Baleani et al 2003;Delange et al 2009;Kelly and McDermid 1998;Littlewood and Rushby 2012;Miller et al 2009;Pont and Banner 2004;Preschern et al 2014bTan et al 2015;Wu and Kelly 2004].…”

Section: Qabstraction: Which Technologies Are Abstracted By the Patte...mentioning

confidence: 99%

“…The following works include a comparison of fault avoidance, detection, and containment principles: [Armoush 2010;Larrucea et al 2016;Liu et al 2008;Mahemoff et al 2001;Preschern et al 2014bWu and Kelly 2004]. These studies helped us to validate the relationships in Figure 2.…”

Section: Qtactic: Which Tactics Are Incorporated By the Patterns?mentioning

confidence: 99%

“…AltaRica, Event-B) [Ball and Butler 2009;Iliasov and Romanovsky 2008;Kabir and Goswami 2015;Lopez-Jaquero et al 2012;Miller et al 2009;Nasser et al 2017;Pereverzeva et al 2012;Tan et al 2015] Petri net [Belli and Großpietsch 1991;Flammini et al 2014] Probabilistic (e.g. Bayesian network) [Armoush 2010;Armoush et al 2008a;Bateman and Hatton 2006; [Alho and Rauhamäki 2011;Armoush 2010;Armoush et al 2008a;Baleani et al 2003;Bozzano et al 2013;Delmas et al 2015;Liu et al 2008;Luo et al 2017a;Mahemoff et al 2001;Nasser et al 2017;Natarajan et al 2000;Pont and Banner 2004;Preschern et al 2014bPreschern et al , 2013cRauhamäki and Kuikka 2015;] Pattern meta-model, tactic taxonomy [Khalil et al 2014;Luo et al 2016;Preschern et al 2013c;Radermacher et al 2013;Vepsäläinen and Kuikka 2014;Wu and Kelly 2004] Modeling Language UML [Fayad et al 2003;Giuntini et al 2017;Islam and Devarakonda 1996;Lopez-Jaquero et al 2012;Miller et al 2009;] AADL, EAST-ADL [Cadoret et al 2012; Preschern et al 2013a,b;…”

Section: Qcontribution: To What Extent Are Known Challenges Covered B...mentioning

confidence: 99%

See 4 more Smart Citations

Assurance of System Safety: A Survey of Design and Argument Patterns

Gleirscher,

Kugele

2019

Preprint

View full text Add to dashboard Cite

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two decades and on the state-of-the-art of patterns in safety-critical system design and assurance argumentation. We investigate several aspects of such patterns, for example, where and when they are applied, their characteristics and purposes, and how they are related. For each aspect, we provide an overview of relevant studies and synthesize a taxonomy of first principles underlying these patterns. Furthermore, we comment on how these studies address known challenges and we discuss suggestions for further research. Our findings disclose a lack of research on how patterns improve system safety claims and, vice versa, on the decomposition of system safety into separated local concerns, and on the impact of security on safety. CCS Concepts: • General and reference → Design; Reliability; • Computer systems organization → Architectures; Dependable and fault-tolerant systems and networks; • Hardware → Safety critical systems; • Software and its engineering → Software safety; Error handling and recovery; Software verification and validation; Risk management; • Security and privacy → Security in hardware.

show abstract

Section: Application Domain Selection Of Studiesmentioning

confidence: 99%

Section: Qcategory: Which Categories Of Patterns Are Presented?mentioning

confidence: 99%

Section: Qabstraction: Which Technologies Are Abstracted By the Patte...mentioning

confidence: 99%

Section: Qtactic: Which Tactics Are Incorporated By the Patterns?mentioning

confidence: 99%

Section: Qcontribution: To What Extent Are Known Challenges Covered B...mentioning

confidence: 99%

See 3 more Smart Citations

Assurance of System Safety: A Survey of Design and Argument Patterns

Gleirscher,

Kugele

2019

Preprint

View full text Add to dashboard Cite

show abstract

Towards a Pattern Language for Scalable Interaction Design in Control Rooms as Human-Centered Pervasive Computing Environments

Flegel,

Pöhler,

Van Laerhoven

et al. 2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Dependability Patterns: A Survey

Buckley,

Fernandez

2023

Computers

View full text Add to dashboard Cite

Patterns embody the experience and knowledge of designers and are effective ways to improve nonfunctional aspects of software systems. Although there are several catalogs and surveys of security patterns, there is no catalog or general survey about dependability patterns. Our survey presented an enumeration of dependability patterns, which include fault tolerance, reliability, safety, and availability patterns. After defining classification groups and showing basic pattern relationships, we showed the references to the publications where these patterns were introduced and enumerated their intents. Another objective was evaluating these patterns to see if their descriptions are appropriate for a possible catalog, which would make them useful to developers and researchers. We found that most of them need remodeling because they use ad hoc templates or no templates. We considered some models from which we can derive patterns and methodologies that incorporate the use of patterns to build dependable software systems. We also provided directions for research.

show abstract

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

Cited by 3 publications

References 5 publications

Assurance of System Safety: A Survey of Design and Argument Patterns

Assurance of System Safety: A Survey of Design and Argument Patterns

Towards a Pattern Language for Scalable Interaction Design in Control Rooms as Human-Centered Pervasive Computing Environments

Dependability Patterns: A Survey

Contact Info

Product

Resources

About