Ayoub, AnaheedKim, BaekGyuLee, InsupSokolsky, Oleg2023-05-222023-05-222012-04-012012-03-08https://repository.upenn.edu/handle/20.500.14332/6541In 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.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28891-3_14CPS Model-Based Designsafety casessafety case patternsmodel-based development approachPCA infusion pumpPresentation