Call for Papers

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 CPS 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. Virtualization and hierarchical scheduling need to be explored as well.

To address these and other relevant issues for the emerging declarative programming paradigm for real-time and cyber-physical systems (for instance, two full FRP papers have been presented at IEEE RTCSA 2015), this timely workshop serves as a forum for presenting work and exchanging ideas in the programming, response time analysis, scheduling, verification, execution, and performance evaluation of embedded controllers and CPS components implemented as declarative programs. Except for my inaugural DPRTCPS Workshop at RTSS 2015 and DCPS Workshop at CPSWeek 2016, no such workshops or conferences are available with a focus on both declarative programming as well as CPS. Short papers (4-6 pages, 2 columns), extended abstracts/posters (2 pages, 2 columns), and full papers (8-10 pages, 2 columns) compliant with ACM SIG proceedings templates / SIGBED Review submission guidelines in the following areas are welcome. All submissions will be reviewed by at least three PC members. Accepted papers will be published in the ACM SIGBED Review newsletter and ACM Digital Library. By submitting to the workshop the authors are granting permission for ACM to publish in print and digital formats for the newsletter and the ACM archive. Open discussions and a keynote are also being planned.

Papers (short papers 4-6 pages, full papers 8-10 pages) and extended abstracts/posters (1-2 pages) compliant with ACM 2-column format in the following areas are welcome. Submissions will be reviewed by at least three PC members. Open discussions and a keynote are also being planned.

Topics of interest include but are not limited to:

Functional and Functional Reactive Programming
Declarative Programming
Declarative Domain-Specific Languages
Declarative and Declarative-Style Java
Constraint-based Programming
Logic Programming
Rule-Based Programming
Dataflow Programming
Visual Programming
Response Time Analysis
Scheduling and Resource Management
7ormal Verification
Runtime Architecture and Execution Platforms
Software Transactional Memory
Performance Evaluation
Robot Control
Practical Experiences and Industrial Applications

Program Committee

Albert M. K. Cheng (Chair), University of Houston (USA), Email: LastName AT cs uh edu
Bjorn A. Andersson, Software Engineering Institute at Carnegie Mellon University (USA)
Stefan Andrei, Lamar University (USA)
Sebastian Altmeyer, University of Amsterdam (Netherlands)
Chaitanya Belwal, Halliburton (USA)
Robert (Corky) Cartwright, Rice University (USA)
Vladimir Estivill-Castro, Griffith University (Australia)
Alan Hu, University of British Columbia (Canada)
Yu Jiang, Guangzhou University (China)
Tei-Wei Kuo, National Taiwan University (Taiwan)
Chang-Gun Lee, Seoul National University (South Korea)
Yu Li, University of Houston (USA)
Jian Lin, University of Houston-Clear Lake (USA)
Jane Liu, Academia Sinica (Taiwan)
Eugenio Moggi, Universita degli studi di Genova (Italy)
Al Mok, University of Texas at Austin (USA)
Peter Puschner, Vienna University of Technology (Austria)
Krithi Ramamritham, Indian Institute of Technology Bombay (India)
Oleg Sokolsky, University of Pennsylvania (USA)
Enrico Tronci, Sapienza University of Rome (Italy)
German Vidal, Technical University of Valencia (Spain)
Lukasz (Luke) Ziarek, University at Buffalo, The State University of New York (USA)

Important Dates

August 1, 2017 - Submission Deadline (Extended to: August 8, 2017, 11:59pm anywhere on earth)
August 29, 2017 - Notification of Acceptance (slightly delayed due to Hurricane Harvey)
September 5, 2017 - Camera-Ready Submission Due
Date to be announced by ESWeek - Early
October 19, 2017 - Workshop

Paper Submission

Authors should prepare their papers using ACM 2-column format. The submitted material must be unpublished and not under submission elsewhere. By submitting a paper, the author(s) confirm that if the paper is accepted, at least one author will
register for the DECPS 2017 Workshop by the notification of acceptance's special registration deadline and present in person the paper at the workshop. Please click here to register.

Please submit your papers electronically in PDF format here according to ACM SIG proceedings templates / SIGBED Review submission guidelines .


Accepted papers will be published by ACM SIGBED Review newsletter and will appear in the ACM Digital Library.

Program (accepted papers)

12:30pm-1:30pm Lunch

1:30pm-3:00pm Main Session

Application Validation on RTDroid
Yin Yan (State University of New York at Buffalo) and Lukasz Ziarek (State University of New York at Buffalo)

P-FRP Task Scheduling with Preemption Threshold
Jian Lin (University of Houston at Clear Lake) and Albert M. K. Cheng (University of Houston)

Bounding Execution Resources for the Task Scheduling Problem in Cyber-Physical Systems
Vlad Radulescu (Cuza University of Iasi), Stefan Andrei (Lamar University) and Albert M. K. Cheng (University of Houston)

3:00pm-3:30pm Coffee Break

Photo of the Sundial (an instrument that tells time with the position of the shadow of the gnomon cast by the sun on a graduated plate) taken and copyright by Albert M. K. Cheng. To see more of Albert's photos, please visit his photo galleries at
iStock. by Getty Images and Shutterstock.