posted by organizer: petertj || 1988 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

SCOPUS-CNMRA 2021   2021 Conference on New Materials Research and Applications(CNMRA 2021)
FM 2021   Formal Methods 2021
CNMRA-SCOPUS 2021   2021 Conference on New Materials Research and Applications(CNMRA 2021)
Symmetry-SI 2020   Special issue on Symmetry and Asymmetry in IoT and CPS Security and Privacy
ICET 2021   2021 International Conference on Educational Technology (ICET 2021): Applications of New Technologies
IJPLA 2020   International Journal of Programming Languages and Applications
ICDM 2021   21th Industrial Conference on Data Mining
MVA 2021   17th International Conference on Machine Vision Applications
ICCPS 2021   International Conference on Cyber-Physical Systems
MLDM 2021   17th International Conference on Machine Learning and Data Mining