ADVANCE Industry Days

Autumn Industry Days Showcase Advances in Cyber-physical System Development and Verification (slides now available)

The FP7 ADVANCE Project has developed a unified tool-based framework for automated formal verification and simulation-based validation of cyber-physical systems based on the Event-B modelling and verification system.
 ADVANCE held two public Industry Days in the autumn aimed at industrial participants with an interest in engineering methods for software-intensive systems, especially safety-critical systems:

The aim of the industry days was to promote the results of the ADVANCE project through the industrial case studies, highlighting the ADVANCE process and its integration with existing processes and the role of the tools in supporting the process. Two external industrial, early adopters of the ADVANCE technology (AWE, Thales) also presented their experiences with the methods and tools and the demonstrable benefits of incorporating ADVANCE into their existing processes.

Programme (follow links to see slides):

The afternoon discussion and demo sessions provided an opportunity for discussion on challenges in industrial adoption of ADVANCE methods as well as a more in-depth tool demonstrations. Throughout the day, the emphasis was on demonstrating the business benefits that the ADVANCE approach can bring to existing cyber-physical system design and verification flows.