Detail publikace

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper

BAUER Thomas, AGIRRE Andoni Joseba, FÜRCHO David, HERZNER Wolfgang, HRUŠKA Bob, KARACA Mustafa, PEREIRA David M., PROENÇA José, SCHLICK Rupert, SICHER Robert, SMRČKA Aleš, YAYAN Ugur a SANGCHOOLIE Behrooz. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. Cham, 2022, s. 368-382. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-031-04580-6_25
Název česky
Modelování pracovních postupů verifikace a validace napříč doménami ve velkém evropském výzkumném projektu VALU3S
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bauer Thomas ()
Agirre Andoni Joseba (Mondragon)
Fürcho David (NXP-DE)
Herzner Wolfgang (AIT)
Hruška Bob ()
Karaca Mustafa ()
Pereira David M. (ISEP)
Proença José ()
Schlick Rupert (AIT)
Sicher Robert ()
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Yayan Ugur ()
Sangchoolie Behrooz, Ph.D. (RISE)
URL
Klíčová slova

Automatizované systémy, kyberbezpečnost, soukromí, spolehlivost, V&V nástroje, V&V workflow, verifikace a validace

Abstrakt

Složitost systémů se stále zvyšuje zejména v důsledku víceúrovňové integrace subsystémů z různých oblastí do kyberneticko-fyzických systémů. Z toho vyplývají zvláštní výzvy pro účinnou verifikaci a validaci (V&V) těchto systémů s ohledem na jejich požadavky a vlastnosti. Aby bylo možné řešit nové výzvy a zlepšit procesy zajištění kvality, je třeba dokumentovat a analyzovat pracovní postupy V&V. V tomto článku je představen nový přístup k modelování pracovních postupů činností V&V. Tento obecný přístup lze přizpůsobit různým průmyslovým doménám a jejich specifickým omezením, metodám V&V a integrovaných nástrojů. Výstupy zahrnují speciální modelovací notaci (VVML) a podporu nástrojů využívajících modelovací framework Enterprise Architect pro efektivní dokumentaci a implementaci pracovních postupů v různých případech použití. Řešení umožňuje navrhovat opakovaně použitelné prostředky pracovních postupů jako jsou činnosti V&V a artefakty, které se převádějí mezi pracovními postupy. Tato práce je součástí rozsáhlého evropského výzkumného projektu VALU3S, který se zabývá zlepšováním a hodnocením procesů V&V v různých technických oblastech se zaměřením na bezpečnost, kybernetickou bezpečnost a vlastnosti ochrany soukromí.

Rok
2022
Strany
368-382
Sborník
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Řada
Lecture Notes in Computer Science
Konference
21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS), Samos, GR
Místo
Cham, DE
DOI
UT WoS
000873503300025
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12943,
   author = "Thomas Bauer and Joseba Andoni Agirre and David F{\"{u}}rcho and Wolfgang Herzner and Bob Hru\v{s}ka and Mustafa Karaca and M. David Pereira and Jos\'{e} Proen\c{c}a and Rupert Schlick and Robert Sicher and Ale\v{s} Smr\v{c}ka and Ugur Yayan and Behrooz Sangchoolie",
   title = "Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper",
   pages = "368--382",
   booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   series = "Lecture Notes in Computer Science",
   year = 2022,
   location = "Cham, DE",
   doi = "10.1007/978-3-031-04580-6\_25",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12943"
}
Nahoru