A few months ago we started research work on assurance case patterns and argument integration with system models. We perform this research in cooperation with Gdańsk University of Technology. We develop prototype tools to explore possible solutions and intend to implement them in NOR-STA when they prove to be effective.
We have developed the first prototype and applied it to a medical device case study. With the use of the prototype we were able to integrate the argument with a hazard table and an AADL model of infusion pump. The results have been presented on ASSURE 2016 workshop on 20 September in Trondheim.
You can find more details in our paper (Towards Safety Case Integration with Hazard Analysis for Medical Devices). If you are interested in use of assurance case patterns and argument integration with system models, feel free to contact us to get more information and possibly cooperate with us.
