| Title: | Towards automatic validation of composite heterogeneous systems in edge situations |
| Other Titles: | Směrem k automatické validaci kompozitních heterogenních systémů v hraničních situacích |
| Authors: | Černý, Lukáš |
| 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 |
| Issue Date: | 2022 |
| Publisher: | IEEE |
| Document type: | konferenční příspěvek ConferenceObject |
| URI: | 2-s2.0-85146318797 http://hdl.handle.net/11025/54896 |
| ISBN: | 978-1-66547-679-9 |
| ISSN: | 2375-821X |
| Keywords: | validace systému;testování na základě modelu;generování testovacích scénářů;simulace okolního prostředí |
| Keywords in different language: | system validation;model-based testing;test scenario generation;environmental simulation |
| 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. |
| Abstract in different language: | Systems implementing safety functions are becoming more complex, which is also related to their communication and perception capabilities in an environment. Such systems, primarily seen in mobility, become more susceptible to failures in complex decision-making situations that are difficult to uncover. This paper presents an idea formed in a PhD topic on validating and verifying the system specified by formal logic models. We aim to do so by using automatically generated test scenarios including edge situations (as generalizations of edge cases) invoked by an environment in a simulation tool. |
| Rights: | Plný text je přístupný v rámci univerzity přihlášeným uživatelům © IEEE |
| Appears in Collections: | Konferenční příspěvky / Conference Papers (KIV) OBD |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| Černý Towards_automatic_validation_of_composite_heterogeneous_systems_in_edge_situations.pdf | 412,61 kB | Adobe PDF | View/Open Request a copy |
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11025/54896Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.