Model-based Approach for Building Trust in Autonomous Drones
through Digital Twins

D 2022

Model-based Approach for Building Trust in Autonomous Drones through Digital Twins

IQBAL, Danish a Barbora BÜHNOVÁ

Základní údaje

Originální název

Model-based Approach for Building Trust in Autonomous Drones through Digital Twins

Autoři

IQBAL, Danish (586 Pákistán, domácí) a Barbora BÜHNOVÁ (203 Česká republika, garant, domácí)

Vydání

USA, 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC), od s. 656-662, 7 s. 2022

Nakladatel

IEEE

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10200 1.2 Computer and information sciences

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

URL

Kód RIV

RIV/00216224:14330/22:00126492

Organizační jednotka

Fakulta informatiky

ISBN

978-1-6654-5258-8

ISSN

DOI

https://doi.org/10.1109/SMC53654.2022.9945227

EID Scopus

2-s2.0-85142688268

Klíčová slova anglicky

Trust; Modeling; Autonomous Drones; Digital Twin; Run-time Verification

Štítky

core_B, firank_A

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 6. 4. 2023 10:02, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

The 21st century is the age of automation. The automotive industry is converging towards deployment of com- plete automation by 2030. But are humans ready for it, or will they be hesitant to adopt it due to the lack of trust? To safeguard future autonomous mobility, robust run-time trust assurance and assessment is necessary. One strategy that is so far under-explored is rooted in involving the intelligence inside the autonomous agents, which could be directed towards detection of trust-breaking behaviour in other agents so that problematic vehicles are reported before they can engage in harmful behaviour. To support the progress in this direction, we propose a peer-to- peer model-based run-time trust assessment method, employing the model in terms of a Digital Twin for an autonomous vehicle (drone in our case) to ensure the trusted execution of intelligent agents. In this research, we examine the role of the Digital Twin in the trust-building scenario, and propose the characteristics of the intended Digital Twin model. To illustrate the approach, we present a case study of an autonomous-drone food delivery system and use formal approaches such as Petri Nets and Finite State Machines (FSM) to evaluate the scenario and demonstrate how trust could be built among autonomous drones or other vehicles.

Návaznosti

EF19_073/0016943, projekt VaV

Název: Interní grantová agentura Masarykovy univerzity

MUNI/IGA/1254/2021, interní kód MU

Název: Modelling and Runtime Assessment of Trust in Automotive Autonomous Systems

Investor: Masarykova univerzita, Modelling and Runtime Assessment of Trust in Automotive Autonomous Systems

Citovat

IQBAL, Danish a Barbora BÜHNOVÁ. Model-based Approach for Building Trust in Autonomous Drones through Digital Twins. Online. In 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC). USA: IEEE, 2022, s. 656-662. ISBN 978-1-6654-5258-8. Dostupné z: https://doi.org/10.1109/SMC53654.2022.9945227.

@inproceedings{2212726,
   author = {Iqbal, Danish and Bühnová, Barbora},
   address = {USA},
   booktitle = {2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)},
   doi = {https://doi.org/10.1109/SMC53654.2022.9945227},
   keywords = {Trust; Modeling; Autonomous Drones; Digital Twin; Run-time Verification},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {USA},
   isbn = {978-1-6654-5258-8},
   pages = {656-662},
   publisher = {IEEE},
   title = {Model-based Approach for Building Trust in Autonomous Drones through Digital Twins},
   url = {https://ieeexplore.ieee.org/document/9945227},
   year = {2022}
}

TY  - CONF
ID  - 2212726
AU  - Iqbal, Danish - Bühnová, Barbora
PY  - 2022
TI  - Model-based Approach for Building Trust in Autonomous Drones through Digital Twins
PB  - IEEE
CY  - USA
SN  - 9781665452588
KW  - Trust
KW  - Modeling
KW  - Autonomous Drones
KW  - Digital Twin
KW  - Run-time Verification
UR  - https://ieeexplore.ieee.org/document/9945227
N2  - The 21st century is the age of automation. The automotive industry is converging towards deployment of com- plete automation by 2030. But are humans ready for it, or will they be hesitant to adopt it due to the lack of trust? To safeguard future autonomous mobility, robust run-time trust assurance and assessment is necessary. One strategy that is so far under-explored is rooted in involving the intelligence inside the autonomous agents, which could be directed towards detection of trust-breaking behaviour in other agents so that problematic vehicles are reported before they can engage in harmful behaviour. To support the progress in this direction, we propose a peer-to- peer model-based run-time trust assessment method, employing the model in terms of a Digital Twin for an autonomous vehicle (drone in our case) to ensure the trusted execution of intelligent agents. In this research, we examine the role of the Digital Twin in the trust-building scenario, and propose the characteristics of the intended Digital Twin model. To illustrate the approach, we present a case study of an autonomous-drone food delivery system and use formal approaches such as Petri Nets and Finite State Machines (FSM) to evaluate the scenario and demonstrate how trust could be built among autonomous drones or other vehicles.
ER  -

IQBAL, Danish a Barbora BÜHNOVÁ. Model-based Approach for Building Trust in Autonomous Drones through Digital Twins. Online. In \textit{2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)}. USA: IEEE, 2022, s.~656-662. ISBN~978-1-6654-5258-8. Dostupné z: https://doi.org/10.1109/SMC53654.2022.9945227.

Přehled o publikaci