Formal approaches, ontologies, and standards for the verification of autonomous systems

Joanna Isabelle Olszewska

Formal approaches, ontologies, and standards for the verification of autonomous systems

Joanna Isabelle Olszewska

Research output: Contribution to conference › Presentation › peer-review

18 Downloads (Pure)

Abstract

With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.

Original language	English
Publication status	Published - 23 May 2022
Event	The 39th IEEE International Conference on Robotics and Automation: Workshop on the Verification of Autonomous Systems (VAS) - Pennsylvania Convention Center, Philadelphia, United States Duration: 23 May 2022 → 27 May 2022 https://robotistry.org/vaswg/ICRA22_Workshop/ https://www.icra2022.org/

Conference

Conference	The 39th IEEE International Conference on Robotics and Automation
Abbreviated title	ICRA 2022
Country/Territory	United States
City	Philadelphia
Period	23/05/22 → 27/05/22
Internet address	https://robotistry.org/vaswg/ICRA22_Workshop/ https://www.icra2022.org/

UN SDGs

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

SDG 9 Industry, Innovation, and Infrastructure
SDG 11 Sustainable Cities and Communities
SDG 12 Responsible Consumption and Production
SDG 14 Life Below Water
SDG 15 Life on Land
SDG 17 Partnerships for the Goals

Access to Document

2022 04 25 Olszewska Formal acceptedAccepted author manuscript, 357 KB

Cite this

@conference{550712e1de7941bf8aea5f8bee5193c6,

title = "Formal approaches, ontologies, and standards for the verification of autonomous systems",

abstract = "With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial. ",

author = "Olszewska, \{Joanna Isabelle\}",

year = "2022",

month = may,

day = "23",

language = "English",

note = "The 39th IEEE International Conference on Robotics and Automation : Workshop on the Verification of Autonomous Systems (VAS), ICRA 2022 ; Conference date: 23-05-2022 Through 27-05-2022",

url = "https://robotistry.org/vaswg/ICRA22\_Workshop/, https://www.icra2022.org/",

}

TY - CONF

T1 - Formal approaches, ontologies, and standards for the verification of autonomous systems

AU - Olszewska, Joanna Isabelle

PY - 2022/5/23

Y1 - 2022/5/23

N2 - With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.

AB - With the rising autonomy of devices, softwares, and systems, there is a clear need to provide convincing evidence of their safety, security, transparency, reliability, dependency, and resilience to users and other stakeholders. Consequently, verification, i.e. compelling evidence that autonomous systems satisfy their requirements, has become increasingly important, especially for building explainable technologies. As autonomous systems become more complex, with added intelligence and adaptive capabilities, the challenges for verification grow. Worldwide efforts to devise methodologies and develop tools related to the verification of autonomous systems are thus crucial.

UR - https://robotistry.org/vaswg/ICRA22_Workshop/

UR - https://www.icra2022.org/

M3 - Presentation

T2 - The 39th IEEE International Conference on Robotics and Automation

Y2 - 23 May 2022 through 27 May 2022

ER -

Formal approaches, ontologies, and standards for the verification of autonomous systems

Abstract

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this