CALL FOR PARTICIPATION

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 these and other relevant issues for the emerging declarative programming paradigm for real-time and cyber-physical systems (for instance, two full FRP papers are scheduled to be presented at 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. No such workshops or conferences are available with a focus on both declarative programming as well as real-time and CPS. Short papers (6 pages maximum, 2 columns, 10 point size) or long abstracts (4 pages maximum, 2 columns, 10 point size) and invited papers (8 pages maximum, 2 columns, 10 point size) compliant with ACM SIG proceedings templates / SIGBED Review submission guidelines in the following areas are welcome. Short papers and long abstracts 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
Formal Verification
Runtime Architecture and Execution Platforms
Software Transactional Memory
Performance Evaluation
Practical Experiences and Industrial Applications

Program Committee

Albert M. K. Cheng (Chair), University of Houston (USA), Email: LastName AT cs uh edu
Luis Almeida, Universidade do Porto (Portugal)
Bjorn A. Andersson, Software Engineering Institute at Carnegie Mellon University (USA)
Stefan Andrei, Lamar University (USA)
Chaitanya Belwal, Halliburton (USA)
David Broman, KTH Royal Institute of Technology (Sweden) and University of California at Berkeley (USA)
Robert (Corky) Cartwright, Rice University (USA)
Gopal Gupta, University of Texas at Dallas (USA)
Manuel Hermenegildo, IMDEA Software Institute and Universidad Politecnica de Madrid (Spain)
Yu Jiang, Heilongjiang University (China)
Chang-Gun Lee, Seoul National University (South Korea)
Jimmy H. M. Lee, Chinese University of Hong Kong (Hong Kong)
Jian Lin, University of Houston at Clear Lake (USA)
Sam Lindley, University of Edinburgh (UK)
Linh Thi Xuan Phan, University of Pennsylvania (USA)
Rinus Plasmeijer, Radboud University Nijmegen (Netherlands)
Peter Puschner, Vienna University of Technology (Austria)
Tom Schrijvers, KU Leuven (Belgium)
Walid Taha, Halmstad University (Sweden), Rice University and University of Houston (USA)
Enrico Tronci, Sapienza University of Rome (Italy)
German Vidal, Technical University of Valencia (Spain)
Neng-Fa Zhou, Brooklyn College and Graduate Center of the City University of New York (USA)
Lukasz (Luke) Ziarek, University at Buffalo, The State University of New York (USA)

Important Dates

July 4, 2015 - Workshop Web Page Posted with CFP
September 28, 2015 - Workshop Papers Submission Deadline (Extended to October 9, 2015)
October 28, 2015 - Workshop Papers Notification of Acceptance
November 6, 2015 - FIRM Workshop Papers Camera Ready Deadline
From now to December 1, 2015, noon - Registration ($200): Please email Albert Cheng at the above email address your request to register.
December 1, 2015 - DPRTCPS Workshop at the Courtyard by Marriott San Antonio Riverwalk

Paper Submission

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 DPRTCPS 2015 Workshop by the notification of acceptance's special registration deadline and present in person the paper at the workshop.

Papers must be submitted electronically in PDF format. Submit a paper.

Proceedings

Accepted papers will be published in the 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. Note that the copyright remains with authors.

Final Program (Courtyard San Antonio Riverwalk, Feltin Room, December 1, 2015)

12:30p-1:00p On-site Registration

1:00p-1:10p Welcome and Introduction:

Albert Cheng, Conference Chair

1:10p-2:00p Keynote:

Real-time Android: building adaptive real-time systems
Lukasz Ziarek

2:00p-3:15p Session 1:

2:00p-2:30p Adding Real-time Capabilities to a SML Compiler
Muyuan Li, Daniel McArdle, Jeffrey Murphy, Bhargav Shivkumar and Lukasz Ziarek

2:30p-3:00p 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

3:00p-3:15p Timing Analysis of P-FRP Systems
Danielle Underwood and Albert Cheng

3:15p-3:45p Break with drinks and snacks

3:45p-5:00p Session 2:

3:45p-4:15p 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

4:15p-4:30p Towards a declarative modeling and execution framework for real-time systems
Sebastian Altmeyer and Nicolas Navet

4:30p-5:00p A Methodology for Modeling and Verification of Cyber-Physical Systems based on Logic Programming
Neda Saeedloei and Gopal Gupta

5:30p-8:30p Banquet:

at the Texas Land & Cattle (next to the Courtyard), 201 North St. Mary's, San Antonio, TX 78205, Phone: 210-222-2263.

Registration

Now - December 1, 2015, noon - Registration fee $200: Please email Albert Cheng at the above email address your request to register.

Sponsors

Association for Computing Machinery (ACM)
University of Houston (UH)





















Photos of San Antonio's River Walk and Alamo's area building 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.