Abstract
Medical Cyber-Physical Systems (MCPS) are safety-critical systems composed of hardware and software components that interact one each other and with the environment. Interactions of system and environment generate emergent properties that manufacturers should analyze to avoid hazard situations. The main contribution presented in this paper is a certification-based modeling approach of MCPS described by means of an insulin infusion pump case study. The modeling approach combines assurance cases in modular Goal Structuring Notation (GSN) and formal modeling tools to carry out a model-driven and goal-oriented requirements engineering. Assurance case models in modular GSN are specified along with requirements of an infusion pump system based on formal methods, and an Arduino prototype was designed during the case study. Manufacturers may reuse the approach as a source of safety and effectiveness evidence during a certification process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Hawkins, R., Habli, I., Kelly, T., McDermid, J.: Assurance cases and prescriptive software safety certification: a comparative study. Saf. Sci. 59, 55–71 (2013)
Brown, A.W., Conallen, J., Conallen, D.: Introduction: models, modeling, and model-driven architecture (mda). In: Model-Driven Software Development. Springer, Heidelberg (2005)
Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)
GSN community standard version 1 [Online]. Available: https://scsc.uk/r141:1?t=1 (2011). Accessed 09 Sep 2019
FDA: Insulin Pump Improvement Initiative White Paper [Online]. Available: https://www.fda.gov/medical-devices/infusion-pumps/white-paper-infusion-pump-improvement-initiative (2010). Accessed 05 Sep 2019
Méry, D., Singh, N.K.: Formal specification of medical systems by proof-based refinement. ACM Trans. Embed. Comput. Syst. 12, 1–25 (2013)
Dechev, D., Stroustrup, B.: Model-based product-oriented certification. In: Engineering of Computer Based Systems. IEEE Computer Society, Los Alamitos (2009)
Silva, L.C., Almeida, H.A., Perkusich, A., Perkusich, M.: A model-based approach to support validation of medical cyber-physical systems. Sensors. 15, 27625–27670 (2015)
Sobrinho, A., Silva, L.D., Perkusich, A., Cunha, P., Cordeiro, T., Lima, A.M.N.: Formal modeling of biomedical signal acquisition systems: source of evidence for certification. Software and Systems Modeling. 18(2), 1–19 (2017)
Horkoff, J., Aydemir, F.B., Cardoso, E., Li, T., Mattia, A., Paja, E., Salnitri, M., Mylopoulos, J., Giorgini, P.: Goal-oriented requirements engineering: a systematic literature map. In: International Requirements Engineering Conference. IEEE, Piscataway (2016)
Diabetes.co.uk: Basal Bolus-Basal Bolus Injection Regimen [Online]. Available: https://www.diabetes.co.uk/insulin/basal-bolus.html (2019). Accessed 05 Sep 2019
ASTM International: ASTM F2761-09 – Medical Devices and Medical Systems Essential Safety Requirements for Equipment Comprising the Patient-Centric Integrated Clinical Environment (ICE), Part 1: General Requirements and Conceptual Model. ASTM International, West Conshohocken (2013)
Berkeley, U.C.: The Ptolemy Project: Heterogeneous, Modeling and Design. EECS Dept. Available online: http://ptolemy.eecs.berkeley.edu/ptolemyII
Mathworks: Simulink Design Verifier (2012)
Jensen, K., Kristensen, L.M.: Colored petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM. 58, 51–70 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
e Silva, L.C. et al. (2020). A Certification-Based Modeling Approach of Medical Cyber-Physical Systems: An Insulin Infusion Pump Case Study. In: Latifi, S. (eds) 17th International Conference on Information Technology–New Generations (ITNG 2020). Advances in Intelligent Systems and Computing, vol 1134. Springer, Cham. https://doi.org/10.1007/978-3-030-43020-7_66
Download citation
DOI: https://doi.org/10.1007/978-3-030-43020-7_66
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43019-1
Online ISBN: 978-3-030-43020-7
eBook Packages: EngineeringEngineering (R0)