I personally have used the challenge as a case study of my research for developing a model-based design framework for Cyber-Physical Systems like medical devices.
- The Heart-on-a-Chip platform won the First Prize in the 9th World Embedded Systems Competition (Medical Devices category), Seoul, Korea 2012.
- Our work has won the Best Student Paper Award in the 2012 Real-Time System Conference (RTAS) at CPSWeek 2012.
- Our work was nominated for Best Paper at TACAS 2012.
Several research groups are using our models and tools. These include Marta Kwiatkowska, University of Oxford and Sanjit Seshia, UC Berkeley, etc. The models have been downloaded over 100 times in the past year.