DPRTCPS 2015
Date: Dec 01, 2015 8:00 am – Dec 01, 2015 5:00 pm
Location: San Antonio, Texas
DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems
at the Real-Time Systems Symposium, San Antonio, Texas, USA
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 IEEE formatting 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
- 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: cheng@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, University of Houston at Clear Lake (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)
- Yu Jiang, Heilongjiang University (China)
- Chang-Gun Lee, Seoul National University (South Korea)
- Jimmy H. M. Lee, Chinese University of Hong Kong (Hong Kong)
- 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)
Submitted by Anonymous
on
DPRTCPS: The First IEEE Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems
at the Real-Time Systems Symposium, San Antonio, Texas, USA
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 IEEE formatting 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
- 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: cheng@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, University of Houston at Clear Lake (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)
- Yu Jiang, Heilongjiang University (China)
- Chang-Gun Lee, Seoul National University (South Korea)
- Jimmy H. M. Lee, Chinese University of Hong Kong (Hong Kong)
- 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)