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.
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.
John S Fitzgerald, Newcastle University, United Kingdom. Email: firstname.lastname@example.org
Peter W. V. Tran-Jørgensen, Aarhus University, Denmark. Email: email@example.com
Tomohiro Oda, Software Research Associates, Inc., Japan. Email: firstname.lastname@example.org
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
Kenneth Pierce, Newcastle University, United Kingdom
Marcel Verhoef, European Space Agency, The Netherlands
Sune Wolff, Unity, Denmark