Full metadata record
DC poleHodnotaJazyk
dc.contributor.authorČerný, Lukáš
dc.date.accessioned2023-12-04T11:00:20Z-
dc.date.available2023-12-04T11:00:20Z-
dc.date.issued2022
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-821Xcs
dc.identifier.isbn978-1-66547-679-9
dc.identifier.issn2375-821X
dc.identifier.uri2-s2.0-85146318797
dc.identifier.urihttp://hdl.handle.net/11025/54896
dc.description.abstractSysté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.format
dc.format4 s.cs
dc.format.mimetypeapplication/pdf
dc.language.iso
dc.language.isoenen
dc.publisherIEEEen
dc.relation.ispartofseriesProceedings of 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)en
dc.rightsPlný text je přístupný v rámci univerzity přihlášeným uživatelůmcs
dc.rights© IEEEen
dc.subjectvalidace systémucs
dc.subjecttestování na základě modelucs
dc.subjectgenerování testovacích scénářůcs
dc.subjectsimulace okolního prostředícs
dc.titleTowards automatic validation of composite heterogeneous systems in edge situationsen
dc.title.alternativeSměrem k automatické validaci kompozitních heterogenních systémů v hraničních situacíchcs
dc.typekonferenční příspěvekcs
dc.typeConferenceObjecten
dc.rights.accessrestrictedAccessen
dc.type.versionpublishedVersionen
dc.description.abstract-translatedSystems 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.subject.translatedsystem validationen
dc.subject.translatedmodel-based testingen
dc.subject.translatedtest scenario generationen
dc.subject.translatedenvironmental simulationen
dc.identifier.doi10.1109/ISSREW55968.2022.00051
dc.type.status
dc.type.statusPeer-revieweden
dc.identifier.document-number909333700022
dc.identifier.obd43937863
dc.project.IDSGS-2022-016/Pokročilé metody zpracování a analýzy datcs
Vyskytuje se v kolekcích:Konferenční příspěvky / Conference Papers (KIV)
OBD

Soubory připojené k záznamu:
Soubor VelikostFormát 
Černý Towards_automatic_validation_of_composite_heterogeneous_systems_in_edge_situations.pdf412,61 kBAdobe PDFZobrazit/otevřít  Vyžádat kopii
Zobrazit minimální záznam Zobrazit statistiky


Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam: http://hdl.handle.net/11025/54896

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Publikační činnost / Publications
  3. OBD