The 13th Overture Workshop (VDM)

The 13th Overture WorkshopWill be held on the 23rd June 2015 in connection with the Formal Methods 2015 symposiumhttp://wiki.overturetool.org/index.php/13th_Overture_Workshop This is the 13th in a series of workshops on the Vienna Development Method (VDM)seen in the open-source Overture setting. Although VDM is one of the oldest formalmethods to have enjoyed a level of industry use, it nevertheless has a lively andyouthful research community, which has grown up around the development of theOverture open tools platform. On top of the Overture platform the Crescendo andSymphony tools from respectively the DESTECS and COMPASS projects, as well as thenew development that will take place in the new INTO-CPS project (seehttp://into-cps.au.dk/). The platform provides a vehicle for activity in modelling and analysis technology including static analysis, interpreters, test generation and execution support and model checking. The growth of this community has been greatly assisted by the Overture workshop series. There is a long tradition for having these workshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We did not collocate with the FM’14 symposium in Singapore since we felt that it would be hard to gather enough attendance so instead John Fitzgerald, Ken Pierce and Peter Gorm Larsen delivered a Crescendo tutorial (seeand analysis technology including static analysis, interpreters, test generation andexecution support and model checking. The growth of this community has been greatlyassisted by the Overture workshop series. There is a long tradition for having theseworkshops co-located with the FM symposia (2005, 2006, 2008, 2011 and 2012). We didnot collocate with the FM’14 symposium in Singapore since we felt that it would behard to gather enough attendance so instead John Fitzgerald, Ken Pierce and PeterGorm Larsen delivered a Crescendo tutorial (seehttp://crescendotool.org/). Proceedings of previous workshops may be obtained from Proceedings of previous workshops may be obtained from http://www.overturetool.org/. Call for Papers Our workshop aims to provide 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 and real-time systems. We strongly welcome contributions on the development of tools for VDM as well as developments in foundations and reports of practical experience. 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 open tools platform. * 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, Symphony and VDMPad. Important Dates * 1st April 2015: Submission deadline for workshop papers * 1st May 2015: Notification to workshop paper authors * 1st June 2015: Final version of workshop papers due Organisers Fuyuki ISHIKAWA, National Institute of Informatics, Japan Peter Gorm LARSEN, Aarhus University, Denmark The organising committee can be reached via the following e-mail address: Call for Papers Our workshop aims to provide a forum for discussing and advancing the state of theart in formal modelling and analysis using VDM and its family of associatedformalisms including extensions for distributed and real-time systems. We stronglywelcome contributions on the development of tools for VDM as well as developments infoundations and reports of practical experience. 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 ofsupport tools for VDM, whether or not implemented on the Overture open toolsplatform. * Papers on the foundations and methodology associated with VDM and itsextensions, 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, Symphony and VDMPad. Important Dates * 1st April 2015: Submission deadline for workshop papers * 1st May 2015: Notification to workshop paper authors * 1st June 2015: Final version of workshop papers due Organisers Fuyuki ISHIKAWA, National Institute of Informatics, Japan Peter Gorm LARSEN, Aarhus University, Denmark The organising committee can be reached via the following e-mail address:workshop-oc@overturetool.org Program Committee K Araki, Kyushu University, Japan N Battle, Fujitsu, UK J S Fitzgerald, Newcastle University, UK T Oda, Software Research Associates, Inc., Japan JN Oliveira, Minho University, Portugal N Plat, West Consulting, Netherlands V Stolz, Oslo University, Norway M Verhoef, CHESS WISE, Netherlands Peter Gorm LarsenProfessor, PhD (head of software engineering)Telephone: +45 41 89 32 60Mail: pgl@eng.au.dkAarhus University, Department of Engineering, Finlandsgade 22, DK-8200 Aarhus N,Phone: +45 41893000