Towards automatic validation of composite heterogeneous systems in edge situations

Abstract

Systémy realizující bezpečnostní funkce jsou stále složitější, což souvisí i s jejich komunikačními a vnímacími schopnostmi v prostředí. Takové systémy, které jsou k vidění primárně v oblasti mobility, se stávají náchylnějšími k selháním ve složitých rozhodovacích situacích, které je obtížné odhalit. Tento článek popisuje myšlenku pro vznik doktorandského tématu na validaci a verifikaci systému specifikovaného formálními logickými modely. Našim cílem toho dosáhnout je automatizace generování testovacích scénářů, které obsahují hraniční situace (zobecněné jako hraniční případy) vyvolané okolním prostředím v simulačním nástroji.

Description

Subject(s)

validace systému, testování na základě modelu, generování testovacích scénářů, simulace okolního prostředí

Citation

ČERNÝ, L. Towards automatic validation of composite heterogeneous systems in edge situations. In Proceedings of 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). Piscataway: IEEE, 2022. s. 118-121. ISBN: 978-1-66547-679-9 , ISSN: 2375-821X
OPEN License Selector