Welcome to ACM SIGBED Review

ACM

SIGBED Review (ISSN: 1551-3688)
Special Interest Group on Embedded Systems

SIGBED Review, Volume 14, Number 2, February 2017
Special Issue on Medical Cyber Physical Systems workshop (MedicalCPS'16)

Content:

News
Upcoming Events
Special Issue on Medical Cyber Physical Systems workshop (MedicalCPS'16)
Introduction
Papers

News

We are happy to announce changes in the Editorial Board as of SIGBED Review volume 2/17:

Sergiy Bogomolov will take over the role of SIGBED Review Editor.
Oleg Sokolsky will switch to the role of Associate Editor.
Georgios E. Fainekos will resign from the Associate Editor role.

ACM SIGBED is a proud supporter of CPSWeek. Annually, SIGBED awards travel grants for students to attend CPSWeek. In the year 2016, 23 travel grants have been awarded to applicants from Australia, Canada, Germany, France, Italy, Netherlands, People's Republic of China, Portugal, Singapore, Spain and United States. Note that SIGBED will support CPSWeek 2017 in Pittsburgh, PA, USA as well. Please visit the CPSWeek 2017 homepage for more details.

Upcoming Events:

Below is a list of upcoming events of interest to embedded systems community. Not all of the events below are supported by ACM SIGBED. SIGBED sponsors a variety of events related to embedded systems development. The list of currently sponsored events is avalable here. If you would like your event to be considered for sponsorship, please contact SIGBED officers.

Design Automation and Test in Europe Conference (DATE 2017) Track E: Embedded Systems Software
Lausanne, Switzerland
March 27-31, 2017
22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017)
Xían, China
April 8–12, 2017
36th Conference on Computer Communications (IEEE INFOCOM 2017)
Atlanta, GA, USA
May 1 - 4, 2017
Cyber-Physical Systems Week (CPSWEEK 2017)
Pittsburgh, PA, USA
April 18-21, 2017
- 20th International Conference on Hybrid Systems (HSCC 2017)
- ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS 2017)
- 2nd IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI 2017)
- 16th International Conference on Information Processing in Sensor Networks (IPSN 2017)
- 23rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017)
37th International Conference on Distributed Computing Systems (ICDCS 2017)
Atlanta, GA, USA
June 5 - 8, 2017
Important dates:
- Author notification: March 6, 2017.
- Camera-ready paper deadline: April 3, 2017.
22nd International Conference on Reliable Software Technologies (Ada-Europe 2017)
Vienna, Austria
June 12-16, 2017
Important dates:
- Camera-ready version of papers: March 19, 2017.
- Industrial presentations, tutorial and workshop material: April 30, 2017.
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017)
Schloss Rheinfels, St. Goar, Germany
June 12 - 14, 2017
Important dates:
Research papers:
- Notification of acceptance: April 7, 2017
- Final paper submission: May 1, 2017
Research presentations:
- Notification of acceptance: April 7, 2017
- Final abstract submission: May 1, 2017
54th Design Automation Conference (DAC 2017)
Austin, TX, USA
June 18-22, 2017
18th Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2017) (co-located with PLDI 2017)
Barcelona, Spain
June 21-22, 2017
Important dates:
- Notifications by: March 31, 2017.
- Final version: April 15, 2017.
28th Euromicro Conference on Real-Time Systems (ECRTS 2017)
Dubrovnik, Croatia
June 27 - 30, 2017
Important dates:
Conference:
- Notification of acceptance: March 24, 2017
- Camera Ready submission: April 28, 2017
- Conference: June 28-30, 2017
Workshops:
- Submission deadline: March 31, 2017 (23:59 GMT-12)
- Notification of acceptance: May 12, 2017
- Final submission: June 2, 2017
- Workshops: June 27, 2017
30th IEEE International System-on-Chip Conference (SOCC 2017)
Munich, Germany
September 5-8, 2017
Important dates:
- Special session proposals due: March 10, 2017.
- Regular paper submissions due: March 31, 2017.
- Workshop/tutorial proposals due: April 7, 2017.
- Design Track submissions due: April 14, 2017.
- Notification of acceptance: June 23, 2017.
- Final camera-ready papers due: July 14, 2017.
35th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017)
Trento, Italy
September 12-15, 2017
Important dates:
- Notification of acceptance: May 8, 2017.
- Camera-ready due: June 12, 2017.
17th International Conference on Runtime Verification (RV 2017)
Seattle, WA, USA
September 13 - 16, 2017
Important dates:
- Abstract submission: April 24, 2017.
- Paper and tutorial deadline: May 1, 2017.
- Tutorial notification: May 21, 2017.
- Paper notification: June 26, 2017.
- Camera ready: July 24, 2017.
13th annual FPGAworld Conference (FPGAWorld 2017)

Stockholm, Sweden September 19, 2017

Copenhagen, Denmark September 21, 2017

Important dates:
- Paper submission deadline : June 1, 2017
- Notification of acceptance: July 15, 2017
- Final version: August 15, 2017
15th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2017) collocated with the 17th conference on Formal Methods in Computer-Aided Design (FMCAD'17), October 2-6, 2017.
Vienna, Austria
September 29 - October 2, 2017
Embedded Systems Week (ESWEEK 2017)
Seoul, South Korea
October 15-20, 2017
- International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2017)
- International Conference on Hardware - Software Codesign and System Synthesis (CODE+ISSS 2017)
- International Conference on Embedded Software (EMSOFT 2017)
Important dates:
- Workshop Proposal Submission: March 10, 2017.
- Journal Track: Abstract Submission: March 31, 2017.
- Tutorial Proposal Submission: April 7, 2017.
- Journal Track: Full Paper Submission: April 7, 2017.
- Work-in-Progress Track: Paper Submission: June 2, 2017.
- Notification of Acceptance (Journal and WiP Tracks): June 30, 2017.
11th ACM/IEEE International Symposium on Networks-on-Chip (NOCS 2017) co-located with ESWEEK 2017
Seoul, South Korea
October 19-20, 2017
Important dates:
- Abstract registration deadline: April 24, 2017.
- Full paper submission deadline: May 1, 2017.
- Notification of acceptance: July 1, 2017.
- Final version due: August 1, 2011.
23rd Annual International Conference on Mobile Computing and Networking (MobiCom 2017)
Snowbird, UT, USA
October 16 - 20, 2017
Important dates:
- Abstracts submission due: 5PM EST, March 9, 2017.
- Paper submissions due: 5PM EDT, March 16, 2017.
- Notification of acceptance: June 8, 2017.
- Camera-ready due: July 17, 2017.
- Video submission due: September 8, 2017.
15th ACM Conference on Embedded Networked Sensor Systems (SenSys 2017)
Delft, The Netherlands
November 6 - 8, 2017
Important dates:
- Paper Registration and Abstract: April 3, 2017, AOE.
- Paper Submission Deadline: April 10, 2017, AOE.
- Notification of Paper Acceptance: July 17, 2017.

Special Issue on Medical Cyber Physical Systems workshop (MedicalCPS'16)

Introduction to the Special Issue

The following issue is based on the papers selected to be presented at the Medical Cyber Physical Systems workshop (MedicalCPS'16) that was held in Vienna, Austria on April 11th, 2016. The workshop has provided a working forum for medical device specialists, including researchers, developers, and caregivers, from clinical environments, industry, and government with the goal of advancing science, technology, and practice to overcome crucial issues with medical devices, software, and systems and improve safety and efficiency in health care.

The papers and posters presented at the workshop covered a broad area of topics, such as:
safety and interoperability of medical devices, verification of safety-critical medical cyber-physical systems, automated closed-loop model checking of implantable devices.

Special attention was given to the advancements in the Medical Internet of Things (MIoT), capsule robots and verification of implantable devices addressed in three exciting keynote presentations:

"The Medical Internet of Things (MIoT) to enable healthcare transformation", given by Julian M. Goldman, Medical Director, Partners HealthCare Biomedical Engineering Anesthesiologist, Massachusetts General Hospital / HMS and Director, MGH/PHS Medical Device Interoperability Program, MA, USA
"Lifesaving Capsule Robots", given by Pietro Valdastri, Chair in Robotics & Autonomous Systems and Professor at University of Leeds, UK
"CyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems", given by Rahul Mangharam, Associate Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania, PA, USA

Ezio Bartocci
Martin Leucker

Measuring Performance of Middleware Technologies for Medical Systems: Ice vs AMQP
Paloma Rubio-Conde, Diego Villarán-Molina, Marisol García-Valls
Universidad Carlos III de Madrid, Spain
Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees
Zhihao Jiang¹, Houssam Abbas¹, Pieter J. Mosterman², Rahul Mangharam¹
¹ University of Pennsylvania, USA
² McGill University, Canada and MathWorks, USA
Model-Based Falsification of an Artificial Pancreas Control System
Sriram Sankaranarayanan¹, Suhas Akshar Kumar¹, Faye Cameron², B. Wayne Bequette², Georgios Fainekos³ and David M. Maahs⁴
¹ University of Colorado, USA
² Rensselaer Polytechnic Institute, USA
³ Arizona State University, USA
⁴ University of Colorado, USA
Protecting Interoperable Clinical Environment with Authentication
Liang Cheng¹, Zhangtan Li², Yi Zhang³, Yang Zhang², Insup Lee¹
¹ University of Pennsylvania, USA
² Chinese Academy of Sciences, China
³ US Food and Drug Administration, USA
Support for Safety Case Generation via Model Transformation
Wuwei Shen¹, Chung-Ling Lin¹, Richard Hawkins²
¹ Western Michigan University, USA
² The University of York, UK
Flexible and Timely On-line Integration of Medical Services Using iLand Middleware
Marisol García-Valls¹, Natividad Herrasti², Christophe Jouvray³, Aintzane Armentia ⁴
¹ Universidad Carlos III de Madrid, Spain
² Embedded Technologies, Spain
³ Trialog, France
⁴ University of the Basque Country, Spain

Editorial Board:

Sergiy Bogomolov, Australian National University, Australia
Oleg Sokolsky, University of Pennsylvania

Last update: 3-31-2017
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang