Correctness and Completeness of Programming Instructions for Traffic Circulation

Daniela Glavaničová; Matteo Pascucci

doi:10.1007/s11948-021-00350-5

Correctness and Completeness of Programming Instructions for Traffic Circulation

Daniela Glavaničová
, Matteo Pascucci^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

Abstract (may include machine translation)

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.

Original language	English
Article number	72
Journal	Science and Engineering Ethics
Volume	27
Issue number	6
DOIs	https://doi.org/10.1007/s11948-021-00350-5
State	Published - Dec 2021
Externally published	Yes

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being

Keywords

Autonomous vehicles
Encoding rules
Framework revision
Question and answer procedure
Responsibility

Access to Document

10.1007/s11948-021-00350-5

Cite this

@article{58ee9542d2444b2b831786840c1172cb,

title = "Correctness and Completeness of Programming Instructions for Traffic Circulation",

abstract = "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.",

keywords = "Autonomous vehicles, Encoding rules, Framework revision, Question and answer procedure, Responsibility",

author = "Daniela Glavani{\v c}ov{\'a} and Matteo Pascucci",

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s), under exclusive licence to Springer Nature B.V.",

year = "2021",

month = dec,

doi = "10.1007/s11948-021-00350-5",

language = "English",

volume = "27",

journal = "Science and Engineering Ethics",

issn = "1353-3452",

publisher = "Springer Netherlands",

number = "6",

}

TY - JOUR

T1 - Correctness and Completeness of Programming Instructions for Traffic Circulation

AU - Glavaničová, Daniela

AU - Pascucci, Matteo

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 - https://www.scopus.com/pages/publications/85119606406

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 -

Correctness and Completeness of Programming Instructions for Traffic Circulation

Abstract (may include machine translation)

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this