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.

  • SECT-AIR is a key UK industrial research programme to tackle software cost
  • Automation of verification is key to addressing this challenge
  • SECT-AIR is running a number of activities that address this challenge
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.