Overture 16: 16th Overture Workshop - New Capabilities and Applications for Model-based System Engineering |
Website | http://overturetool.org/workshops/16th-Overture-Workshop.html |
Submission link | https://easychair.org/conferences/?conf=overture16 |
Conference program | https://easychair.org/smart-program/FLoC2018/ |
Abstract registration deadline | April 8, 2018 |
Submission deadline | April 15, 2018 |
The 16th Overture Workshop will be held on Saturday 14 July 2018 in association with the Federated Logic Conference (FLoC) 2018 and the 22nd International Symposium on Formal Methods (FM 2018).
The 16th Overture Workshop is the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. 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 the Overture web-site.
Location: Oxford University, United Kingdom
Important Dates
- 8 April 2018: Submission of abstracts of papers
- 15 April 2018: Submission deadline for papers (PDF only, please)
- 15 May 2018: notification to authors
- 31 May 2018 (TBC): Final version of papers due
- 14 July 2018: Workshop
CALL FOR PAPERS
The 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. We strongly welcome contributions addressing the development of tools for VDM, developments in foundations, and reports on 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 available at the workshop on a memory stick and published in a Newcastle University Technical Report. The scope of the workshop includes, but is not restricted to:
- Reports on applications of VDM technology, especially reports of industrial use.
- Papers describing requirements, designs, implementations and case studies of support tools for VDM (using Overture or other tools)
- Papers on the foundations and methodology associated with VDM and its extensions, including the description of real-time and distributed 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, INTO-CPS and VDMPad.
Organisers
- Ken Pierce, Newcastle University, United Kingdom. Email: kenneth -dot- pierce -at- newcastle.ac.uk
- Marcel Verhoef, ESA - European Space Agency, ESTEC, NL. Email: Marcel -dot- Verhoef -at- esa.int
Program Committee
- K. Araki, Kyushu University, Japan
- V. Bandur, Aarhus University, Denmark
- N. Battle, UK
- L.D. Couto, UTRC, Ireland
- J. Fitzgerald, Newcastle University, UK
- L. Freitas, Newcastle University, UK
- F. Ishikawa, NII, Japan
- P.W.V. Tran-Jørgensen, Aarhus University, Denmark
- P.G. Larsen, Aarhus University, Denmark
- P. Masci, Universidade do Minho, Portugal
- T. Oda, Software Research Associates, Inc., Japan
- J.N. Oliveira, Minho University, Portugal
- N. Plat, Thanos, The Netherlands