Toggle Main Menu Toggle Search

ePrints

The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering

Lookup NU author(s): Professor John Fitzgerald

Downloads


Licence

This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2017.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

The 15th in the “Overture" series”of workshops on the Vienna Development Method (VDM), its associated tools and applications, was held at Newcastle University, UK, on 15th September, 2017. The workshop provided 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 describing distributed, real-time and cyber-physical systems. The workshop reflected the breadth and depth of work supporting and applying VDM.Contributions covered topics as diverse as architectural frameworks of autonomous Cyber-Physical Systems, tool building techniques such as interpreter design, automated code generation, testing and debugging and case studies of formal modelling and tool migration.


Publication metadata

Author(s): Fitzgerald JS, Tran-Jørgensen PWV, Oda T, Editors

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2017

Pages: 144

Print publication date: 01/10/2017

Acceptance date: 01/01/1900

Report Number: 1513

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1513.pdf


Share