In 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. © 2012 Springer-Verlag.
CITATION STYLE
Ayoub, A., Kim, B. G., Lee, I., & Sokolsky, O. (2012). A safety case pattern for model-based development approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7226 LNCS, pp. 141–146). https://doi.org/10.1007/978-3-642-28891-3_14
Mendeley helps you to discover research relevant for your work.