Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling

Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang 0051. Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. In Marc Zeller, Kai Höfig, editors, Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings. Volume 12297 of Lecture Notes in Computer Science, pages 34-50, Springer, 2020. [doi]

Authors

Hariharan Thiagarajan

This author has not been identified. Look up 'Hariharan Thiagarajan' in Google

Brian R. Larson

This author has not been identified. Look up 'Brian R. Larson' in Google

John Hatcliff

This author has not been identified. It may be one of the following persons: Look up 'John Hatcliff' in Google

Yi Zhang 0051

This author has not been identified. Look up 'Yi Zhang 0051' in Google