Workshop Paper Short Paper Invited

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

PDF Online

Authors Nuno Laranjero Camilo Gomez Enrico Schiavone Leonardo Montecchi Manoel J. M. Carvalho Paolo Lollini Zoltán Micskei
Abstract
Cyber-physical systems are characterized by strong interactions between their physical and computation parts. The increasing complexity of such systems, now used in numerous application domains (e.g., aeronautics, healthcare), in conjunction with hard to predict surrounding environments or the use of non-traditional middleware and with the presence of non-deterministic or non-explainable software outputs, tend to make traditional Verification and Validation (V&V) techniques ineffective. This paper presents the H2020 ADVANCE project, which aims precisely at addressing the Verification and Validation challenges that the next-generation of cyber-physical systems bring, by exploring techniques, methods and tools for achieving the technical objective of improving the overall efficiency and effectiveness of the V&V process. From a strategic perspective, the goal of the project is to create an international network of expertise on the topic of V&V of cyber-physical systems.
DOI 10.1109/LADC48089.2019.8995714
Event 1st Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2019)
Main Event 9th Latin-American Symposium on Dependable Computing (LADC 2019)
Venue Natal, RN, Brazil
Date November 21, 2019
Pages 1-2
Publisher IEEE
ISBN ELECTRONIC: 978-1-7281-6622-3
ONDEMAND: 978-1-7281-6623-0
Notes Invited Paper
Citation
Bibtex
@inproceedings{2019WAFERS,
  author = {Laranjero, Nuno and Gomez, Camilo and Schiavone, Enrico and Montecchi, Leonardo and Carvalho, Manoel J. M. and Lollini, Paolo and Micskei, Zoltán},
  title = {{Addressing Verification and Validation Challenges in Future Cyber-Physical Systems}},
  booktitle = {1st Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2019)},
  address = {Natal, RN, Brazil},
  date = {2019-11-21},
  pages = {1-2},
  note = {Invited Paper},
  year = {2019}
}

Plain Text
N. Laranjero, C. Gomez, E. Schiavone, L. Montecchi, M. Carvalho, P. Lollini, Z. Micskei. Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. In: 1st Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2019), pp. 1-2. Natal, RN, Brazil, November 21, 2019.
 
 

© 2017-2022 Leonardo Montecchi