The workshop will be held in:
Room 4.005, Urban Sciences Building, Science Central, Newcastle upon Tyne, UK
The Urban Sciences Building is the new home of the School of Computing and other research labs. The building appears on this Campus Map at location 66, though does not have a number itself yet. It is also marked on this Google Maps link.
Room 4.005 is located on the fourth floor. The main entrance to the building is on the south east side, leading to the atrium. The atrium has a reception desk on the right along with a cafe. The main lifts are through the doors to the left of the grand staircase, take the lift to the fourth floor and turn left.
0830-0900 Arrivals Refreshments
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
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
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).
There are a range of city centre hotels that are convenient for the new building:
To register, email Ken Pierce with your name, what dates you intend to arrive and leave (provisionally is fine), and if you have any dietary requirements. Registration is free of charge.
A zip file containing all the papers is available here.
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.
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:
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