I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems

Overview

This perspective discusses assurance-case deficits, reusable patterns, notation and partial automation for cyber-physical systems including autonomous vehicles. It outlines research directions for developing stronger arguments supporting critical safety and reliability requirements.