The workshop seeks interesting and innovative contributions and surveys on methods and tools for real-time and embedded systems analysis, simulation, modelling and benchmarking. We seek quality work 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 2016 edition
This year, WATERS would like to focus more closely on the following topics.
- Tool comparison: 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. The 2015 edition of WATERS ended with a discussion about an open and common input format for tools for real-time systems. We would like to take this one step further and encourage people to present, discuss and compare the characteristics of specific tools, and their integration with existing tool chains.
- Modeling methodologies: In the spirit of the final discussion at WATERS’15, we would like to emphasize the need for comprehensive and complete models. We encourage submissions that compare modeling techniques and analyze them in view of a comprehensive model specification that could enable many different types of analysis and synthesis.
Call for challenge solutions
Following the success of last year’s verification challenge, we will propose a new challenge this year. More information about this is available here.
Demo session at the ECRTS main conference
Together with the Work-in-Progress poster session and reception, authors of contributions accepted at WATERS (regular contributions and challenge solutions) will have the opportunity to show demonstrations of their work to all ECRTS participants on July 6th. This is one of the most attractive and interactive events at the conference. All prospective authors are very much encouraged to consider this opportunity.
Submission instructions can be found here.