APRES 2015

8:45 - 9:00 Welcome remarks

9:00 - 11:50 Session 1 - Adaptive mechanisms for distributed embedded systems (Chair: Kiyofumi Tanaka)

• 9:00 - 9:20 Adaptive environment perception in Cyber-physical Systems. Sebastian Zug, André Dietrich, Christoph Steup and Joerg Kaiser
• 9:20 - 9:40 Adaptive Offloading for Infotainment Systems. Luis Lino Ferreira, Luis Miguel Pinho, Michele Albano and César Teixeira
• 9:40 - 10:00 Towards Adaptive Resource Reservations for Component-Based Distributed Real-Time Systems. Nima Khalilzad, Mohammad Ashjaei, Luis Almeida, Moris Behnam and Thomas Nolte

10:00 - 10:30 Coffee break

10:30 - 11:30 Keynote speech

Medical Application Platforms for On-Demand Medical Cyber-Physical Systems

Speaker: Prof. Insup Lee, University of Pennsylvania

Abstract: Medical devices are undergoing significant transformations, embracing the potential of embedded software and network connectivity. Instead of stand-alone devices that can be designed, certified, and used independently of each other for patient treatment, networked medical devices will work as distributed systems that simultaneously monitor and control multiple aspects of the patient's physiology. The combination of embedded software controlling the devices, networking capabilities, and complicated physiological dynamics exhibited by patient bodies makes modern medical device systems a distinct class of cyber-physical systems (CPS). We refer to these as medical cyber-physical systems (MCPS). The goal of MCPS is to improve patient safety and treatment outcomes by leveraging diverse capabilities of individual devices to gain a more detailed and accurate picture of the evolving patient state.
A distinguishing feature of MCPS, compared to other CPS domains such as avionics, is their reliance on a multitude of medical devices, separately developed for specific intended use. This plethora of choices gives a lot of flexibility for the clinical personnel to select a clinical scenario and a set of devices, best suited for treatment of a particular patient. However, traditional medical devices are developed as monolithic stand-alone systems. Due to lack of interoperability between medical devices, clinicians have to carry out manually such coordinated uses in practice. Numerous cases have been reported, where patient safety has been compromised due to an error that could have been prevented or mitigated if these devices were networked and properly coordinated by software that ensure some sort of safety-lock.
There are several on-going efforts to support interoperability between medical devices using open standards. Based on standards, it is envisioned that MCPS would be assembled on-demand since they should be put together for a particular clinical scenario using available medical devices as needed, instead of having dedicated a set of medical devices developed and pre-configured for each clinical scenario. Such an on-demand assembly of MCPS requires a new paradigm to guarantee the safety of clinical applications using the MCPS. In contrast, currently practiced technologies for safety-critical systems assume that the system will be fully designed, manufactured, and tested prior to the customer. The main reason is that safety and effectiveness are emergent system-level properties and whether the properties are satisfied depends on the interactions among the system’s components.
This talk will explain why the traditional approach would not scale for on-demand MCPS and then present a newly emerging approach based on medical application platforms. In particular, this talk will describe the needs, challenges, and architecture of medical application platforms.

About the Speaker: Insup Lee is Cecilia Fitler Moore Professor of Computer and Information Science and Director of PRECISE Center, which he co-founded in 2008 at the University of Pennsylvania. His research interests include cyber-physical systems (CPS), real-time systems, embedded systems, high-confidence medical device systems, formal methods and tools, run-time verification, software certification, and trust management. The theme of his research activities has been to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. His papers received the best paper awards in IEEE RTSS 2003, CEAS 2011, IEEE RTSS 2012, and ACM/IEEE ICCPS 2014, and the best student paper in IEEE RTAS 2012. Recently, he has been working in medical cyber-physical systems and security of cyber physical systems.
He has served on many program committees, chaired many international conferences and workshops and served on various steering and advisory committees of technical societies. He has also served on the editorial boards on the several scientific journals, including Journal of ACM, IEEE Transactions on Computers, Formal Methods in System Design, and Real-Time Systems Journal. He is a founding co-Editor-in-Chief of KIISE Journal of Computing Science and Engineering (JCSE). He was a member of Technical Advisory Group (TAG) of President's Council of Advisors on Science and Technology (PCAST) Networking and Information Technology (2006-2007). He is a member of the National Research Council’s committee on 21st Century Cyber-Physical Systems Education (Dec 2013-May 2015). He received an appreciation plaque from Ministry of Science, IT and Future Planning, South Korea, for speaking at the Universal Linkage for Top Research Advisor (ULTRA) Program Forum in 2013. He is IEEE fellow and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.

11:30 - 11:50 Discussion of Session 1

12:00 - 13:00 Lunch

13:00 - 14:00 Session 2 - Scheduling and replication-based techniques for adaptivity (Chair: Sebastian Zug)

• 13:00 - 13:20 Virtual Release Advancing for Earlier Deadlines. Kiyofumi Tanaka
• 13:20 - 13:40 Tolerating Partial Failures on IEC 61499 Applications. Mário de Sousa, Christos Chrysoulas and Aydin Homay
• 13:40 - 14:00 Discussion

14:00 - 15:00 Session 3 - Hardware-based adaptation of embedded systems (Chair: Luís Lino Ferreira)

• 14:00 - 14:20 Digitally Assisted Analog Front-end Power Management Strategy via Dynamic Reconfigurability for Robust Heart Rate Monitoring. Chengzhi Zong, Somok Mondal, Drew Hall and Roozbeh Jafari
• 14:20 - 14:40 Reconfigurable hardware Agents using JADE and FPGA partial reconfiguration. Érico Nunes and Carlos Eduardo Pereira
• 14:40 - 15:00 Discussion

15:00 - 15:30 Coffee break

15:30 - 16:50 Session 4 - CodeStream: Combining Network Coding and Scheduling for adaptive communications (Chair: Luís Almeida)

• 15:30 - 15:50 Design and experiment of testbed using network coding for power management. Ki-Sung Koo and Manimaran Govindarasu
• 15:50 - 16:10 Towards Dynamic Adaptation in Broadcasting with Hybrid Rateless Codes. Carlos Faneca, Jose Vieira, Andre Zuquete, Julio Cano, Andre Moreira and Luis Almeida
• 16:10 - 16:30 Merging Network Coding with Feedback Management in Multicast Streaming. Andre Moreira, Luis Almeida and Daniel Lucani
• 16:30 - 16:50 Discussion

16:50 - 17:00 Workshop wrap-up and closing