Skip to main content

Towards an AADL-Based Definition of App Architecture for Medical Application Platforms

  • Conference paper
  • First Online:
  • 676 Accesses

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

Abstract

There is a growing trend of developing software applications that integrate and coordinate the actions of medical devices. Unfortunately, these applications are being built in an ad-hoc manner without proper regard for established distributed systems engineering techniques. We present a tool prototype based on the OSATE2 distribution of the Eclipse IDE that targets the development of Medical Application Platform (MAP) apps. Our toolset provides an editing environment and translator for app architectures, i.e., their components and connections. The toolset generates interface definitions and glue code for the underlying MAP middleware, and it supports development of the business logic which the developer must write to complete the application within the same Eclipse-based environment. We also present a clinical scenario as a motivating example, trace its development through the toolset, and evaluate our work based on the experience.

This work is supported in part by the US National Science Foundation (NSF) (#1239543), the NSF US Food and Drug Administration Scholar-in-Residence Program (#1355778) and the National Institutes of Health / NIBIB Quantum Program.

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

Buying options

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

Learn about institutional subscriptions

Notes

  1. 1.

    Moreover, there are language annexes which enable the specification of a system’s behavior in AADL.

References

  1. Capnostream 20 Bedside Patient Monitor. http://www.covidien.com/rms/products/capnography/capnostream-20p-bedside-patient-monitor

  2. MDCF website. http://mdcf.santos.cis.ksu.edu

  3. King, A., Chen, S., Lee, I.: The MIDdleware assurance substrate: enabling strong real-time guarantees in open systems with OpenFlow. In: 17th IEEE Computer Society Symposium on Object/Component/Service-Oriented Realtime Distributed Computing (ISORC 2014) (2014)

    Google Scholar 

  4. ASTM International. ASTM F2761 - Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) (2009)

    Google Scholar 

  5. Caplan, R.A., Vistica, M.F., Posner, K.L., Cheney, F.W.: Adverse anesthetic outcomes arising from gas delivery equipment: a closed claims analysis. Anesthesiology 87(4), 741–748 (1997)

    Article  Google Scholar 

  6. Dissaux, P.: Using the aadl for mission critical software development. In: 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE Toulouse (2004)

    Google Scholar 

  7. Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Pearson (2012)

    Google Scholar 

  8. Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction. Technical report, DTIC Document (2006)

    Google Scholar 

  9. Feiler, P.H., Hansson, J.: Flow latency analysis with the architecture analysis and design language (aadl). Technical report, Carnegie Mellon University - Software Engineering Institute (2008)

    Google Scholar 

  10. Feiler, P.H., Hansson, J., De Niz, D., Wrage, L.: System architecture virtual integration: an industrial case study. Technical report, DTIC Document (2009)

    Google Scholar 

  11. Hatcliff, J., King, A., Lee, I., MacDonald, A., Fernando, A., Robkin, M., Vasserman, E., Weininger, S., Goldman, J.M.: Rationale and architecture principles for medical application platforms. In: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pp. 3–12. IEEE (2012)

    Google Scholar 

  12. ISO/IEEE. Domain information model. In: ISO/IEEE11073-10201 Health Informatics - Point-of-Care Medical Device Communication (2004)

    Google Scholar 

  13. Ivy Biomedical Systems Inc.: Vital-Guard 450C Patient Monitor with Nellcor SpO\(_2\), August 2005

    Google Scholar 

  14. Kim, B., Phan, L.T., Sokolsky, O., Lee, L.: Platform-dependent code generation for embedded real-time software. In: 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). IEEE (2013)

    Google Scholar 

  15. King, A., Arney, D., Lee, I., Sokolsky, O., Hatcliff, J., Procter, S.: Prototyping closed loop physiologic control with the medical device coordination framework. In: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, pp. 1–11. ACM (2010)

    Google Scholar 

  16. King, A., Procter, S., Andresen, D., Hatcliff, J., Warren, S., Spees, W., Jetley, R., Jones, P., Weininger, S.: An open test bed for medical device integration and coordination. In: Proceedings of the 31st International Conference on Software Engineering (2009)

    Google Scholar 

  17. King, A.L., Procter, S., Andresen, D., Hatcliff, J., Warren, S., Spees, W., Jetley, R.P., Jones, P.L., Weininger, S.: A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6(2), 7 (2009)

    Article  Google Scholar 

  18. Larson, B., Hatcliff, J., Fowler, K., Delange, J.: Illustrating the aadl error modeling annex (v. 2) using a simple safety-critical medical device. In: Proceedings of the 2013 ACM SIGAdA Annual Conference On High Integrity Language Technology, pp. 65–84. ACM (2013)

    Google Scholar 

  19. Larson, B., Hatcliff, J., Procter, S., Chalin, P.: Requirements specification for apps in medical application platforms. In: 2012 4th International Workshop on Software Engineering in Health Care (SEHC), pp. 26–32. IEEE (2012)

    Google Scholar 

  20. Maddox, R.R., Williams, C.: Clinical experience with capnography monitoring for pca patients. APSF Newsl. 26, 3 (2012)

    Google Scholar 

  21. Murugesan, A., Whalen, M.W., Rayadurgam, S., Heimdahl, M.P.: Compositional verification of a medical device system. In: Proceedings of the 2013 ACM SIGAdA Annual Conference on High Integrity Language Technology. ACM (2013)

    Google Scholar 

  22. OSATE, S.: An extensible open source aadl tool environment. SEI AADL Team Technical report (2004)

    Google Scholar 

  23. Schlichting, S., Pöhlsen, S.: An architecture for distributed systems of medical devices in high acuity environments. Technical report, Dräger (2014)

    Google Scholar 

  24. Siegel, J.: CORBA 3 fundamentals and programming, vol. 2. Wiley, Chichester (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sam Procter .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Procter, S., Hatcliff, J., Robby (2017). Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. In: Huhn, M., Williams, L. (eds) Software Engineering in Health Care. SEHC FHIES 2014 2014. Lecture Notes in Computer Science(), vol 9062. Springer, Cham. https://doi.org/10.1007/978-3-319-63194-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-63194-3_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-63193-6

  • Online ISBN: 978-3-319-63194-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics