Sobre un modelo formal de coches autónomos seguros y escalables

En los últimos años, los fabricantes de automóviles y las empresas de tecnología han estado compitiendo por los coches autónomos. Parece que el principal parámetro en esta carrera es quién tendrá el primer coche en la carretera. El objetivo de este artículo es añadir a la ecuación dos parámetros cruciales adicionales. El primero es la estandarización de la garantía de seguridad: ¿cuáles son los requisitos mínimos que debe cumplir cada coche autónomo y cómo podemos verificar estos requisitos? El segundo parámetro es la escalabilidad: las soluciones de ingeniería que conducen a costos desatados no se escalarán a millones de coches, lo que empujará el interés en este campo hacia un rincón académico de nicho y llevará a todo el campo a un "invierno de la conducción autónoma". En la primera parte del artículo proponemos un modelo matemático de caja blanca e interpretable para la garantía de seguridad, que llamamos Seguridad Sensible a la Responsabilidad (RSS). En la segunda parte describimos un diseño de un sistema que se adhiere a nuestros requisitos de garantía de seguridad y es escalable a millones de coches.