Advances and Challenges in Model- and Data-Based Software and Systems Engineering for Complex Systems

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

Deadline for manuscript submissions: 15 November 2024 | Viewed by 2451

Special Issue Editors


E-Mail Website
Guest Editor
Institute for Software and Systems Engineering, Clausthal University of Technology, 38678 Clausthal-Zellerfeld, Germany
Interests: software architecture; model-driven development; process models; software evolution; longevity of software systems; software verification; machine learned models; data-based software engineering; dependable cyber-physical systems

E-Mail Website
Guest Editor
Institute for Software and Systems Engineering, Clausthal University of Technology, 38678 Clausthal-Zellerfeld, Germany
Interests: model-based systems engineering (MBSE); domain-specific modeling languages; software product line engineering; architecture evolution

Special Issue Information

Dear Colleagues,

The demands placed on software and system engineers have dramatically increased in recent years as the systems they develop have increased in complexity, size, and criticality as well. Novel system types, such as autonomous systems or cyber physical systems, and new technologies, such as Artificial Intelligence, are changing the technology landscape. Thus, supporting and mastering the development and evolution of such complex, software-intensive systems by new approaches is an important and growing research field in software and systems engineering.

A well-known approach to support the development of complex systems is model-based software and systems engineering. It represents the results of different development activities in one model and thus shifts from heterogeneous, document-based product models to consistent and interlinked product models. In practice, acceptance is often limited since experts have to transfer their established syntax, elements, and tools for system modeling to the more generic languages such as SysML. Although the objectives and benefits of model-based engineering are mentioned in countless research works, industry companies across branches are facing challenges when introducing and adapting to these techniques. Modeling is an essential aspect not only for designing the system but also for the long-term evolution of any system. We are interested in methods to overcome the numerous obstacles when applying model-based engineering across disciplines and introduction into practice.

Moreover, we welcome research works discussing current approaches and directions such as learning- and knowledge-based methods. For the development of AI-based complex systems, the main challenge is not to develop the best models/algorithms, but to provide support for the entire lifecycle—from a business idea, through the collection and management of data, software development managing both data and code, product deployment and operation, and to its evolution. There is a clear need for specific support of the software architecture for AI. On the other hand, the software engineering community observed that several software engineering tasks can be formulated as data analysis (learning) tasks and, thus, can be supported, for example, by using ML algorithms. This is the motivation for the research field of AI for software engineering (AI4SE), which has developed driven by the rapid increase in size and complexity of software systems and, in consequence, of software engineering tasks.

Finally, we are interested in advanced approaches on model-based product line development and life-cycle management for families of complex software systems. A challenge is to enable the long-term evolution of product lines. How to adapt to emerging  product line requirements and how to manage variability and product derivation are challenging duties as well as to ensure traceability between product line architecture, feature model, requirements, and implementation artifacts.

This Special Issue welcomes contributions regarding academic research and industrial contributions. We welcome technical papers presenting research and practical results, position papers, survey papers addressing the key problems, and solutions on any of the mentioned topics.

Topics of interest include but are not limited to the following:

  • New modeling concepts in software and systems engineering;
  • Knowledge-based and data-driven methods;
  • Learning- and feedback-based approaches;
  • Model-based requirements engineering;
  • Traceability of requirements (modeling and analysis);
  • Domain-specific models and their integration into meta-models;
  • Automated generation of different views in development of complex systems;
  • Architecture evaluation and quality aspects of software and system architectures;
  • Model-driven engineering;
  • Component-based software engineering;
  • Automatic extraction and generation of architecture descriptions;
  • Refactoring and evolving architecture design decisions and solutions;
  • Architecture conformance;
  • Linking architecture to requirements and/or implementation;
  • Architecture frameworks and architecture description languages;
  • Reusable architectural solutions and software architecture knowledge management;
  • DevOps;
  • AI/ML techniques for architecture;
  • Agile development approaches for complex systems;
  • State of the art and state of practice in model-based engineering for complex systems;
  • Model-based approaches for dealing with families of products and variability;
  • Model-based approaches for specific types of systems, such as:
    • AI / ML systems;
    • Cyber‒physical systems;
    • Self-adaptive systems;
    • Autonomous systems.

Prof. Dr. Andreas Rausch
Dr. Christoph Knieke
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

  • model-based engineering
  • software engineering
  • software architecture
  • artificial intelligence (AI)
  • systems engineering

Published Papers (2 papers)

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

Research

20 pages, 14345 KiB  
Article
Representative Real-Time Dataset Generation Based on Automated Fault Injection and HIL Simulation for ML-Assisted Validation of Automotive Software Systems
by Mohammad Abboush, Christoph Knieke and Andreas Rausch
Electronics 2024, 13(2), 437; https://doi.org/10.3390/electronics13020437 - 20 Jan 2024
Viewed by 825
Abstract
Recently, a data-driven approach has been widely used at various stages of the system development lifecycle thanks to its ability to extract knowledge from historical data. However, despite its superiority over other conventional approaches, e.g., approaches that are model-based and signal-based, the availability [...] Read more.
Recently, a data-driven approach has been widely used at various stages of the system development lifecycle thanks to its ability to extract knowledge from historical data. However, despite its superiority over other conventional approaches, e.g., approaches that are model-based and signal-based, the availability of representative datasets poses a major challenge. Therefore, for various engineering applications, new solutions to generate representative faulty data that reflect the real world operating conditions should be explored. In this study, a novel approach based on a hardware-in-the-loop (HIL) simulation and automated real-time fault injection (FI) method is proposed to generate, analyse and collect data samples in the presence of single and concurrent faults. The generated dataset is employed for the development of machine learning (ML)-assisted test strategies during the system verification and validation phases of the V-cycle development model. The developed framework can generate not only time series data but also a textual data including fault logs in an automated manner. As a case study, a high-fidelity simulation model of a gasoline engine system with a dynamic entire vehicle model is utilised to demonstrate the capabilities and benefits of the proposed framework. The results reveal the applicability of the proposed framework in simulating and capturing the system behaviour in the presence of faults occurring within the system’s components. Furthermore, the effectiveness of the proposed framework in analysing system behaviour and acquiring data during the validation phase of real-time systems under realistic operating conditions has been demonstrated. Full article
Show Figures

Figure 1

20 pages, 3306 KiB  
Article
Research on Intelligent Verification System of High Voltage Electric Energy Metering Device Based on Power Cloud
by Fangqing Zhang, Jiang Guo, Fang Yuan, Yongjie Shi, Bingyuan Tan and Dongfang Yao
Electronics 2023, 12(11), 2493; https://doi.org/10.3390/electronics12112493 - 01 Jun 2023
Viewed by 1082
Abstract
To address the issues of low efficiency, poor security, insufficient compatibility, and difficulties in traceability associated with high-voltage electric energy metering (HVEEM) device verification methods, this paper proposes a design scheme for a remote verification system (RVS) of such devices based on a [...] Read more.
To address the issues of low efficiency, poor security, insufficient compatibility, and difficulties in traceability associated with high-voltage electric energy metering (HVEEM) device verification methods, this paper proposes a design scheme for a remote verification system (RVS) of such devices based on a power cloud platform (PCP). The system adopts the concept of “high-precision local sampling + remote cloud verification” and develops a local acquisition device with compatibility and high precision to achieve fast acquisition of local electrical parameters. The IEC 61850 communication modeling is utilized to establish unified communication standards between the local device and the PCP. The PCP provides two verification methods: physical error verification based on a multi-channel standard and digital verification based on an improved Backpropagation (BP) neural network simulation model. Leveraging the advantages of power cloud technology, the system enables functions such as electrical energy calculation, remote intelligent error verification, cloud storage, condition monitoring, and early warning. Through testing and application, it has been demonstrated that the system achieves an integration accuracy level better than 0.02. It also exhibits good security, compatibility, and traceability of measurement values while attaining a high level of informatization and intelligence. Particularly, the system shows promising prospects for the remote and efficient verification of large-scale and multi-type high-voltage metering devices. Full article
Show Figures

Figure 1

Back to TopTop