Certifiable Perception Algorithms and Runtime Monitoring for High-Integrity Autonomous Systems