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

  • Sam ProcterEmail author
  • John Hatcliff
  • Robby
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9062)


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.


Integrated medical systems Medical application platforms Software architecture AADL 


  1. 1.
  2. 2.
  3. 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. 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. 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)CrossRefGoogle Scholar
  6. 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. 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. 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. 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. 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. 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. 12.
    ISO/IEEE. Domain information model. In: ISO/IEEE11073-10201 Health Informatics - Point-of-Care Medical Device Communication (2004)Google Scholar
  13. 13.
    Ivy Biomedical Systems Inc.: Vital-Guard 450C Patient Monitor with Nellcor SpO\(_2\), August 2005Google Scholar
  14. 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. 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. 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. 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)CrossRefGoogle Scholar
  18. 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. 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. 20.
    Maddox, R.R., Williams, C.: Clinical experience with capnography monitoring for pca patients. APSF Newsl. 26, 3 (2012)Google Scholar
  21. 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. 22.
    OSATE, S.: An extensible open source aadl tool environment. SEI AADL Team Technical report (2004)Google Scholar
  23. 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. 24.
    Siegel, J.: CORBA 3 fundamentals and programming, vol. 2. Wiley, Chichester (2000)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Kansas State UniversityManhattanUSA

Personalised recommendations