Welcome to the 10th Overture Workshop

28 August, CNAM, Paris, FranceOrganised by

Claus Ballegård Nielsen (Aarhus University, Denmark),

Nico Plat (West Consulting BV, NL), and Steve Riddle (Newcastle University, UK)

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/• Twitter: @overturetool• LinkedIn: “The Overture Project”

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

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)

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)

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.

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!