Towards automatic validation of composite heterogeneous systems in edge situations
| dc.contributor.author | Černý, Lukáš | |
| dc.date.accessioned | 2023-12-04T11:00:20Z | |
| dc.date.available | 2023-12-04T11:00:20Z | |
| dc.date.issued | 2022 | |
| dc.description.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. | cs |
| dc.description.abstract-translated | 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. | en |
| dc.format | ||
| dc.format | 4 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.identifier.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 | cs |
| dc.identifier.document-number | 909333700022 | |
| dc.identifier.doi | 10.1109/ISSREW55968.2022.00051 | |
| dc.identifier.isbn | 978-1-66547-679-9 | |
| dc.identifier.issn | 2375-821X | |
| dc.identifier.obd | 43937863 | |
| dc.identifier.uri | 2-s2.0-85146318797 | |
| dc.identifier.uri | http://hdl.handle.net/11025/54896 | |
| dc.language.iso | ||
| dc.language.iso | en | en |
| dc.project.ID | SGS-2022-016/Pokročilé metody zpracování a analýzy dat | cs |
| dc.publisher | IEEE | en |
| dc.relation.ispartofseries | Proceedings of 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) | en |
| dc.rights | Plný text je přístupný v rámci univerzity přihlášeným uživatelům | cs |
| dc.rights | © IEEE | en |
| dc.rights.access | restrictedAccess | en |
| dc.subject | validace systému | cs |
| dc.subject | testování na základě modelu | cs |
| dc.subject | generování testovacích scénářů | cs |
| dc.subject | simulace okolního prostředí | cs |
| dc.subject.translated | system validation | en |
| dc.subject.translated | model-based testing | en |
| dc.subject.translated | test scenario generation | en |
| dc.subject.translated | environmental simulation | en |
| dc.title | Towards automatic validation of composite heterogeneous systems in edge situations | en |
| dc.title.alternative | Směrem k automatické validaci kompozitních heterogenních systémů v hraničních situacích | cs |
| dc.type | konferenční příspěvek | cs |
| dc.type | ConferenceObject | en |
| dc.type.status | ||
| dc.type.status | Peer-reviewed | en |
| dc.type.version | publishedVersion | en |
Files
Original bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- Černý Towards_automatic_validation_of_composite_heterogeneous_systems_in_edge_situations.pdf
- Size:
- 412.61 KB
- Format:
- Adobe Portable Document Format