Validation & Verification of Intelligent Systems: The Case of Digital Twins

A special issue of Electronics (ISSN 2079-9292). This special issue belongs to the section "Computer Science & Engineering".

Deadline for manuscript submissions: 15 August 2024 | Viewed by 425

Special Issue Editors

Quality Engineering, Department of Computer Science, University of Innsbruck, 6020 Innsbruck, Austria
Interests: model-driven engineering and testing; models@runtime; cyber-physical systems; machine learning and AI; pervasive computing; digital twins

E-Mail Website
Guest Editor
Quality Engineering, Department of Computer Science, University of Innsbruck, 6020 Innsbruck, Austria
Interests: security engineering; software engineering; information systems; novel approaches in software and security engineering

Special Issue Information

Dear Colleagues,

With the growing availability of data and computational power, intelligent systems over recent years have become key components of many enterprise IT landscapes. At the same time, however, these systems are radically different from a classical software system where the code written is the code that represents the system.

In intelligent systems, the code written is traditionally responsible for developing the program that solves the problem. Consequently, testing the resulting systems becomes intractable due to lacking requirements, associated specifications, and eventually insight into how the solution was established and thus exposes specific—and in the worst case erroneous—behavior. Digital twins offer the potential to replicate internal system processes and behaviors by recreating the conditions as they happen and thus provide tractability. Near real-time data can be sequenced, and the system under test can be tested with production data and production triggers.

Any failure that happens in production can be simulated in the digital twin, thus significantly improving application testing accuracy. The goal of this Special Issue is to revise the verification and validation of intelligent systems with a special focus on the benefits delivered by the digital twin.

Dr. Philipp Zech
Dr. Clemens Sauerwein
Dr. Luca Davoli
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Electronics is an international peer-reviewed open access semimonthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2400 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Keywords

  • verification and validation
  • intelligent systems
  • digital twins

Published Papers

This special issue is now open for submission.
Back to TopTop