1 / 9

Tool Support for Formal Methods in Overture

This presentation by Professor Peter Gorm Larsen explores the Overture Tool and its support for Formal Methods using VDM (Vienna Development Method). With over 20 years of professional experience, including work with large defense contractors, Larsen discusses the Overture/VDM Open Source Initiative, European projects like ESTECS and COMPASS, and provides insights into industry case studies in various fields such as transportation and mail processing. Join us to learn about applications, modelling guidelines, and the extendibility of the Overture tool.

yukio
Télécharger la présentation

Tool Support for Formal Methods in Overture

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. Tool Support for Formal Methods in Overture

  2. Who am I? • Professor Peter Gorm Larsen; MSc, PhD • 20+ years of professional experience • ½ year with Technical University of Denmark • 13 years with IFAD • 3,5 years with Systematic • 8 years with IHA/Aarhus University • Reviewer for EU on Research projects and applications • Consultant for most large defence contractors on large complex projects (e.g. Joint Strike Fighter) • Relations to industry and academia all over the world • Has written books and articles about VDM • See http://pglconsult.dk/private/peter.htmfor details

  3. Agenda • The Overture/VDM Open Source Initiative • The European DESTECS Project • The European COMPASS Project

  4. Overture – open-source • Based on the Eclipse platform • Extendible open VDM tool with support for different dialects • Initial tool support produced in MSc project in NL • MSc project carried out at Technical University of Denmark • Jacob Porsborg Nielsen and Jens Kielsgaard Hansen • MSc project at Computer Science, Aarhus University • Thomas Christensen • MSc projects at Engineering College of Aarhus/Aarhus Uni • Hugo Macedo, Minho University • Sander Vermolen, University of Nijmegen • Adriana Sucena, Minho University • Carlos Vilhena, Minho University • Augusto Ribeiro, Minho University • Kenneth Lausdahl and Hans Christian Lintrup, IHA • Christian Thillemann and David Møller, IHA • Claus Ballegaard Nielsen, IHA • Maihemutijiang Maimaiti, Uppsala University • Peter Jørgensen, AU

  5. The Overture Tool

  6. Agenda • The Overture/VDM Open Source Initiative • The European DESTECS Project • The European COMPASS Project

  7. DESTECS (www.destecs.org) • Methods (Modelling guidelines, patterns) • Tool Support (open platform) • Industry case studies: personal transportation, mail processing, dredging etc. Fault/Error Modelling VDM (Overture) Bond Graphs (20-sim) Discrete Event (DE) Continuous Time (CT)

  8. Symphony Architecture

  9. Demonstrations/questions?

More Related