1. Welcome to the 10th Overture Workshop 28 August, CNAM, Paris, France Organised by Claus Ballegård Nielsen (Aarhus University, Denmark), Nico Plat (West Consulting BV, NL), and Steve Riddle (Newcastle University, UK)

2. History and other facts The fundamental history goes back to 1970 Overture “as a project” started in 2004 Toolset development for the VDM family languages Progress via (student) projects, on-line meetings (core+LB), individual work, and workshops Website: http://www.overturetool.org/http://www.overturetool.org/ Twitter: @overturetool LinkedIn: “The Overture Project”

3. Acknowledgements The FM2012 organising committee, in particular the workshop chairs Newcastle University (proceedings) The Overture workshop Programme Committee: –Nick Battle (Fujitsu, UK) –John Fitzgerald (Newcastle University,UK) –Sakoh Hiroshi (Designers’ Den Corporation, Japan) –Cliff Jones (Newcastle University, UK) –Peter Gorm Larsen (Aarhus University, Denmark) –Claus Ballegård Nielsen (Aarhus University, Denmark) –Nico Plat (West Consulting BV, The Netherlands) –Steve Riddle (University of Newcastle, UK) –Shin Sahara (SCSK Corporation, Japan) –Marcel Verhoef (Chess IT, The Netherlands) –Sune Wolff (Terma A/S, Denmark) All active contributors during the day itself

4. Programme 08:00 - 09:00: Registration and continental breakfast 09:00 - 10:30: Session 1 (paper presentations) 10:30 - 11:00: Break 11:00 - 12:30: Session 2 (paper presentations) 12:30 - 14:00: Lunch 14:00 - 15:30: Session 3 (hands-on + introduction presentations) 15:30 - 16:00: Break 16:00 - 17:30/18:00: Session 4 (hands-on)

5. Morning session The Co-Simulation of a Cardiac Pacemaker using VDM and 20-sim (Carl Gamble, Martin Mansfield, and John Fitzgerald) Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT (José Antonio Esparza Isasa, Peter Gorm Larsen and Kim Bjerge) Evolution of the Overture Tool Platform (Joey Coleman, Anders Kaels Malmos, Claus Ballegaard Nielsen and Peter Gorm Larsen) Towards an extensible core model for Digital Rights Management in VDM (Rasmus W. Lauritsen and Lasse Lorenzen) Towards a Co-simulation Semantics of VDM-RT/Overture and 20-sim (Joey Coleman, Kenneth Lausdahl and Peter Gorm Larsen) Initial Report of the Impact of Using Overture/VDM in a Development Process in an Architecture-Oriented Approach (Shigeru Kusakabe, Yoich Omori and Keijiro Araki)

6. Afternoon session The ASTGen tool, the common AST and working with the visitors (Kenneth Lausdahl) The inner workings of the VDMJ core (Kenneth Lausdahl) The build process, using Git and the dependencies (Joey Coleman). After these presentations you will have the opportunity to get hands-on experience working with development and compilation of different aspects chosen individually by each of you. In this process the core developers will help you in order to enable more people to contribute to this Open Source initiative after the workshop.

7. Post-workshop 18:00: FME (Formal Methods Europe) brainstorm session – highly recommended! 20:30: Workshop diner (ayoc) at some nearby restaurant (to be announced) Enjoy the rest of the Symposium!