|Conference:||Verification Futures 2017 (click here to see full programme)|
|Speaker:||Mike Bennett (Software Technology Specialist, Research and Technology), Rolls-Royce Control Systems|
|Presentation Title:||SECT-AIR – A UK Initiative to Reduce Aerospace Software Cost|
|Abstract:||SECT-AIR’s aims are to develop strategies for the UK high integrity software industry to significantly lower development costs and to scope a UK aerospace software centre-of excellence to maintain these strategies in the future. SECT-AIR plans to develop processes and technologies that will make a step change reduction to software development costs; gain adoption of these through certification authorities and wider industry engagement and to ensure a better flow of technology between academia and industry in these areas in the future.
The cost of high-integrity software development is dominated by verification and this talk will discuss how activities in SECT-AIR are addressing the cost and quality of verification through automation and ensuring software is designed with verification in mind.
|Speaker Bio:||Mike Bennett graduated from the University of York with a 1st class degree in Computer Science and PhD in real-time systems. He worked for nine years for BAE Systems in high-integrity software development working on the Hawk Advanced Jet Trainer and transformation, capability development and R&T projects. Recently he led a 2 year UK/Fr R&T programme to develop a next generation software framework for unmanned systems.
He joined Rolls Royce Control Systems in 2012, leading development of a product line software platform before establishing a dedicated R&T group in 2015 to tackle the challenge of increasing software complexity and cost. He currently leads a collaborative ATI project with 12 partners to transform software programme costs and timescales in the aerospace sector.