Modern software systems are inherently concurrent. They consist of components running simultaneously and sharing access to resources provided by the execution platform. This leads to resource contention and potential deadlocks compromising mission- and safety-critical operations. Similar problems are observed in various kinds of software, including system, work-flow management, integration software, web services etc. Essentially, any software entity that goes beyond simply computing a certain function, necessarily has to interact and share resources with other such entities.

The intrinsic concurrent nature of such interactions is the root cause of the sheer complexity of the resulting software, which is exponential in the number of components, making complete a posteriori verification practically infeasible. An alternative approach consists in ensuring correctness by construction.

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.

(More details and an example instantiation…)

Scope

The workshop will solicit contributions of three types:

  1. Regular papers, presenting original research
  2. Case study papers, reporting the evaluation of existing modelling, analysis, transformation and code generation formalisms and tools on realistic examples of significant size
  3. 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, 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

Publication

All submitted papers will be reviewed by at least three independent reviewers under a lightweight double-blind policy. Accepted papers will be made available on-line before the workshop. Post-proceedings will be published in the EPTCS series.

Organisers

Program committee

  • Farhad Arbab (CWI and Leiden University, The Netherlands)
  • Paul Attie (American University of Beirut, Lebanon)
  • Saddek Bensalem (Verimag / Université Grenoble Alpes, France)
  • Simon Bliudze (EPFL, Switzerland / INRIA, France)
  • Marius Bozga (Verimag / CNRS, France)
  • Laura Bocchi (University of KentUK)
  • 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-Universität München, Germany)
  • Josef Widder (TU Wien, Austria)

Comments are closed