CfP: Rigorous System Design, MeTRiD workshop

CALL FOR PAPERS

1st International Workshop on Methods and Tools for Rigorous System Design ( MeTRiD 2018 )

Thessaloniki, Greece | 15 April 2018 | https://project.inria.fr/metrid2018/

(satellite workshop of ETAPS 2018)

ABOUT MeTRiD

MeTRiD 2018 is a new international workshop focusing on the theoretical foundations, tools and applications of the Rigorous System Design approach.

The term "Rigorous System Design" denotes the design approach that is based on a formal, accountable and iterative process for deriving trustworthy and optimised implementations from models of application software, its execution platform and its external environment. In particular, a system implementation is derived from a set of appropriate high-level models by applying a sequence of semantics- preserving transformations, thereby as much as possible striving for achieving correctness by construction.

The goal of the workshop is to promote cross-fertilisation between theoretical research in academia and practical applications in the industry. On one hand, we hope that, through the publication of research and tool papers, the workshop will contribute to raising awareness of the methods and tools available among the industrial players. On the other hand, presentation and exchange of realistic case studies should allow academic researchers to better fit their tools to industrial needs, thereby improving the dissemination of results.

INVITED SPEAKERS

* Joseph Sifakis (Verimag / CNRS, France)
* Thanassis Tsiodras (European Space Agency, The Netherlands)

IMPORTANT DATES

* Papers submission: 28 January 2018 23:59 AoE
* Notification notification: 01 March 2018
* Pre-proceedings version: 26 March 2018
* Final camera-ready: 02 June 2018

SCOPE

The workshop will solicit contributions of three types:

* Regular papers, presenting original research

* Case study papers, reporting the evaluation of existing
modelling, analysis, transformation and code generation
formalisms and tools on realistic examples of significant size

* Tool papers, describing new tool prototypes supporting the RSD
flow and enhancements of existing ones

The authors of accepted tool papers will be expected to give a live demonstration at the workshop.

Topics of interest include, but are not limited to the following:

• models and formalisms for specifying user requirements, functional behaviour of application components, coordination and interaction protocols, execution platform architectures, resource utilisation policies etc.
• model transformation techniques integrating such models
• analysis techniques for establishing correctness properties at all stages of the design process
• case studies exemplifying potential applications of the RSD approach
• prototype tools supporting various stages of the RSD flow
• tool integration experiences

LIGHTWEIGHT DOUBLE-BLIND POLICY

All submitted papers will be reviewed by at least three independent reviewers under a lightweight double-blind policy. The authors would be expected to invest reasonable effort into concealing their identities. However, the main goal is to allow for unbiased review: anonymisation should not affect the quality of submissions, nor in any way hamper their evaluation. In particular, references to technical reports, case study models or tool distributions are acceptable and should be provided where necessary.

PAPER SUBMISSION AND PUBLISHING

Papers of all types will be made available before the workshop on the MeTRiD website and will be published as post-proceedings in the open-access series Electronic Proceedings in Theoretical Computer Science (EPTCS).

Submitted papers must be in English, presenting original work. They must be unpublished and not submitted for publication elsewhere.

All submissions must adhere to the EPTCS formatting style http://style.eptcs.org/ and are limited to 12 pages (not counting the appendices), but shorter extended abstracts are welcome.

Tool papers should provide the URL of the tool (if available) and illustrate the maturity and robustness of the tool. They must also comprise an appendix of reasonable length (roughly 6 pages, although minor deviations will be tolerated, if necessary) with the description of the demonstration, including screenshots. As usual, appendices will be used for evaluation purposes only and will not be included for publication.

Contributions must be submitted electronically in PDF through the EasyChair author interface:

https://easychair.org/account/signin.cgi?key=60833393.X1WOXOLOw84rFLmk

Submissions not adhering to the specified format and length may be rejected immediately.

ORGANIZERS

• Saddek Bensalem (Verimag / Universite Grenoble Alpes, France)
• Simon Bliudze (EPFL, Switzerland / INRIA, France)

All queries can be sent to: metrid2018@easychair.org

PROGRAM COMMITTEE

• Farhad Arbab (CWI and Leiden University, The Netherlands)
• Paul Attie (American University of Beirut, Lebanon)
• Saddek Bensalem (Verimag / Universite Grenoble Alpes, France)
• Simon Bliudze (EPFL, Switzerland / INRIA, France)
• Marius Bozga (Verimag / CNRS, France)
• Laura Bocchi (University of Kent, UK)
• Alessandro Cimatti (Fondazione Bruno Kessler, Italy)
• Rocco De Nicola (IMT Lucca, Italy)
• Rayna Dimitrova (Max Planck Institute for Software Systems, Germany)
• Bernd Finkbeiner (Saarland University, Germany)
• Marieke Huisman (University of Twente, The Netherlands)
• Mohamad Jaber (American University of Beirut, Lebanon)
• Panagiotis Katsaros (Aristotle University of Thessaloniki, Greece)
• Igor Konnov (TU Wien, Austria)
• Axel Legay (IRISA, France)
• Bernhard Rumpe (RWTH Aachen, Germany)
• Martina Seidl (Johannes Kepler University, Austria)
• Paola Spoletini (Kennesaw State University, USA)
• Joseph Sifakis (Verimag / CNRS, France)
• Janos Sztipanovits (Vanderbilt University, USA)
• Wang Yi (Uppsala University, Sweden)
• Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany)
• Josef Widder (TU Wien, Austria)

HOST INSTITUTION

MeTRiD is a satellite workshop of ETAPS 2018, which will be hosted by the School of Informatics of the Aristotle University of Thessaloniki, the largest university in Greece.