Skip to main content
SpringerLink
Log in

OR.NET: Safe Interconnection of Medical Devices

(Position Paper)

  • Conference paper
Foundations of Health Information Engineering and Systems (FHIES 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8315))

Abstract

This position paper gives an overview on the OR.NET project which focuses on the dynamic and safe interconnection of medical devices in an operating room. A brief overview of the legal situation for the approval of medical devices is given to highlight today’s limitations of the dynamic interconnection of safety critical devices in hospitals. A collection of methods equipped with a methodology is presented and discussed, which is intended to replace current integration tests at runtime.

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

Access this chapter

Log in via an institution
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 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Association for the Advancement of Medical Instrumentation: Medical Device Interoperability (AAMI MDI/March 30, 2013) (2013)

    Google Scholar 

  2. Turnitsa, C.D.: Extending the Levels of Conceptual Interoperability Model. In: Proceedings IEEE 2005 Summer Computer Simulation Conference, IEEE CSP (2005)

    Google Scholar 

  3. C4ISR Architecture Working Group: Levels of Information Systems Interoperability, LISI (1998)

    Google Scholar 

  4. National Committee on Vital and Health Statistics (NCVHS): Report on Uniform Data Standards for Patient Medical Record Information (2000)

    Google Scholar 

  5. Hatcliff, J., King, A.L., Lee, I., Macdonald, A., Fernando, A., Robkin, M., Vasserman, E.Y., Weininger, S., Goldman, J.M.: Rationale and architecture principles for medical application platforms. In: IEEE ICCPS, pp. 3–12 (2012)

    Google Scholar 

  6. Council Directive 93/42/EEC of 14 June 1993 concerning medical devices. OJ L 169 (July 12, 1993)

    Google Scholar 

  7. Directive 98/79/EC of the European Parliament and of the Council of 27 Oct 1998 on in vitro diagnostic medical devices. OJ L 331 (July 12,1998)

    Google Scholar 

  8. Council Directive 90/385/EEC of 20 June 1990 on the approximation of the laws of the Member States relating to active implantable medical devices. OJ No L 189 (July 20, 1990)

    Google Scholar 

  9. Johner, C., Hölzer-Klüpfel, M., Wittorf, S.: Basiswissen Medizinische Software: Aus- und Weiterbildung zum Certified Professional for Medical Software. Dpunkt (2011)

    Google Scholar 

  10. Medical devices - Quality management systems - Requirements for regulatory purposes (EN ISO 13485:2003)

    Google Scholar 

  11. Medical devices - Application of risk management to medical devices (ISO 14971) (2007), Corrected version (January 10, 2007)

    Google Scholar 

  12. Medical device software - Software life-cycle processes (IEC 62304) (2006)

    Google Scholar 

  13. Medical devices - Application of usability engineering to medical devices (IEC 62366) (2007)

    Google Scholar 

  14. Medical electrical equipment – Part 1-6: General requirements for basic safety and essential performance - Collateral standard: Usability (IEC 60601-1-6) (2010)

    Google Scholar 

  15. Application of risk management for IT-networks incorporating medical devices - Part 1: Roles, responsibilities and activities (IEC 80001-1) (2010)

    Google Scholar 

  16. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC / SIGSOFT FSE, pp. 109–120. ACM (2001)

    Google Scholar 

  17. Masson, B., Hélouët, L., Benveniste, A.: Compatibility between DAXML Schemas (March 2011)

    Google Scholar 

  18. King, A.L., Feng, L., Sokolsky, O., Lee, I.: A modal specification approach for on-demand medical systems. In: Preproceedings of FHIES (2013)

    Google Scholar 

  19. Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398–413. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  20. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS 1977), pp. 46–57. IEEE (1977)

    Google Scholar 

  21. Raskin, J.F.: Logics, Automata and Classical theories for Deciding Real Time. Thèse de doctorat, FUNDP, Namur, Belgium (June 1999)

    Google Scholar 

  22. Leucker, M., Schallhart, C.: A brief account of runtime verification. JLAP 78(5), 293–303 (2009)

    MATH  Google Scholar 

  23. Kühn, F.: Pink states for runtime verification. Master’s thesis, Univ. of Lübeck (2013)

    Google Scholar 

  24. Leucker, M.: Sliding between model checking and runtime verification. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 82–87. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  25. Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199–220 (1993)

    Article  Google Scholar 

  26. Bennaceur, A., Chilton, C., Isberner, M., Jonsson, B.: Automated mediator synthesis: Combining behavioural and ontological reasoning. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol. 8137, pp. 274–288. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  27. Leucker, M.: Checking and enforcing safety: Runtime verification and runtime reflection. ERCIM News 2008(75) (2008)

    Google Scholar 

  28. Vasserman, E.Y., Venkatasubramanian, K.K., Sokolsky, O., Lee, I.: Security and interoperable-medical-device systems, part 2: Failures, consequences, and classification. IEEE Security & Privacy 10(6), 70–73 (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Software Engineering and Programming Languages, University of Lübeck, Germany

    Franziska Kühn & Martin Leucker

  2. Graduate School for Computing in Medicine and Life Science, University of Lübeck, Germany

    Franziska Kühn

Authors
  1. Franziska Kühn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Leucker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Oxford University, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Jeremy Gibbons

  2. Department of Mathematics, St. Francis Xavier University, P.O. Box 5000, B2G 2W5, Antigonish, NS, Canada

    Wendy MacCaull

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kühn, F., Leucker, M. (2014). OR.NET: Safe Interconnection of Medical Devices. In: Gibbons, J., MacCaull, W. (eds) Foundations of Health Information Engineering and Systems. FHIES 2013. Lecture Notes in Computer Science, vol 8315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-53956-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-53956-5_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-53955-8

  • Online ISBN: 978-3-642-53956-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation