Skip to main content
Top

2017 | OriginalPaper | Chapter

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

Authors : Sam Procter, John Hatcliff, Robby

Published in: Software Engineering in Health Care

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Moreover, there are language annexes which enable the specification of a system’s behavior in AADL.
 
Literature
3.
go back to reference 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) 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)
4.
go back to reference ASTM International. ASTM F2761 - Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) (2009) ASTM International. ASTM F2761 - Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) (2009)
5.
go back to reference 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)CrossRef 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)CrossRef
6.
go back to reference Dissaux, P.: Using the aadl for mission critical software development. In: 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE Toulouse (2004) Dissaux, P.: Using the aadl for mission critical software development. In: 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE Toulouse (2004)
7.
go back to reference Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Pearson (2012) Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Pearson (2012)
8.
go back to reference Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction. Technical report, DTIC Document (2006) Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction. Technical report, DTIC Document (2006)
9.
go back to reference 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) 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)
10.
go back to reference Feiler, P.H., Hansson, J., De Niz, D., Wrage, L.: System architecture virtual integration: an industrial case study. Technical report, DTIC Document (2009) Feiler, P.H., Hansson, J., De Niz, D., Wrage, L.: System architecture virtual integration: an industrial case study. Technical report, DTIC Document (2009)
11.
go back to reference 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) 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)
12.
go back to reference ISO/IEEE. Domain information model. In: ISO/IEEE11073-10201 Health Informatics - Point-of-Care Medical Device Communication (2004) ISO/IEEE. Domain information model. In: ISO/IEEE11073-10201 Health Informatics - Point-of-Care Medical Device Communication (2004)
13.
go back to reference Ivy Biomedical Systems Inc.: Vital-Guard 450C Patient Monitor with Nellcor SpO\(_2\), August 2005 Ivy Biomedical Systems Inc.: Vital-Guard 450C Patient Monitor with Nellcor SpO\(_2\), August 2005
14.
go back to reference 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) 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)
15.
go back to reference 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) 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)
16.
go back to reference 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) 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)
17.
go back to reference 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)CrossRef 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)CrossRef
18.
go back to reference 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) 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)
19.
go back to reference 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) 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)
20.
go back to reference Maddox, R.R., Williams, C.: Clinical experience with capnography monitoring for pca patients. APSF Newsl. 26, 3 (2012) Maddox, R.R., Williams, C.: Clinical experience with capnography monitoring for pca patients. APSF Newsl. 26, 3 (2012)
21.
go back to reference 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) 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)
22.
go back to reference OSATE, S.: An extensible open source aadl tool environment. SEI AADL Team Technical report (2004) OSATE, S.: An extensible open source aadl tool environment. SEI AADL Team Technical report (2004)
23.
go back to reference Schlichting, S., Pöhlsen, S.: An architecture for distributed systems of medical devices in high acuity environments. Technical report, Dräger (2014) Schlichting, S., Pöhlsen, S.: An architecture for distributed systems of medical devices in high acuity environments. Technical report, Dräger (2014)
24.
go back to reference Siegel, J.: CORBA 3 fundamentals and programming, vol. 2. Wiley, Chichester (2000) Siegel, J.: CORBA 3 fundamentals and programming, vol. 2. Wiley, Chichester (2000)
Metadata
Title
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms
Authors
Sam Procter
John Hatcliff
Robby
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-63194-3_3

Premium Partner