posted by organizer: petertj || 2587 views || tracked by 4 users: [display]

The 15th Overture Workshop 2017 : The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering


When Sep 15, 2017 - Sep 15, 2017
Where Newcastle University, United Kingdom
Abstract Registration Due Jul 17, 2017
Submission Deadline Jul 24, 2017
Notification Due Aug 21, 2017
Final Version Due Sep 11, 2017
Categories    formal methods   VDM   CPS   applications

Call For Papers

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

Location: Newcastle University, United Kingdom.

Important Dates

* 17 July 2017: submission of abstracts of papers (at

* 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


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


* John S Fitzgerald, Newcastle University, United Kingdom. Email:

* Peter W. V. Tran-Jørgensen, Aarhus University, Denmark. Email:

* Tomohiro Oda, Software Research Associates, Inc., Japan. Email:

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

Related Resources

MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
ICONIP 2022   29th International Conference on Neural Information Processing-2022
NeurIPS 2022   Thirty-sixth Conference on Neural Information Processing Systems
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
IRC 2022   IEEE International Conference on Robotic Computing
MLDM 2023   18th International Conference on Machine Learning and Data Mining
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
ADMA 2022   18th International Conference on Advanced Data Mining and Applications
SYNASC 2022   24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing