[SystemSafety] Special Issue on Verification and Validation of Cyber-Physical Systems

Jose Luis de la Vara jvara at inf.uc3m.es
Thu Sep 14 20:59:13 CEST 2017

(Apologies for multiple postings)



IET Cyber-Physical Systems: Theory & Applications

Special Issue on Verification and Validation of Cyber-Physical Systems




Applications of Cyber-Physical Systems (CPS) are rising in our day-to-day
lives, as well as in both critical and non-critical industries.

Irrespective of their application domains and associated criticality levels,
it is crucial to make sure that CPS are behaving safely and reliably in
every conceivable situation. Verification and Validation (V&V) activities
offer the necessary means to establish the confidence that CPS will operate
in a predictable, safe and reliable manner. Special characteristics of CPS
such as complexity, heterogeneity, close interaction with their physical
environment, use of information networks for communication, and high demands
on extra-functional properties present new challenges for V&V of CPS. This
special issue solicits latest research results on the V&V of Cyber-Physical
Systems. The topics of interest include, but are not limited to:

- V&V of requirements, architectures, and designs

- Model checking of CPS

- Formal verification of CPS

- Semi-automated testing of CPS

- Testing under Uncertainty

- Extra-Functional Testing including, but not limited to Performance,
Security or Safety Testing

- Model-Based Testing

- Search-Based Testing

- Test Optimization including single and multi-objective test optimization

- Assurance and Certification of CPS

- Empirical Evaluations

- Industrial Applications

- V&V of CPS in diverse domains including, but not limited to automotive,
smart grids, smart factories, healthcare, oil & gas, robotics, and maritime



We seek manuscripts reporting original research that are not submitted
elsewhere for publication. Manuscripts must adhere to the IET Journal
submission guidelines available at
http://digital-library.theiet.org/journals/author-guide and must be
submitted through the online manuscript portal system available at
http://digital-library.theiet.org/content/journals/iet-cps. Each manuscript
will be evaluated based on the IET standard review process. Details of the
special issue can also be found here:



Deadline for paper submissions: February 1, 2018

1st Notification: April 15, 2018

Revised Submission Due: June 15, 2018

Final Notification: September 30, 2018

Tentative Publication Date: December 1, 2018


Lead Guest Editor

Dr. Shaukat Ali – Simula Research Laboratory –  shaukat at simula.no


Guest Editors

Dr. Tao Yue – Simula Research Laboratory, Norway – tao at simula.no

Dr. Jose Luis de la Vara – Carlos III University of Madrid, Spain –
jvara at inf.uc3m.es

Prof. Dr. Manuel Wimmer – TU Wien, Austria – wimmer at big.tuwien.ac.at

Dr. Javier Cámara – Carnegie Mellon University, USA – jcmoreno at cs.cmu.edu

Prof. Dr. Michael Felderer – University of Innsbruck, Austria –
michael.felderer at uibk.ac.at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170914/0eadaa9c/attachment-0001.html>

More information about the systemsafety mailing list