1 / 7

Welcome to the 10th Overture Workshop

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). History and other facts. The fundamental history goes back to 1970

alvis
Download Presentation

Welcome to the 10th Overture Workshop

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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/ • 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!

More Related