Example Applications of IEEE Std 2846-2022 to Form
Ejemplos de aplicaciones de IEEE Std 2846-2022 a modelos formales relacionados con la seguridad

Estándar No.

Example Applications of IEEE Std 2846-2022 to Form

Fecha de publicación

2023

Organización

Institute of Electrical and Electronics Engineers (IEEE)

Alcance

Si bien los vehículos operados con sistemas de conducción automatizada (ADS) tienen potencial para mejorar la seguridad en comparación con los conductores humanos, se debe considerar el reconocimiento de que el transporte seguirá implicando cierto nivel de riesgo. Los conductores humanos dependen de una amplia experiencia diaria en sus interacciones con otros agentes en la carretera, lo que les ayuda a formular suposiciones sobre un comportamiento razonablemente previsible...