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: closed (15 August 2024) | Viewed by 1131

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

Benefits of Publishing in a Special Issue

  • Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
  • Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
  • Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
  • External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
  • e-Book format: Special Issues with more than 10 articles can be published as dedicated e-books, ensuring wide and rapid dissemination.

Further information on MDPI's Special Issue polices can be found here.

Published Papers (1 paper)

Order results
Result details
Select all
Export citation of selected articles as:

Research

32 pages, 10559 KiB  
Article
Digital Twins Verification and Validation Approach through the Quintuple Helix Conceptual Framework
by Ana Perisic and Branko Perisic
Electronics 2024, 13(16), 3303; https://doi.org/10.3390/electronics13163303 - 20 Aug 2024
Viewed by 613
Abstract
The concept of digital twins has been in the field for a long time, constantly challenging the specification, modeling, design, implementation, and exploitation of complex cyber–physical systems. Despite the various foundations, standards, and platforms in systems engineering, there are ongoing challenges with verification [...] Read more.
The concept of digital twins has been in the field for a long time, constantly challenging the specification, modeling, design, implementation, and exploitation of complex cyber–physical systems. Despite the various foundations, standards, and platforms in systems engineering, there are ongoing challenges with verification and validation methodology. This study aims to establish a generic framework that addresses the various aspects of digital twinning. The multifaceted nature of the problem requires raising the abstraction level in both the real (actual) and virtual domains, effective dissemination of information resources, and a design inspired by verification and validation. The proposed framework combines the quintuple helix model with the problem and operational domains of a real (actual) twin, the solution and implementation domains of a virtual twin, and the execution domain as the bridge that links them. Verification and validation dimensions follow the meta object facility abstraction layers (instance, model, meta-model, and meta-meta-model) mapping over five helices. Embedding the complexity reduction mechanisms in the proposed framework builds a suite for extendible and verifiable digital twinning in simulation and real-time scenarios. The application of main conceptual framework mechanisms in a real-world example study aids the verification of this research’s intentions. The validation is a matter of further research endeavors. Full article
Show Figures

Figure 1

Back to TopTop