TY - JOUR
T1 - Correctness and Completeness of Programming Instructions for Traffic Circulation
AU - Glavaničová, Daniela
AU - Pascucci, Matteo
N1 - Publisher Copyright:
© 2021, The Author(s), under exclusive licence to Springer Nature B.V.
PY - 2021/12
Y1 - 2021/12
N2 - In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.
AB - In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.
KW - Autonomous vehicles
KW - Encoding rules
KW - Framework revision
KW - Question and answer procedure
KW - Responsibility
UR - http://www.scopus.com/inward/record.url?scp=85119606406&partnerID=8YFLogxK
U2 - 10.1007/s11948-021-00350-5
DO - 10.1007/s11948-021-00350-5
M3 - Article
C2 - 34807326
AN - SCOPUS:85119606406
SN - 1353-3452
VL - 27
JO - Science and Engineering Ethics
JF - Science and Engineering Ethics
IS - 6
M1 - 72
ER -
