Add to ORKGIn this paper, a safety case pattern is introduced to facilitate the presentation of a correctness argument for a system implemented using formal methods in the development process. We took advantage of our experience in constructing a safety case for the Patient Controlled Analgesic (PCA) infusion pump, to define this safety case pattern. The proposed pattern is appropriate to be instantiated within the safety cases constructed for systems that are developed by applying model-based approaches
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation i...
Machine Learnt (ML) components are now widely accepted for use in a range of applications with resul...
In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness a...
This paper presents our effort of using model-driven engineering to establish a safety-assured imple...
A realistic user interface is rigorously developed for the US Food and Drug Administration (FDA) Gen...
By capturing common structures of successful arguments, safety case patterns provide an approach for...
Safety-Assured Development of the GPCA Infusion Pump Software This paper presents our effort of usin...
Medical devices are safety-critical systems that must comply with standards during their development...
The emerging network-enabled medical devices impose new challenges for the safety assurance of medic...
Abstract. A realistic user interface is rigorously developed for the US Food and Drug Administration...
© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety cas...
As software becomes ever more ubiquitous and complex in medical devices, it becomes increasingly imp...
Model: Generic Infusion Pump (GIP) Project As software becomes ever more ubiquitous and complex in m...
This paper demonstrates the benefits of adopting model-based design techniques for engineering medic...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation i...
Machine Learnt (ML) components are now widely accepted for use in a range of applications with resul...
In this paper, a safety case pattern is introduced to facilitate the presentation of a correctness a...
This paper presents our effort of using model-driven engineering to establish a safety-assured imple...
A realistic user interface is rigorously developed for the US Food and Drug Administration (FDA) Gen...
By capturing common structures of successful arguments, safety case patterns provide an approach for...
Safety-Assured Development of the GPCA Infusion Pump Software This paper presents our effort of usin...
Medical devices are safety-critical systems that must comply with standards during their development...
The emerging network-enabled medical devices impose new challenges for the safety assurance of medic...
Abstract. A realistic user interface is rigorously developed for the US Food and Drug Administration...
© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety cas...
As software becomes ever more ubiquitous and complex in medical devices, it becomes increasingly imp...
Model: Generic Infusion Pump (GIP) Project As software becomes ever more ubiquitous and complex in m...
This paper demonstrates the benefits of adopting model-based design techniques for engineering medic...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation i...
Machine Learnt (ML) components are now widely accepted for use in a range of applications with resul...