Welcome to ACM SIGBED Review

ACM

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

SIGBED Review, Volume 13, Number 2, March 2016
Special Issue on First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS 2015)

Content:

Upcoming Events
Special Issue on First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS 2015)
Introduction
Papers

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.

21st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2016)
Atlanta, Georgia, USA
April 2 - 6, 2016
35th Conference on Computer Communications (IEEE INFOCOM 2016)
San Francisco, CA, USA
April 10 - 15, 2016
Cyber-Physical Systems Week (CPSWEEK 2016)
Vienna, Austria
April 11-14, 2016
- 19th International Conference on Hybrid Systems (HSCC 2016)
- ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS 2016)
- 15th International Conference on Information Processing in Sensor Networks (IPSN 2016)
- 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2016)
Important dates:
- Workshop and Tutorial Day: April 11, 2016.
19th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2016)
Schloss Rheinfels, St. Goar, Germany
May 23-25, 2016
53rd Design Automation Conference (DAC 2016)
Austin, TX, USA
June 5-9, 2016
17th Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2016) (co-located with PLDI 2016)
Santa Barbara, CA, USA
June 13-14, 2016
21st International Conference on Reliable Software Technologies (Ada-Europe 2016)
Pisa, Italy
June 13-17, 2016
Important dates:
- Camera-ready version of papers: March 24, 2016.
- Industrial presentations, tutorial and workshop material: May 2, 2016.
36th International Conference on Distributed Computing Systems (ICDCS 2016)
Nara, Japan
June 27 - 30, 2016
28th Euromicro Conference on Real-Time Systems (ECRTS 2016)
Toulouse, France
July 5-8, 2016
Important dates:
Conference:
- Notification of acceptance: April 22, 2016
- Final submission: May 20, 2016
- Conference: July 6-8, 2016
Workshops:
- Submission deadline: April 28, 2016 (23:59 GMT-12)
- Notification of acceptance: May 27, 2016
- Final submission: June 10, 2016
- Early registration deadline: June 3, 2016
- Workshops: July 5, 2016
4th Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2016) (In conjunction with Samos conference)
Samos, Greece
July 17, 2016
10th ACM/IEEE International Symposium on Networks-on-Chip (NOCS 2016)
Nara, Japan
August 31 - September 2, 2016
Important dates:
- Notification of acceptance: April 8, 2016.
- Final version due: May 18, 2016.
29th IEEE International System-on-Chip Conference (SOCC 2016)
Seattle, WA, USA
September 6-9, 2016
Important dates:
- Special session proposal submission: March 11, 2016.
- Regular paper submission deadline: April 1, 2016.
- Workshop/tutorial proposal submission: April 8, 2016.
- Design Track extended abstract due: April 15, 2016.
- Notification of acceptance: June 12, 2016.
- Final camera-ready paper due: July 1, 2016.
5th International Conference on Connected Vehicles & Expo (ICCVE 2016)
Seattle, WA, USA
September 12 - 16, 2016
Important dates:
- Coming soon
12th annual FPGAworld Conference (FPGAWorld 2016)
Stockholm, Sweden
September 13, 2016
Important dates:
- Coming soon
34th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2016)
Trondheim, Norway
September 20-23, 2016
Important dates:
- Notification of acceptance: May 6, 2016.
- Camera-ready due: June 13, 2016.
- Fast Abstract submission: June 13, 2016.
16th International Conference on Runtime Verification (RV 2016)
Madrid, Spain
September 22-25, 2016
Important dates:
- Abstract deadline: May 8, 2016.
- Paper and tutorial deadline: May 15, 2016.
- Tutorial notification: June 1, 2016.
- Paper notification: July 11, 2016.
- Camera ready: August 8, 2016.
- Summer school on Runtime Verification: September 23-25, 2016.
- Workshops and tutorials: September 26-27, 2016.
- Conference: September 28-30, 2016.
Embedded Systems Week (ESWEEK 2016)
Pittsburgh, PA, USA
October 2-7, 2016
- International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2016)
- International Conference on Hardware - Software Codesign and System Synthesis (CODE+ISSS 2016)
- International Conference on Embedded Software (EMSOFT 2016)
Important dates:
- Abstract Submission: April 1, 2016.
- Full Paper Submission: April 8, 2016.
- Workshop & Tutorial Proposal Submission: April 8, 2016.
- First Paper Notification: May 20, 2016.
- Revised Paper Submission: June 10, 2016.
- Notification of Final Acceptance: July 1, 2016.
- Camera Ready Version: July 15, 2016.
22nd Annual International Conference on Mobile Computing and Networking (MobiCom 2016)
New York, NY, USA
October 3-7, 2016
Important dates:
- Abstracts submission due: 5PM EST, March 8, 2016.
- Paper submissions due: 5PM EDT, March 15, 2016.
- Notification of acceptance: June 13, 2016.
- Camera-ready due: July 15, 2016.
- Video submission due: August 26, 2016.
14th ACM Conference on Embedded Networked Sensor Systems (SenSys 2016)
Stanford, CA, USA
November 14-16, 2016
Important dates:
- Paper Registration and Abstract: April 3, 2016, AOE.
- Paper Submission Deadline: April 10, 2016, AOE.
- Notification of Paper Acceptance: July 17, 2016.

Special Issue on First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS 2015)

Introduction to the Special Issue

This special issue of ACM SIGBED Review is a collection of 6 refereed papers from the First DPRTCPS Workshop, which took place at the Courtyard by Marriott Riverwalk in San Antonio, Texas, USA, on December 1, 2015. Declarative programming (functional, logic, rule-based, constraints, dataflow, and visual) has several advantages over imperative programming. For example, using the functional reactive programming (FRP) paradigm over the imperative programming style found in languages such as C/C++/C# and Java for implementing embedded and real-time software allows the programmer to intuitively describe safety-critical behaviors of the system, thus lowering the chance of introducing bugs in the design phase. Its stateless nature of execution does not require the use of synchronization primitives like mutexes and semaphores, thus reducing the complexity in programming. However, accurate response time analysis of FRP-based controllers remains a largely unexplored problem. Furthermore, efficient runtime architectures and execution platforms for FRP and programs implemented in other declarative languages are nearly absent. To address this and other relevant issues for the emerging declarative programming paradigm for real-time and cyber-physical systems, this collection of papers presents work in the programming, response time analysis, scheduling, verification, execution, and performance evaluation of embedded controllers and CPS components implemented as declarative programs.

Albert M. K. Cheng
DPRTCPS 2015 Chair

Adding Real-time Capabilities to a SML Compilers
Muyuan Li, Daniel McArdle, Jeffrey Murphy, Bhargav Shivkumar and Lukasz Ziarek
SUNY Buffalo, NY, USA
Worst Case Response Time and Schedulability Analysis for Real-Time Software Transactional Memory-Lazy Conflict Detection (STM-LCD)
Qiang Zhou¹, Yakun Li¹, Xingliang Zou², Albert Cheng², and Yu Jiang³
¹BeiHang University, China
²University of Houston, TX, USA
³Heilongjiang University, China
Timing Analysis of P-FRP Systems
Danielle Underwood and Albert Cheng
University of Houston, TX, USA
A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform
Stefan Andrei¹, Albert Cheng², Vlad Radulescu³, Suresh Vadlakonda¹, and Sharfuddin Alam¹
¹Lamar University, TX, USA
²University of Houston, TX, USA
³Cuza University of Iasi, Romania
Towards a declarative modeling and execution framework for real-time systems
Sebastian Altmeyer and Nicolas Navet
University of Luxembourg, Luxembourg
A Methodology for Modeling and Verification of Cyber-Physical Systems based on Logic Programming
Neda Saeedloei¹ and Gopal Gupta²
¹University of Minnesota Duluth, MN, USA
²University of Texas at Dallas, TX, USA

Editorial Board:

Oleg Sokolsky, University of Pennsylvania
Georgios E. Fainekos, Arizona State University
Sergiy Bogomolov, Institute of Science and Technology (IST), Austria

Last update: 3-18-2016
Maintained by Valentina Sokolskaya
Designed by Chengdu Huang