Skip to main content

UML Profiling for Software Systems in Medical Device Manufacturing

  • Conference paper
  • First Online:
Computer Information Systems and Industrial Management (CISIM 2019)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 11703))

  • 833 Accesses

Abstract

Quality is a major concern in Medical Device Manufacturing (MDM). Conformance with prevailing regulatory standards is of profound importance in MDM. Due to critical nature and dependability of the domain, development of Workflow management information systems (WMIS) that truly depict the domain concepts along with the associated quality and regulatory parameters could be a challenging task. A Medical Device (MD) is not considered acceptable unless a documented conformance evidence is provided which supports the adequacy of the medical product to be used for its intended purpose. Therefore, WMIS for these manufacturing setups must provide an argumentative linkage between the development processes and corresponding regulatory requirements. In this paper, we have proposed a UML Profile Architecture for development of WMIS for medical device manufacturing setups. A case study from MD industry is included to discuss the benefit and applicability of the proposed methodology in detail.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hong-jie, G., Fan-rong, M., Zhan-guo, X.: Research on UML-based modeling of work-flow manage system. In: 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Phuket, pp. 835–839 (2008)

    Google Scholar 

  2. Lin, C.-L., Shen, W.: Generation of assurance cases for medical devices. In: Lee, R. (ed.) Computer and Information Science. SCI, vol. 566, pp. 127–140. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-10509-3_10

    Chapter  Google Scholar 

  3. Oleynik, P.P., Gurianov, V.I.: UML profile for metamodel-driven design of database applications. J. Comput. Sci. Technol. Updates 3, 10–14 (2016)

    Google Scholar 

  4. Corns, S., Gibson, C.: A Model-based reference architecture for medical device development. In: INCOSE International Symposium, vol. 22, pp. 2066–2075 (2012). https://doi.org/10.1002/j.2334-5837

  5. Santos, I.C.T., Gazelle, G.S., Rocha, L.A., Tavares, J.M.R.S.: Modeling of the medical device development process. Expert Rev. Med. Devices 9(5), 537–543 (2012)

    Article  Google Scholar 

  6. Ling, C.-L., Shen, W., Kountanis, D.: Using UML profile and OCL to impose regulatory requirements on safety-critical system. In: 2013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 356–361 (2013)

    Google Scholar 

  7. Medical devices—Quality management systems—Requirements for regulatory purposes Committee ISO-13485/TC 210 Edition 2016-03

    Google Scholar 

  8. Scherer, D., Gouveia Filho, F.F.: Documentation template for the usability engineering process for medical devices. In: Lhotska, L., Sukupova, L., Lacković, I., Ibbott, Geoffrey S. (eds.) World Congress on Medical Physics and Biomedical Engineering 2018. IP, vol. 68/2, pp. 69–73. Springer, Singapore (2019). https://doi.org/10.1007/978-981-10-9038-7_13

    Chapter  Google Scholar 

  9. Ghanavati, S., Amyot, D., Peyton, L.: A systematic review of goal-oriented requirements management frameworks for business process compliance. In: 2011 Fourth International Workshop on Requirements Engineering and Law, Trento, pp. 25–34 (2011)

    Google Scholar 

  10. Hrgarek, N.: Certification and regulatory challenges in medical device software development. In: Proceedings of the 4th International Workshop on Software Engineering in Health Care (SEHC 2012), pp. 40–43. IEEE Press, Piscataway (2012)

    Google Scholar 

  11. Object Management Group: UML 2.0 Superstructure. http://www.omg.org/cgibin/doc?ptc/2004-10-02

  12. OMG: UML 2.0 OCL Specification. http://www.omg.org/docs/ptc/03-10-14.pdf

  13. Maro, S., Steghöfer, J.-P., Anjorin, A., Tichy, M., Gelin, L.: On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience. In: ACM SIGPLAN International Conference on Software Language Engineering (2015). https://doi.org/10.1145/2814251.2814253

  14. Anwar, M.W., Rashid, M., Azam, F., Kashif, M.: Model-based design verification for embedded systems through SVOCL: an OCL extension for system verilog. J. Des. Autom. Embedded Syst. 21(1), 1–36 (2017)

    Article  Google Scholar 

  15. Roth, A., Rumpe, B.: Towards product lining model-driven development code generators. In: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Angers, pp. 539–545 (2015)

    Google Scholar 

  16. Mc Hugh, M., Cawley, O., McCaffcry, F., Richardson, I., Wang, X.: An agile V-model for medical device software development to overcome the challenges with plan-driven software development lifecycles. In: 2013 5th International Workshop on Software Engineering in Health Care (SEHC), San Francisco, CA, pp. 12–19 (2013). https://doi.org/10.1109/SEHC.2013.6602471

  17. Nazari, P.M.S., Rumpe, B.: Using software categories for the development of generative software. In: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Angers, pp. 498–503 (2015)

    Google Scholar 

  18. Jiang, Z., Mangharam, R.: High-confidence medical device software development. In: High-Confidence Medical Device Software Development (2015). keywords: {Test; Verification; Risk Analysis; Program Verification; Software Model Checking}

    Google Scholar 

  19. Pajic, M., Mangharam, R., Sokolsky, O., Arney, D., Goldman, J., Lee, I.: Model-driven safety analysis of closed-loop medical systems. IEEE Trans. Ind. Inform. 10(1), 3–16 (2014)

    Article  Google Scholar 

  20. Lindvall, M., Diep, M., Klein, M., Jones, P., Zhang, Y., Vasserman, E.: Safety-focused security requirements elicitation for medical device software. In: 2017 IEEE 25th International Requirements Engineering Conference (RE), Lisbon, pp. 134–143 (2017)

    Google Scholar 

  21. Krogmann, K., Becker, S.: A case study on model-driven and conventional software development: the palladio editor. In: Software Engineering 2007 - Beiträge zu den Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik in Hamburg, vol. 27, pp. 169–176, 30 March 2007

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Muhammad Asim Minhas .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Minhas, M.A., Azam, F., Anwar, M.W., Qasim, I., Tufail, H. (2019). UML Profiling for Software Systems in Medical Device Manufacturing. In: Saeed, K., Chaki, R., Janev, V. (eds) Computer Information Systems and Industrial Management. CISIM 2019. Lecture Notes in Computer Science(), vol 11703. Springer, Cham. https://doi.org/10.1007/978-3-030-28957-7_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-28957-7_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-28956-0

  • Online ISBN: 978-3-030-28957-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics