Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

THE 15TH OVERTURE WORKSHOP: New Capabilities and Applications for Model-based Systems Engineering

LOCATION

The workshop was held in the Urban Sciences Building, Science Central, Newcastle upon Tyne, UK. The proceedings can be found at http://eprint.ncl.ac.uk/file_store/production/243183/E06A1923-04C3-4BCB-B768-1E0BA5B1AB55.pdf and should be cited as:

J. S. Fitzgerald, P. W. V. Tran-Jørgensen, and T. Oda (Editors), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering. technical Report 1513, School of Computing, Newcastle University, UK, October 2017.

A zip file containing all the papers is available here.

Original CALL FOR PAPERS

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.

Important Dates

Call

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:

Organisers

Program Committee

Participants

Front row (left to right): Ken Pierce, Leo Freitas, Kenneth Lausdahl, Luis Diogo Cuoto; second row: Carl Schultz, Peter Würtz Vinther Tran-Jørgensen,Sergio Feo-Arenis; third row: Andres Toom, Tammaso Fabbri, Tomohiro Oda; fourth row: Hansen Salim, Tomoyuki Myojin, Hiroki Tachiyama; fifth row: Peter Gorm Larsen, Nick Battle, Graeme Young; back row: Martin Mansfield, Mark Jackson, Richie Jenkins, John Fitzgerald

Front row (left to right): Ken Pierce, Leo Freitas, Kenneth Lausdahl, Luis Diogo Cuoto; second row: Carl Schultz, Peter Würtz Vinther Tran-Jørgensen, Sergio Feo-Arenis; third row: Andres Toom, Tammaso Fabbri, Tomohiro Oda; fourth row: Hansen Salim, Tomoyuki Myojin, Hiroki Tachiyama; fifth row: Peter Gorm Larsen, Nick Battle, Graeme Young; back row: Martin Mansfield, Mark Jackson, Richie Jenkins, John Fitzgerald