THE 15TH OVERTURE WORKSHOP:
New Capabilities and Applications for Model-based Systems Engineering

We invite contributions to the 15th Overture Workshop on the Vienna
Development (VDM), its foundations, tools, and applications. VDM is one
of the best established formal methods for systems development. A lively
community of researchers and practitioners in academia and industry has
grown around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and
tools (VDMTools, Overture, Crescendo, Symphony, and the INTO-CPS
chain). Together, these provide a platform for work on modelling and
analysis technology that includes static and dynamic analysis, test
generation, execution support, and model checking.

Current projects on model-based design for cyber-physical systems
(INTO-CPS and the CPSE Labs experiments TEMPO, CPSBuDi and IPP4CPPS) are
generating real results. There are also important developments in Japan
with the release of VDMTools under an open source licence. It is thus
timely to focus on the future of the methods and toolchain, improvements
in capabilities, and potential applications. We also propose to hold a
structured discussion on possible commercial futures.

Previous workshops have been invaluable in encouraging both new and
established members of the community in their work, and helping to
determine priorities and future directions. Proceedings of former
workshops are available at http://www.overturetool.org/.

Location: Newcastle University, United Kingdom.

Important Dates

* 17 July 2017: submission of abstracts of papers (at
https://easychair.org/conferences/?conf=overture15)

* 24 July 2017: submission deadline for papers (PDF only, please)

* 21 August 2017: notification to authors

* 11 September 2017: final version of papers due

* 15 September 2017: workshop

CALL FOR PAPERS

Our workshop provides a forum for discussing and advancing the state of
the art in formal modelling and analysis using VDM and its family of
associated formalisms including extensions for distributed VDM and
real-time systems. We strongly welcome contributions on the development
of tools for, as well as developments in, foundations and reports of
practical experience. Each paper will be peer-reviewed by at least three
members of the PC, must use the Springer LNCS format, and should not
exceed 15 pages in length. Accepted papers will be published in a
Newcastle University Technical Report. The scope of the workshop
includes, but is not restricted to:

* Reports of applications of VDM technology, especially reports of
industrial use.

* Papers describing requirements, designs, implementations and case
studies of support tools for VDM, whether or not implemented on the
Overture platform.

* Papers on the foundations and methodology associated with VDM and its
extensions, including the description of real-time, cyber-physical
systems and systems-of-systems.

* Papers combining VDM with other notations and tools.

* Position papers on VDM and its promotion in industry practice.

* Papers on extensions of Overture, including Crescendo, Symphony and
ViennaTalk.


Organisers

* John S Fitzgerald, Newcastle University, United Kingdom. Email:
john.fitzgerald@newcastle.ac.uk

* Peter W. V. Tran-Jørgensen, Aarhus University, Denmark. Email:
pvj@eng.au.dk

* Tomohiro Oda, Software Research Associates, Inc., Japan. Email:
tomohiro.tomo.oda@gmail.com

Program Committee

* Keijiro Araki, Kyushu University, Japan
* Nick Battle, Fujitsu, United Kingdom
* Luis Diogo Couto, UTRC, Ireland
* John S Fitzgerald, Newcastle University, United Kingdom (Chair)
* Peter G Larsen, Aarhus University, Denmark
* Fuyuki Ishikawa, National Institute of Informatics, Japan
* Nico Plat, Thanos, The Netherlands
* Peter W. V. Tran-Jørgensen, Aarhus University, Denmark (Chair)
* Tomohiro Oda, Software Research Associates, Inc., Japan (Chair)
* Paolo Masci, Universidade do Minho, Portugal
* Marcel Verhoef, European Space Agency, The Netherlands
* Sune Wolff, Unity, Denmark