The workshop seeks original contributions and surveys on methods and tools for real-time and embedded systems analysis, simulation, modelling and benchmarking. We seek papers describing well-engineered, highly reusable, possibly open, tools, methodologies, and data sets that can be used by other researchers. Whenever possible, authors are strongly encouraged to make their code and data available.
Areas of interest include, but are not limited to:
- Tools and methods for the analysis of real-time systems
- Realistic case studies and reusable data sets
- Comparative evaluation of existing algorithms and techniques
- Modelling, analysis and simulation of, possibly mixed-criticality, real-time, distributed, and embedded systems running on multi-core, many-core, massively parallel, or distributed systems
- Modelling, analysis and simulation of the various components of the run-time environment, including the operating system, the hypervisor, or complex middleware components
- Instrumentation, tracing methods and overhead analysis, including proper accounting of the overheads due to various virtualization technologies
- Power consumption models and experimental data for real-time power-aware systems
- Simulation, instrumentation and analysis of complex distributed systems infrastructures such as Cloud Computing infrastructures, when supporting real-time and QoS-aware applications
Focus of the 2015 edition
This year, WATERS would like to focus more closely on the following topics.
- Benchmarking: Lack of a common ground for experimentation is still an issue in many areas of real-time and embedded systems analysis. This makes evaluation and comparison of tools and methods difficult. Therefore, we particularly encourage authors to share data that can be used for benchmarking. Real-life problems from the industry dealing with real-time are of course especially welcome. In addition, theoretical and practical results about test case generation, e.g. for schedulability analysis, are of interest. Finally, we also welcome surveys on currently existing benchmarks and test cases.
- Case studies: In parallel, we emphasize the need for sharing experience with real-life examples. Therefore, we encourage authors to submit case studies in which they may describe not only the results they have achieved but also possibly the difficulties in adapting their approach to practical applications.
Call for challenge solutions
This year, we additionally propose a verification challenge for which authors may submit solutions. More information about this is available here.
All prospective authors are much encouraged to consider this double opportunity.
- At WATERS: The authors of accepted papers will have the opportunity of showing demonstrations of their work in a dedicated hands-on session at the workshop.
- At ECRTS: Together with the Work-in-Progress poster session and reception, demonstrations and material can be made available to all ECRTS participants. This is one of the most attractive and interactive events at the conference.
Submission instructions can be found here.