Skip Content
You are currently on the new version of our website. Access the old version .
MDPIMDPI
Electronics
Submit to Electronics
Become a Reviewer

Software Verification and Validation for Embedded Systems

This special issue belongs to the section “Computer Science & Engineering“.

Special Issue Information

Dear Colleagues,

Verification evaluates intermediary products, such as requirement specification, architectural design, models, or software code, thus ensuring that they comply with previously established requirements for correctness, completeness, and consistency. Validation evaluates the final product to check whether it meets business needs.  

Embedded systems are electronically controlled devices where software and hardware are tightly coupled. Embedded systems often have unique characteristics that should be reflected in the verification and validation (V&V) plan. As embedded software becomes more complicated, V&V activities become even more complex. In this Special Issue, we are particularly interested in V&V at the software level for embedded systems.  

Prof. Dr. Byoungju Choi
Guest Editor

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 250 words) can be sent to the Editorial Office for assessment.

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

  • Methodologies for verification and validation of embedded software
  • Techniques for testing of embedded software
  • Tools and environment for automated and semi-automated embedded software testing
  • Model-based testing
  • Software test requirements
  • Software test architecture
  • Static vs. dynamic testing
  • Performance, robustness, usability and security testing
  • Software fault injection
  • Embedded real time software testing and runtime error handling
  • Fault localization and debugging
  • Empirical studies and experience reports

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.
  • Reprint: MDPI Books provides the opportunity to republish successful Special Issues in book format, both online and in print.
Special Issue Policies

Published Papers

Get Alerted

Add your email address to receive forthcoming issues of this journal.

XFacebookLinkedIn
Electronics - ISSN 2079-9292
Imprint
Download Flyer