Filters








185,692 Hits in 6.3 sec

A Formal Basis for Safety Case Patterns [chapter]

Ewen Denney, Ganesh Pai
2013 Lecture Notes in Computer Science  
To address these concerns, this paper gives (i) a formal definition for safety case patterns, clarifying both restrictions on the usage of multiplicity and well-founded recursion in structural abstraction  ...  We illustrate our contributions by application to a new pattern, the requirements breakdown pattern, which builds upon our previous work.  ...  This work has been funded by the AFCS element of the SSAT project in the Aviation Safety Program of the NASA Aeronautics Mission Directorate.  ... 
doi:10.1007/978-3-642-40793-2_3 fatcat:zlcsyeehmbff7beojaamjrmkiu

Safety Case Construction and Reuse Using Patterns [chapter]

T. P. Kelly, J. A. McDermid
1997 Safe Comp 97  
This paper presents an approach to the reuse of common structures in safety case arguments through their documentation as 'Safety Case Patterns'.  ...  For the description of patterns a safety case pattern language and a graphical pattern notation (based on the Goal Structuring Notation) are presented.  ...  As such, each safety case will ultimately be specific to a particular system -defined by both the details of the available evidence and safety requirements.  ... 
doi:10.1007/978-1-4471-0997-6_5 dblp:conf/safecomp/KellyM97 fatcat:yvyzwaiuvvamnkh7icc63b4flq

Assurance of System Safety: A Survey of Design and Argument Patterns [article]

Mario Gleirscher, Stefan Kugele
2019 arXiv   pre-print
The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns.  ...  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  ...  The procedure and the key elements of safety engineering are reflected in generic and domain-specific methods, techniques, and standards.  ... 
arXiv:1902.05537v1 fatcat:26flno62afhl7kn3g27lryph5y

Design Patterns to Implement Safety and Fault Tolerance

Hemangi Gawand, R.S. Mundada, P. Swaminathan
2011 International Journal of Computer Applications  
With variation in reflective design pattern we can develop a well structured fault tolerant system. The main goal of this paper is to separate control and safety aspect from the application logic.  ...  This paper discusses an object orient approach based on design pattern and computational reflection concept to implement non-functional requirements of complex control system.  ...  A FRAMEWORK FOR THE FORMAL SPECIFICATION OF DESIGN PATTERNS In this section we introduce our frame work that allows the specification of patterns at different levels of abstraction.  ... 
doi:10.5120/2259-2900 fatcat:tzjhqi3hrjdjhiwj3lg74e6uge

Generalizable safety annotations for specification of failure patterns

Ian Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos
2010 Software, Practice & Experience  
COMPOSITIONAL SAFETY ANALYSIS AND MOTIVATION FOR GENERALIZATION Compositional safety analysis in HiP-HOPS In HiP-HOPS, a topological model of the system (hierarchical if required to manage complexity)  ...  More specifically, the contributions of this paper are: • An extension to the failure modelling language of HiP-HOPS that allows specification, inheritance and improved reuse of generalized patterns of  ...  We thank Germanischer Lloyd (Erich Ruede, Rainer Hamann) and Volvo (Christian Grante) for providing some of the case studies.  ... 
doi:10.1002/spe.966 fatcat:5wn5fnipe5h6pj4cvyohmsirtm

Process and tool support for design patterns with safety requirements

Ansgar Radermacher, Brahim Hamid, Manel Fredj, Jean-Louis Profizi
2015 Proceedings of the 18th European Conference on Pattern Languages of Program - EuroPLoP '13  
this version : Radermacher, Ansgar and Hamid, Brahim and Fredj, Manel and Profizi, Jean-Louis Process and tool support for design patterns with safety requirements  ...  OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible.  ...  We like to thank our shephard Uwe Zdun and the participants of the Europlop writers workshop for their constructive critic and valuable hints for improvement of this paper.  ... 
doi:10.1145/2739011.2739019 dblp:conf/europlop/RadermacherHFP13 fatcat:34zdwxunt5f23fqtcyuwdylx4e

Using a Software Safety Argument Pattern Catalogue: Two Case Studies [chapter]

Richard Hawkins, Kester Clegg, Rob Alexander, Tim Kelly
2011 Lecture Notes in Computer Science  
To help remedy this, the SSEI at the University of York has developed a set of software safety argument patterns.  ...  The case studies demonstrated that the safety patterns can be applied to a range of system types regardless of the stage or type of development process, that they help limit safety case activities to those  ...  by the UK Ministry of Defence, which supported the two case studies described in this paper.  ... 
doi:10.1007/978-3-642-24270-0_14 fatcat:yf3u5fu5mvfvtd22qmjnyi6gkq

Empirical Bayesian data mining for discovering patterns in post-marketing drug safety

David M. Fram, June S. Almenoff, William DuMouchel
2003 Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining - KDD '03  
It has been used to study age/gender effects, to predict the safety profiles of proposed combination drugs, and to separate contributions of individual drugs to safety problems in polytherapy situations  ...  Because of practical limits in characterizing the safety profiles of therapeutic products prior to marketing, manufacturers and regulatory agencies perform post-marketing surveillance based on the collection  ...  An extensive suite of manual test scripts was developed to support formal testing requirements.  ... 
doi:10.1145/956750.956792 dblp:conf/kdd/FramAD03 fatcat:rsstizat3bblrigzsyx5wlsh3a

Empirical Bayesian data mining for discovering patterns in post-marketing drug safety

David M. Fram, June S. Almenoff, William DuMouchel
2003 Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining - KDD '03  
It has been used to study age/gender effects, to predict the safety profiles of proposed combination drugs, and to separate contributions of individual drugs to safety problems in polytherapy situations  ...  Because of practical limits in characterizing the safety profiles of therapeutic products prior to marketing, manufacturers and regulatory agencies perform post-marketing surveillance based on the collection  ...  An extensive suite of manual test scripts was developed to support formal testing requirements.  ... 
doi:10.1145/956790.956792 fatcat:pnzgyc6hs5az7bkj6obb7mot4a

Exploring patterns of multiple climates and their effects on safety performance at the department level

Anna Paolillo, Silvia A. Silva, Helena Carvalho, Margherita Pasini
2020 Journal of Safety Research  
This paper represents a first attempt to fill a gap in research about different specific climates and safety outcomes, by empirically identifying patterns of climates and exploring the possible effect  ...  The first objective was to explore how different specific climates (safety, communication, diversity and inclusion) can be associated to each other, considering the department level of analysis.  ...  Acknowledgments The authors would like to thank the reviewers for the valuable and constructive feedback.  ... 
doi:10.1016/j.jsr.2019.12.009 pmid:32199577 fatcat:qwbc25iyvnfwhp2jjql7vklhpe

Observing Patterns of River Usage

Peden, Franklin, Leggat, Lindsay
2019 Safety  
Rivers are a leading location for drowning, yet little is known about people's usage of these waterways. This pilot study aimed to test the use of direct observations to calculate river usage.  ...  Increased visitation on the Australia Day public holiday may be linked to increased drowning risk.  ...  Acknowledgments: This research is supported by Royal Life Saving Society-Australia to aid in the reduction of drowning.  ... 
doi:10.3390/safety5040066 fatcat:vav5ztcnlbcbfnnaqmavupu7iy

Investigating Road Safety Management Systems in the European Countries: Patterns and Particularities

Victoria Gitelman, Etti Doveh
2016 Journal of Transportation Technologies  
How to cite this paper: Gitelman, V. and Doveh, E. (2016) Investigating Road Safety Management Systems in the European Countries: Patterns and Particularities.  ...  safety performance of the countries.  ...  The authors are grateful to the DaCoTa WP1 group for providing valuable comments on this research.  ... 
doi:10.4236/jtts.2016.65032 fatcat:a42xsxzn2fesnpdhjgqhwzjerm

Borrowing Patterns in the Global Financial Safety Net: Does Governance Play a Role?

Laurissa Mühlich, Barbara Fritz
2021 Global Policy  
The status quo of the GFSN requires a pluralistic debate on the future of a decentralized short-term lending system. • The institutional autonomy of RFAs is of particular importance if they are to be utilized  ...  How relevant are RFAs and the IMF in moments of financial crisis? And more specifically: Do member countries resort to RFAs as complements or as substitutes to IMF lending?  ...  case-specific cost-benefit analysis of borrowing each time.  ... 
doi:10.1111/1758-5899.12936 fatcat:d2w4ro5cmrgurjf2656zuwgbau

Does Information Pattern Affect Risk Perception of Food Safety? A National Survey in China

Guanghua Han, Yihong Liu
2018 International Journal of Environmental Research and Public Health  
This paper aims to identify the effects of information source patterns on perceived food safety risks based on demographic factors.  ...  In contrast to our expectations, gender, family income and family size are not significantly correlated with the perception of food safety risk.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/ijerph15091935 pmid:30189673 pmcid:PMC6164564 fatcat:6zldh7a7sjfrri6eh57zpjejxm

Analysis of the treatment patterns and safety of early breast cancer patients during the COVID-19 pandemic

Feng Li, Fengrui Xu, Huiqiang Zhang, Jianbin Li, Tao Wang, Shaohua Zhang, Li Bian, Xiaopeng Hao, Zefei Jiang
2020 Translational Breast Cancer Research  
Results: Under the guidance of specific treatment strategies, the patient's treatment patterns have changed significantly.  ...  treatment needs and overall safety. of the treatment patterns and safety of early breast cancer patients during the COVID-19 pandemic.  ...  In order to analyze the impact of COVID-19 on treatment patterns and the safety for patients with breast cancer under specific strategies, we compared the treatment and safety data for early breast cancer  ... 
doi:10.21037/tbcr-20-29 fatcat:od32j3fisrabpcl36ckrmypjjm
« Previous Showing results 1 — 15 out of 185,692 results