OR.NET: Safe Interconnection of Medical Devices

(Position Paper)
  • Franziska Kühn
  • Martin Leucker
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8315)


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.


Medical Device Linear Temporal Logic Integration Test Liveness Property Legal Situation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Association for the Advancement of Medical Instrumentation: Medical Device Interoperability (AAMI MDI/March 30, 2013) (2013)Google Scholar
  2. 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. 3.
    C4ISR Architecture Working Group: Levels of Information Systems Interoperability, LISI (1998)Google Scholar
  4. 4.
    National Committee on Vital and Health Statistics (NCVHS): Report on Uniform Data Standards for Patient Medical Record Information (2000)Google Scholar
  5. 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. 6.
    Council Directive 93/42/EEC of 14 June 1993 concerning medical devices. OJ L 169 (July 12, 1993) Google Scholar
  7. 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. 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. 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. 10.
    Medical devices - Quality management systems - Requirements for regulatory purposes (EN ISO 13485:2003) Google Scholar
  11. 11.
    Medical devices - Application of risk management to medical devices (ISO 14971) (2007), Corrected version (January 10, 2007) Google Scholar
  12. 12.
    Medical device software - Software life-cycle processes (IEC 62304) (2006)Google Scholar
  13. 13.
    Medical devices - Application of usability engineering to medical devices (IEC 62366) (2007) Google Scholar
  14. 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. 15.
    Application of risk management for IT-networks incorporating medical devices - Part 1: Roles, responsibilities and activities (IEC 80001-1) (2010)Google Scholar
  16. 16.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC / SIGSOFT FSE, pp. 109–120. ACM (2001)Google Scholar
  17. 17.
    Masson, B., Hélouët, L., Benveniste, A.: Compatibility between DAXML Schemas (March 2011)Google Scholar
  18. 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. 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)CrossRefGoogle Scholar
  20. 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. 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. 22.
    Leucker, M., Schallhart, C.: A brief account of runtime verification. JLAP 78(5), 293–303 (2009)zbMATHGoogle Scholar
  23. 23.
    Kühn, F.: Pink states for runtime verification. Master’s thesis, Univ. of Lübeck (2013)Google Scholar
  24. 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)CrossRefGoogle Scholar
  25. 25.
    Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199–220 (1993)CrossRefGoogle Scholar
  26. 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)CrossRefGoogle Scholar
  27. 27.
    Leucker, M.: Checking and enforcing safety: Runtime verification and runtime reflection. ERCIM News 2008(75) (2008)Google Scholar
  28. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Franziska Kühn
    • 1
    • 2
  • Martin Leucker
    • 1
  1. 1.Institute for Software Engineering and Programming LanguagesUniversity of LübeckGermany
  2. 2.Graduate School for Computing in Medicine and Life ScienceUniversity of LübeckGermany

Personalised recommendations