A Modular Approach to Verification of Learning Components in Cyber-Physical SystemsShow others and affiliations
2023 (English)In: AIAA SciTech Forum and Exposition, 2023, American Institute of Aeronautics and Astronautics AIAA , 2023Conference paper, Published paper (Refereed)
Abstract [en]
In this work, we aim to provide a framework that enables the operator of a cyber-physical system to assess its operation in the presence of data-driven, learning components. Towards this, we leverage Architecture Analysis & Design Language (AADL) to provide a representation of the system’s components and their interconnections to construct a modular environment allowing for the inclusion of different detection and learning mechanisms, which supports a full model-based development including system specification, analysis, system tuning, integration, and upgrade over the lifecycle. Specifically, we illustrate the propagation of errors throughout system components due to adversarial attacks in the learning processes for a UAV system and obtain safety tolerance thresholds.
Place, publisher, year, edition, pages
American Institute of Aeronautics and Astronautics AIAA , 2023.
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-351507DOI: 10.2514/6.2023-0131Scopus ID: 2-s2.0-85199047455OAI: oai:DiVA.org:kth-351507DiVA, id: diva2:1891054
Conference
AIAA SciTech Forum and Exposition, 2023, Orlando, United States of America, Jan 23 2023 - Jan 27 2023
Note
Part of ISBN 9781624106996
QC 20240821
2024-08-212024-08-212024-08-21Bibliographically approved