[SystemSafety] Deadline approaching: Special Issue on Verification and Validation of Cyber-Physical Systems
Jose Luis de la Vara
jvara at inf.uc3m.es
Fri Jan 5 13:44:23 CET 2018
(Apologies for multiple postings)
IET Cyber-Physical Systems: Theory & Applications
Special Issue on Verification and Validation of Cyber-Physical Systems
SCOPE
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
SUBMISSION INSTRUCTIONS
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:
http://digital-library.theiet.org/files/IET_CFP_CPS_Verification.pdf
IMPORTANT DATES
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/20180105/31b297d7/attachment.html>
More information about the systemsafety
mailing list