Andrew L. King

Ph.D. Candidate
Department of Computer and Information Science
School of Engineering and Applied Science
University of Pennsylvania
Google Scholar Profile

About Me

I'm a PhD candidate in Computer Science at the University of Pennsylvania and am a member of the PRECISE Center where I do research in software engineering, formal methods, and real-time systems. My dissertation is about tools, technologies, techniques and regulatory frameworks that can ensure the safety of plug & play systems.

Selected Projects

MIddleware Assurance Substrate (MIDAS)

The MIddleware Assurance Substrate (MIDAS) uses software defined networking (SDN) to ensure that distributed systems have the timing behavior specified by the programmer. The current version supports commercially available publish/subscribe middleware implementing the DDS standard (e.g., RTI's Connext) product. Check out the video below for a high-level overview and demo (best watched in fullscreen):

Medical Device Coordination Framework (MDCF)

A patient undergoing surgery or staying in the ICU is connected to a wide variety of medical devices. Currently, healthcare providers deliver care to the patients by manually manipulating these medical devices. If medical devices could communicate and coordinate with one another, this manipulation could be automated thereby reducing the risk of human error by reducing healthcare professional's workload, ultimately saving lives. The MDCF Project is a computational platform (middleware, a runtime execution environment, and programming abstractions) that enables medical device coordination in a systematic and safe way.

Embedded below is a demonstration of the MDCF running 2 MDCF applications: 1) A smart alarm which analyzes multiple data-streams to determine if an ICU patient needs urgent attention and 2) an application which closes the loop between a pulse-oximeter and a PCA infusion pump.

  • Teaching Assistant, CIS 400/401, "Senior Design Project", Spring 2013, Fall 2013, Spring 2012, Fall 2011, University of Pennsylvania, Philadelphia, PA
Journal & Conference Reviewer/Secondary-Reviewer
  • Formal Methods in System Design (FMSD) 2015
  • Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA) 2015
  • Real-Time and Embedded Technology and Applications Symposium (RTAS) 2014
  • Runtime Verification (RV) 2014, 2013
  • International Symposium on Automated Technology for Verification and Analysis (ATVA) 2014, 2013, 2012, 2011, 2010
  • International Conference on Cyber Physical Systems (ICCPS) 2013
  • Real-Time Systems Journal (RTJ) 2013
  • Real-Time Systems Symposium (RTSS) 2013, 2011, 2010
  • IEEE Symposium on Real-Time Computing (ISORC) 2013, 2012
  • International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) 2012
  • IEEE International Symposium on Reliable Distributed Systems (SRDS) 2012
  • Software Engineering in Healthcare (SEHC) 2012
  • IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) 2012
  • International Health Informatics Symposium (IHI) 2012
  • International Symposium on Foundations of Health Information Engineering and Systems (FHIES) 2012, 2011
  • International Conference on Embedded Software (EMSOFT) 2011
  • International Conference On Computer Aided Design (ICCAD) 2011
  • Journal of Computing Science and Engineering (JCSE) 2011
  • Principles of Programming Languages (POPL) 2008
  • Lockheed Martin ATL Research Liason, SAnToS Laboratory, Kansas State University, 2007 - 2009
  • Research Programmer, SAnToS Laboratory, Kansas State University, 2006 - 2007


Towards Assurance for Plug & Play Medical Systems
Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2015. [To Appear].


The Middleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow
Andrew L King, Sanjian Chen, Insup Lee. 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014. [Scholarly Commons].
A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal
Lu Feng, Andrew L King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, Insup Lee. OpenAccess Series in Informatics (OASIcs): 5th Workshop on Medical Cyber-Physical Systems, 2014. [Scholarly Commons].
A Modal Specification Approach for On-Demand Medical Systems
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee. Foundations of Health Information Engineering and Systems, 2014 [Scholarly Commons].
Demo Abtract: ROSLab—A Modular Programming Environment for Robotic Applications
Nicola Bezzo, Junkil Park, Andrew King, Peter Gebhard, Roman Ivanov, Insup Lee. 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2014. [IEEE].


Assuring the Safety of On-Demand Medical Cyber-Physical Systems **Invited Paper**
Andrew L. King, Lu Feng, Oleg Sokolsky, Insup Lee. 1st International Conference on Cyber-Physical Systems, Networks, and Applications, 2013. [ScholarlyCommons].


Challenges and Research Directions in Medical Cyber–Physical Systems
Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, Krishna K Venkatasubramanian. Proceedings of the IEEE (Special Issue on Cyber-Physical Systems), Vol. 100, Issue 1, Pages 75 - 90, 2012. [ScholarlyCommons].
Rationale and Architecture Principles for Medical Application Platforms
John Hatcliff, Andrew King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger, Julian M Goldman. 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), 2012. [ScholarlyCommons].
The Medical Device Dongle: An Open-Source Standards-based Platform for Interoperable Medical Device Connectivity
Philip Asare, Danyang Cong, Santosh G Vattam, BaekGyu Kim, Andrew King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium, 2012. [ScholarlyCommons].
Multivariate Medical Alarm Integration for Post CABG Surgery Patients
Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca, Margaret Fortino-Mullen, Andrew King, Insup Lee. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium, 2012. [ScholarlyCommons].
Evaluation of a Smart Alarm for Intensive Care using Clinical Data
Andrew King, Kelsea Fortino, Nicholas Stevens, Shachin Shah, Margaret Fortino-Mullen, Insup Lee. 2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2012. [ScholarlyCommons].


On Effective Testing of Health Care Simulation Software
Christian Murphy, MS Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, Leon Osterweil. Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011. [AcademicCommons].


GSA: A Framework for Rapid Prototyping of Smart Alarm Systems
Andrew L King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, Insup Lee. Proceedings of the 1st ACM International Health Informatics Symposium, 2010 [ScholarlyCommons].
Prototyping Closed Loop Physiologic Control with the Medical Device Coordination Framework
Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter. Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010. [ScholarlyCommons].


An Open Test Bed for Medical Device Integration and Coordination
Andrew King, Sam Procter, Dan Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Jetley, Paul Jones, Sandy Weininger. 31st International Conference on Sotware Engineering, 2009. [IEEE].
Distributed Parallel Symbolic Execution
Andrew L. King. Masters Thesis, Kansas State University, Department of Computer Science, 2009. [Download].
Google Profile