The LHCb experiment plans a major upgrade of the detector and DAQ systems in the LHC long shutdown II (2018–2019). For this upgrade, a purely software based trigger system is being developed, which will have to process the full 30 MHz of bunch-crossing rate delivered by the LHC. A fivefold increase of the instantaneous luminosity in LHCb further contributes to the challenge of reconstructing and selecting events in real time. Optimal usage of the trigger output bandwidth will be enabled by the Turbo paradigm, in which only high level reconstructed objects and a subset of the raw event data are persisted. In this talk we discuss the plans and progress towards achieving reconstruction and selection with a 30 MHz throughput by means of efficient utilisation of modern CPU microarchitectures, and strategies for formal testing of the physics content in the trigger, which is a crucial component of a system in which real-time analysis is to be performed.