Special Issue "Design and Applications of Software Architectures"

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

Deadline for manuscript submissions: 30 June 2020.

Special Issue Editors

Dr. Khalil Drira
E-Mail Website
Guest Editor
LAAS-CNRS France Univ. de Toulouse, France
Interests: cooperative network services
Dr. Seriai Abdelhak-Djamel
E-Mail Website
Guest Editor
LIRMM, University of Montpellier, 34392 Montpellier, France
Interests: software reuse; software architecture; software reengineering; software component/service; software product Line; software evolution; source code analysis; search-based algorithms

Special Issue Information

The software architecture of a system represents its fundamental structures and the discipline of creating such structures and systems. It is a metaphor, analogous to the architecture of a building. This is an abstract view of a system in terms of architectural elements and concerns making fundamental structural choices, where architecture design decisions have the most significant influence on system qualities.

Having an architectural representation of a system improves the understanding of the system, and facilitates reuse, evolution, and maintenance.

Different topics have aroused the interest of different communities of researchers concerned with problems related to software architecture. This has spawned meaningful developments and progress related to this discipline. However, despite these considerable advances, many obstacles remain to be overcome to reach the expected objectives, especially for new software development domains such as DevOps and the cloud computing, Systems of Systems (SoS), and cyber-physical systems and IoT which pose new challenges and require adapted solutions.

This Special Issue invites submissions on new and innovative research results and industrial experience papers in the area of software architecture.

Dr. Khalil Drira
Dr. Seriai Abdelhak-Djamel
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 papers will be 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 monthly 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 1400 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

  • Software architecture
  • Methods for software architecture
  • Foundations for software architecture
  • Techniques and tools for software architecture
  • Empirical studies for software architecture
  • Systematic literature reviews in the software architecture
  • Mapping studies in the software architecture.

Published Papers (1 paper)

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

Research

Open AccessArticle
Formal Analysis and Verification of Airborne Software Based on DO-333
Electronics 2020, 9(2), 327; https://doi.org/10.3390/electronics9020327 - 14 Feb 2020
Abstract
With rapid technological advances in airborne control systems, it has become imperative to ensure the reliability, robustness, and adaptability of airborne software since failure of these software could result in catastrophic loss of property and life. DO-333 is a supplement to the DO-178C [...] Read more.
With rapid technological advances in airborne control systems, it has become imperative to ensure the reliability, robustness, and adaptability of airborne software since failure of these software could result in catastrophic loss of property and life. DO-333 is a supplement to the DO-178C standard, which is dedicated to guiding the application of formal methods in the review and analysis of airborne software development processes. However, DO-333 lacks theoretical guidance on how to choose appropriate formal methods and tools to achieve verification objectives at each stage of the verification process, thereby limiting their practical application. This paper is intended to illustrate the formal methods and tools available in the verification process to lay down a general guide for the formal development and verification of airborne software. We utilized the Air Data Computer (ADC) software as the research object and applied different formal methods to verify software lifecycle artifacts. This example explains how to apply formal methods in practical applications and proves the effectiveness of formal methods in the verification of airborne software. Full article
(This article belongs to the Special Issue Design and Applications of Software Architectures)
Show Figures

Figure 1

Back to TopTop