15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Newcastle University, UK

Abbrevation

15th Overture Workshop

Link

http://overturetool.org/workshops/15th-Overture-Workshop.html

City

Newcastle University

Country

Deadline Paper

2017-07-24

Start Date

2017-09-15

End Date

2017-09-15

Abstract

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/.