The goal of the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems. People from industry are especially welcome to contribute with realistic data sets or methods coming from their own experience, which in the midterm may serve as benchmarks for assessing real-time research efforts.

WATERS 2016 is a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016), the
premier European venue for presenting research into the broad area of real-time and embedded systems.

A compiled version of the proceedings including the keynote is available here.

News
July 4, 2016: A compiled PDF version of the proceedings is now available.
July 3, 2016: The final program is now available.
July 1, 2016: The accepted contributions are now available on our community forum.
June 13, 2016: A preliminary program is available.
May 18, 2016: The submission deadline has been extended.
March 12, 2016: Please note that the important dates (deadline, notification, final version) have been changed.
February 5, 2016: The complete model of the FMTV’16 challenge is now available.
December 1, 2015: A first version of the FMTV’16 challenge is now available.
November 30, 2015: The WATERS’16 program committee is complete.
October 28, 2015: The WATERS’16 website is up and running!
October 21, 2015: The 2016 verification challenge will be proposed by Arne Hamann, Simon Kramer, Martin Lukasiewycz and Dirk Ziegenbein from Bosch GmbH. An initial version of the challenge will be made available before the end of the year.