Editors

Fitzgerald JS

Oda T

Tran-Jørgensen PWV

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

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

Abstract

Similar works

Full text

Available Versions

Newcastle University E-Prints