Christopher Winstanley

• Next Generation Digital Cabin Pressure Control System. • Setup and advised upon software development processes for the company’s first DO-178C (Level B) aerospace project. • Development within Scrum framework, requirements engineering, UML design, code for Texas Instruments TMS320F MCU.

• Technical lead for development of aircraft mission computer software to DO-178B DAL C. • Produced architectural design, development guidelines for design and code. • Implemented inter-processor infrastructure, IO, oxygen and mission data recording subsystems.

• Design/implementation of safety modules verifying output of a Lane Detection algorithm to ISO 26262, ASIL B. • Metrics driven refactoring of algorithm and construction of unit test framework to allow compliance with ASIL B to be more readily proved. • Reverse engineered code in to Rational Rhapsody UML model.

• Reverse engineered software requirements of legacy components of helicopter Tactical Mission Computer into DOORS in semi-formal language. • Refactored variants of the components into platform dependent and independent software layers to reduce maintenance costs.

• Technical lead for development of aircraft mission computer software, please see main entry under current freelance activity, 2015 to present. • Technical lead for nuclear engine test system to DEF STAN 00/55 SIL 1. • Consultant to Marconi Marine on the Royal Brunei Frigate development project.

Numerous development roles across finance, rail, medical, air traffic control and gas. Most notable project: produced architectural design for a highly secure financial system, documented in the paper “Correctness by Construction: Developing a Commercial Secure System”, IEEE Software publication, Volume 19, Number 1, January/February 2002.