Validation of Safety critical Collaboration systems (VSC) at WETICE 2019: Track Report

被引：0
|
作者：
Calvagna, Andrea [1 ]
Fornaia, Andrea [1 ]
Tramontana, Emiliano [1 ]
机构：
[1] Univ Catania, Dipartimento Matemat & Informat, Catania, Italy
来源：
2019 IEEE 28TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE) | 2019年
关键词：
Verification; validation; safety; privacy; model checking; code analysis;
D O I：
10.1109/WETICE.2019.00055
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This report describes the scope of the VSC track held at the IEEE WETICE 2019 conference. The 2019 edition of WETICE was held in Capri (Naples), Italy, from June, the 12th to 14th. The papers accepted and presented to the VSC track dealt with the analysis of complex systems in order to detect erroneous or unexpected behaviour, especially from the security, and safety perspective.
引用
收藏
页码：223 / 224
页数：2
相关论文
共 37 条
  • [1] Validation of Safety critical Collaboration systems (VSC) Track at WETICE 2017: Summary report and preface
    Calvagna, Andrea
    Fornaia, Andrea
    Tramontana, Emiliano
    2017 IEEE 26TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2017, : 262 - 262
  • [2] VSC Track at WETICE: Summary report and preface
    Calvagna, Andrea
    Tramontana, Emiliano
    2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 197 - 197
  • [3] VSC Track at WETICE: Summary report and preface
    Calvagna, Andrea
    Tramontana, Emiliano
    2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 346 - 346
  • [4] VSC Track at WETICE 2016: Summary report and preface
    Calvagna, Andrea
    Fornaia, Andrea
    Tramontana, Emiliano
    2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2016, : 198 - 198
  • [5] Report of Collaborative Modeling and Simulation (CoMetS) track of WETICE 2019
    D'Ambrogio, Andrea
    Zacharewicz, Gregory
    2019 IEEE 28TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2019, : 104 - 105
  • [6] Track Chair's Report of CDCGM2019-Convergence of Distributed Clouds, Grids and their Management WETICE-2019 Going Beyond Church-Turing Thesis Boundaries. WETICE2019, Capri, Napoli, Italy, June 12-14, 2019
    Messina, Fabrizio
    Mikkilineni, Rao
    Morana, Giovanni
    2019 IEEE 28TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2019, : 49 - 51
  • [7] Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems
    Lv, J. H.
    Sun, B.
    Ma, S. L.
    Li, X. J.
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL, AUTOMATION AND MECHANICAL ENGINEERING (EAME 2015), 2015, 13 : 658 - 661
  • [8] XANDAR: Verification & Validation Approach for Safety-critical Systems
    Sonigara, Balmukund
    Sezer, Sakir
    Siddiqui, Fahad
    Weber, Raphael
    Antonopoulos, Konstantinos
    Panagiotou, Christos
    Antonopoulos, Christos P.
    Keramidas, Georgios
    Voros, Nikolaos
    Yengec-Tasdemir, Sena Busra
    Hui, Henry
    McLaughlin, Kieran
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
  • [9] SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems
    Wolschke, Christian
    Sangchoolie, Behrooz
    Simon, Jacob
    Marksteiner, Stefan
    Braun, Tobias
    Hamazaryan, Hayk
    51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021), 2021, : 27 - 34
  • [10] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
1234