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.

PROGRAMME (with links to slides)

• 0830-0900 Arrivals Refreshments

• 0900-0910 Welcome

• 0910-0930 Victor Bandur, Peter W. V. Tran-Jørgensen, Miran Hasanagić, and Kenneth Lausdahl, Code-generating VDM for Embedded Devices

• 0930-0950 Kenneth Lausdahl, Kim Bjerge, Tom Bokhove, Frank Groen, and Peter Gorm Larsen, Transitioning from Crescendo to INTO-CPS

• 0950-1010 Luis Diogo Couto and Ken Pierce, Modelling Network Connections in FMI with an Explicit Network Model

• 1010-1030 Hansen Salim and John Fitzgerald, Towards Multi-Models for Self-* Cyber-Physical Systems

• 1030-1100 Break

• 1100-1120 Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen, Debugging Auto-Generated Code with Source Specification in Exploratory Modeling

• 1120-1140 Tomoyuki Myojin and Fuyuki Ishikawa, Automated Test Procedure Generation from Formal Specifications

• 1140-1200 Hiroki Tachiyama, Tetsuro Katayama, and Tomohiro Oda, Automated Generation of Decision Table and Boundary Values from VDM++ Specification

• 1200-1220 Nick Battle, Analysis Separation without Visitors

• 1220-1330 Lunch

• 1330-1350 Mihai Neghina, Constantin-Bala Zamfirescu, Peter Gorm Larsen, Kenneth Lausdahl, and Ken Pierce, A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems

• 1350-1410 Sergio Feo-Arenis, Marcel Verhoef, and Peter Gorm Larsen, The Mars-Rover Case Study Modelled Using INTO-CPS

• 1410-1630 Overture Futures: a structured discussion on future exploitation of Overture technology, led by Graeme Young, Business Development Manager in Science, Agriculture & Engineering, Newcastle University (includes a break).

• 1630 Close

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 https://www.overturetool.org/.

Location: Newcastle University, United Kingdom.

Important Dates

• 24 July 2017 (extended): submission of abstracts of papers (at https://easychair.org/conferences/?conf=overture15)
• 31 July 2017 (extended): 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

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:

• 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 ViennaTalk.

Organisers

• John S Fitzgerald, Newcastle University, United Kingdom. Email: john.fitzgerald@newcastle.ac.uk
• Peter W. V. Tran-Jørgensen, Aarhus University, Denmark. Email: pvj@eng.au.dk
• Tomohiro Oda, Software Research Associates, Inc., Japan. Email: tomohiro.tomo.oda@gmail.com

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
• Kenneth Pierce, Newcastle University, United Kingdom
• Marcel Verhoef, European Space Agency, The Netherlands
• Sune Wolff, Unity, Denmark

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