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:
- University of Southampton on Wednesday 24th September 2014
- Düsseldorf University House on Thursday 23rd October 2014.
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):
- Overview of ADVANCE Process and Tools (University of Southampton)
- ADVANCE in Smart Grids (Selex, Critical Software): formal proof, requirements traceability and the application of FMI-based multi-simulation for testing and coverage
- View from External industrial adopters:
- ADVANCE in Railway Interlocking (Alstom, Systerel, University of Düsseldorf): requirements and hazard analysis, model visualisation and proof
- Discussion session
- Tool demonstrations
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.