posted by organizer: simpple || 918 views || tracked by 1 users: [display]

VERDI 2023 : 1st Workshop on Verification & Validation of Dependable Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://verdi-workshop.github.io/2023/
 
When Jun 27, 2023 - Jun 27, 2023
Where Porto, Portugal
Submission Deadline Apr 7, 2023
Notification Due Apr 26, 2023
Final Version Due May 5, 2023
 

Call For Papers

-----------------------------------------------------------
VERDI 2023

Co-located with the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
-----------------------------------------------------------

=== Invited Speaker ===

- Karthik Pattabiraman, University of British Columbia, Canada
"Fault Injection is Dead. Long Live Fault Injection!"


=== About VERDI ===

The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on *safety* and *security*) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.


=== Scope ===

The fast increase and availability of communication bandwidth and computational power, as well as emerging computing paradigms such as Cloud Computing, Edge Computing, and Deep Learning, are pushing forward Cyber-Physical Systems (CPS) research and development and establishing them as promising engineering solutions to address challenges arising in several domains. A key property that CPS are expected to exhibit is that of dependability. A key ingredient to ensure dependability is to successfully apply verification & validation (V&V) techniques and attest the desired levels of safety, security, and privacy. This is a challenging task that comes with significant time and cost implications for all the organizations involved in the build-up and evaluation of CPS. This challenge becomes even more critical with the incorporation of more and more Artificial Intelligence models into the operational capabilities of CPS for handling tasks that are increasingly complex.


=== Topics ===

The workshop covers all aspects related to the dependability evaluation (with special focus on safety and security) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing. Topics include, but are not limited to:

- Safety/security risk assessment and assurance
- Analysis of threats and vulnerabilities
- In-the-loop and model-based analysis and assessment
- Architecture-driven assurance of safety and security
- Interplay between safety and security
- Tools for validation and verification
- Dependability analysis using simulation and experimental measurement
- Methods for qualification, assurance, and certification
- Test space exploration and test space pruning
- Distributed and real-time monitoring and control
- Analysis of probabilistic, real-time, or hybrid systems


=== Submissions ===

We welcome submissions in IEEE two-column conference style in two formats:

- Full papers - up to 8 pages
- Short papers - up to 4 pages

The page limit includes references. Accepted papers (full and short) will be published in the DSN supplemental volume and made available in IEEE Xplore.

Please use the EasyChair link below to submit your paper, selecting the track allocated to VERDI 2023 of the DSN 2023 conference:

- https://easychair.org/conferences/?conf=dsn2023

All submissions should be made in PDF and must adhere to the IEEE Computer Society 8.5"x11" two-column camera-ready format (using a 10-point font on 12- point single-spaced leading). Templates are available at https://www.ieee.org/conferences/publishing/templates.html.

Reviewing is single-blind. The names and affiliations of authors must appear in the submitted papers. Submissions not respecting format requirements may be rejected without review.

=== Program Committee ===

- Joseba Andoni Agirre, Universidad Mondragon, Spain
- José Bacelar Almeida, University of Minho, Portugal
- Raul Barbosa, University of Coimbra, Portugal
- Stylianos Basagiannis, Collins Aerospace, Ireland
- Thomas Bauer, Fraunhofer, Germany
- Marcello Cinque, Universit di Napoli Federico II, Italy
- Jose Luis de la Vara, University of Castilla-La Mancha, Spain
- André De Matos Pedro, VORTEX-CoLab, Portugal
- Marie Farrell, The University of Manchester, United Kingdom
- Peter Folkesson, RISE, Sweden
- Barbara Gallina, Mälardalen University, Sweden
- Guillaume Hiet, INRIA, France
- Paolo Lollini, University of Firenze, Italy
- André Lourenço, Cardio ID, Portugal
- Rosemary Monahan, Maynooth University, Ireland
- Maurizio Mongelli, CNR-IEIIT, Italy
- Nasser Nowdehi, Volvo AB, Sweden
- Tomas Olovsson, Chalmers University of Technology, Sweden
- Peter Ölveczky, University of Oslo, Norway
- Karthik Pattabiraman, The University of British Columbia, Canada
- Antonio Pecchia, Università degli Studi del Sannio, Italy
- Peter Popov, City University, United Kingdom
- Juan Carlos Ruiz, Universitat Politècnica de València, Spain
- Horst Schirmeier, TU Dresden, Germany
- Christoph Schmittner, Austrian Institute of Technology, Austria
- Aleš Smrčka, Brno University of Technology, Czech Republic
- Volker Stolz, Høgskulen på Vestlandet, Norway
- Carolyn Talcott, SRI International, USA
- Stefano Tonetta, FBK-ICT, Italy
- Martin Törngren, KTH Royal Institute of Technology, Sweden
- Ahmet Yazici, Eskisehir Osmangazi University, Turkey


=== Organising committee ===

- David Pereira (drp@isep.ipp.pt), ISEP, Portugal
- José Proença (pro@isep.ipp.pt), ISEP, Portugal
- Behrooz Sangchoolie (behrooz.sangchoolie@ri.se), RISE, Sweden

Related Resources

VERDI 2024   2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
CPS4CIP 2024   The 5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection (CPS4CIP 2024)
CPSAT 2024   The 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory)
SEAA 2024   50th Euromicro Conference Series on Software Engineering and Advanced Applications
Sport & Society 2024   Fifteenth International Conference on Sport & Society
FAACS 2024   The 8th International Workshop on Formal Approaches for Advanced Computing Systems
IWCFS 2024   The 9th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems
ICST 2024   International Conference on Software Testing, Verification, and Validation
EMSICC 2024   International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing
17th IEEE MCSoC 2024   17th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip