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 条
  • [21] Integrated GNSS with different accuracy of track database for safety-critical railway control systems
    Zheng, Yuheng
    Cross, Paul
    GPS SOLUTIONS, 2012, 16 (02) : 169 - 179
  • [22] A high order collaboration and real time formal model for automatic testing of safety critical systems
    Lv, Jianghua
    Ma, Shilong
    Li, Xianjun
    Song, Jiangong
    FRONTIERS OF COMPUTER SCIENCE, 2015, 9 (04) : 495 - 510
  • [23] A high order collaboration and real time formal model for automatic testing of safety critical systems
    Jianghua LV
    Shilong MA
    Xianjun LI
    Jiangong SONG
    Frontiers of Computer Science, 2015, 9 (04) : 495 - 510
  • [24] A high order collaboration and real time formal model for automatic testing of safety critical systems
    Jianghua Lv
    Shilong Ma
    Xianjun Li
    Jiangong Song
    Frontiers of Computer Science, 2015, 9 : 495 - 510
  • [25] An MDE-based Process for the Design, Implementation and Validation of Safety-Critical Systems
    Delange, Julien
    Pautet, Laurent
    Hugues, Jerome
    de Niz, Dionisio
    2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 319 - 324
  • [26] Validation within safety critical systems engineering from a computational semiotics point of view
    Doeben-Henisch, G.
    Wagner, M. F.
    2007 AFRICON, VOLS 1-3, 2007, : 975 - +
  • [27] Validation of safety-critical systems for aircraft loss-of-control prevention and recovery
    Belcastro, Christine M.
    AIAA Guidance, Navigation, and Control Conference 2012, 2012,
  • [28] A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
    Zhou, Jiale
    Lu, Yue
    Lundqvist, Kristina
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, 2014, 8454 : 43 - 57
  • [29] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report
    Provenzano, Luciana
    Hanninen, Kaj
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369
  • [30] Safety-Critical Disturbance Rejection Control of Overhead Crane Systems: Methods and Experimental Validation
    Tian, Zheng
    Wang, Xinming
    Yang, Jun
    Li, Shihua
    Niu, Dan
    Li, Qi
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2024, 32 (06) : 2253 - 2266
1234