NEWS Professor Eugenio Moggi will present a keynote at 10:00am on Tuesday, April 12, 2016, at the Hofburg.

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# 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 were recently presented at RTCSA 2015 and The First DPRTCPS Workshop recently took place in San Antonio, Texas, USA, on December 1, 2015), this timely CPSWeek 2016 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. Papers (short papers 4-6 pages, full papers 8-10 pages) and posters (1-2 pages) compliant with IEEE 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
Formal Verification
Runtime Architecture and Execution Platforms
Software Transactional Memory
Performance Evaluation
Virtualization
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)
Gopal Gupta, University of Texas at Dallas (USA)
Alan Hu, University of British Columbia (Canada)
Yu Jiang, Heilongjiang University (China)
Tei-Wei Kuo, National Taiwan University (Taiwan)
Chang-Gun Lee, Seoul National University (South Korea)
Jimmy H. M. Lee, Chinese University of Hong Kong (Hong Kong)
Jian Lin, University of Houston-Clear Lake (USA)
Jane Liu, Academia Sinica (Taiwan)
Joel Ouaknine, Oxford University (United Kingdom)
Peter Puschner, Vienna University of Technology (Austria)
Enrico Tronci, Sapienza University of Rome (Italy)
German Vidal, Technical University of Valencia (Spain)
Wang Yi, Uppsala University (Sweden)
Lukasz (Luke) Ziarek, University at Buffalo, The State University of New York (USA)

Important Dates

February 14th, 2016 (Extended: February 28th, 2016) - Submission Deadline (Papers)
March 15th, 2016 (Extended: March 18, 2016) - Submission Deadline (Posters)
March 8th, 2016 - Notification of Acceptance for Papers
March 17th, 2016 - Camera-Ready Submission Due
March 11st, 2016 (Extended: March 18, 2016) - Early Registration
April 12th, 2016 - Workshop

Paper Submission

Authors should prepare their papers using IEEE 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 DCPS 2016 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.

Proceedings

Accepted papers will be published by IEEE and will appear in IEEE Xplore Digital Library.

Keynote Speaker

Professor Eugenio Moggi, Universita degli studi di Genova, Italy

Title: Models, Over-approximations and Robustness

Abstract: Hybrid systems, and related formalisms, have been successfully used to model Cyber-Physical Systems. However, mathematical models are always a simplification of the system they are meant to describe, and one must aware of this mismatch, when using these models to analyze a system.
In safety analysis it is acceptable to use over-approximations of the system behavior, indeed they are the bread and butter of counterexample guided abstraction refinement (CEGAR). We propose a notion of system behavior robust wrt arbitrary small over-approximations, and argue that it is particularly appropriate for safety analysis.

Program

7:45am Registration starts

8:15am-9:30pm CPSWeek Opening and Keynote:

Rajeev Alur

9:30am-10:00pm Coffee/Tea

10:00am-11:00pm Workshop Keynote:

Models, Over-approximations and Robustness
Eugenio Moggi

11:00pm-12:00pm Session 1:

P-FRP Task Scheduling: A Survey
Xingliang Zou, Albert Cheng and Yu Jiang

Real-time Capabilities in Functional Languages
Jeffrey Murphy, Bhargav Shivkumar and Lukasz Ziarek

12:00pm-1:30pm Lunch

1:30pm-3:30pm Session 2:

Architecture for Logic Programing with Arrangements of Finite-State Machines
Vlad Estivill-Castro, Rene Hexel and Alberto Ramirez-Regalado

Dependability Assessment of Networked Embedded Software Systems
Kaliappa Ravindran

Open Discussions on Declarative CPS

3:30pm-4:00pm Coffee/Tea

4:00pm-6:00pm CPSWeek Poster Session

6:00pm-8:00pm CPS Community Forum


Photo of the Tower Clock 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.