Detail publikace

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

BAUER, T.; AGIRRE, J.; FÜRCHO, D.; HERZNER, W.; HRUŠKA, B.; KARACA, M.; PEREIRA, D.; PROENÇA, J.; SCHLICK, R.; SICHER, R.; SMRČKA, A.; YAYAN, U.; SANGCHOOLIE, B. 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. p. 368-382.
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
anglicky
Autoři
BAUER, T.
AGIRRE, J.
FÜRCHO, D.
Herzner Wolfgang
HRUŠKA, B.
KARACA, M.
PEREIRA, D.
PROENÇA, J.
SCHLICK, R.
SICHER, R.
Smrčka Aleš, Ing., Ph.D. (UITS)
YAYAN, U.
Sangchoolie Behrooz
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
Místo
Cham
DOI
10.1007/978-3-031-04580-6_25
UT WoS
000873503300025
EID Scopus
2-s2.0-85129783157
BibTeX 
@inproceedings{BUT182325,
  author="BAUER, T. and AGIRRE, J. and FÜRCHO, D. and HERZNER, W. and HRUŠKA, B. and KARACA, M. and PEREIRA, D. and PROENÇA, J. and SCHLICK, R. and SICHER, R. and SMRČKA, A. and YAYAN, U. and SANGCHOOLIE, B.",
  title="Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper",
  booktitle="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  year="2022",
  series="Lecture Notes in Computer Science",
  pages="368--382",
  address="Cham",
  doi="10.1007/978-3-031-04580-6\{_}25",
  url="https://link.springer.com/chapter/10.1007/978-3-031-04580-6_25"
}
Nahoru