The proceedings contain 7 papers. The special focus in this conference is on engineering Trustworthy softwaresystems. The topics include: From Logic to Programming;digital Twin Tutorial: The Incubator Case Study...
ISBN:
(纸本)9789819646555
The proceedings contain 7 papers. The special focus in this conference is on engineering Trustworthy softwaresystems. The topics include: From Logic to Programming;digital Twin Tutorial: The Incubator Case Study;AI Components for High Integrity, Safety-Critical Human-Cyber-Physical systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;softwareengineering Experiences of an Optimist;Automating Component-Based Embedded software Construction via Formal Synthesis and LLMs.
Participatory citizen platforms are innovative solutions to digitally better engage citizens in policy-making and deliberative democracy in general. Although these platforms have been used also in an engineering conte...
详细信息
In recent years, the rapid development of deep neural networks and their application technologies has propelled autonomous driving systems (ADS) towards commercialisation. However, due to the high safety requirements ...
详细信息
ISBN:
(纸本)9783031808883;9783031808890
In recent years, the rapid development of deep neural networks and their application technologies has propelled autonomous driving systems (ADS) towards commercialisation. However, due to the high safety requirements of ADSs, ensuring their safety and reliability remains a critical challenge in softwareengineering. Existing testing methods focus on simple driving scenarios with few traffic participants, neglecting the impact of high traffic density on ADS driving performance. This paper presents an empirical study exploring how traffic density affects ADS behaviour. We developed a testing framework using two open-source ADSs to generate scenarios with varying traffic densities in a high-fidelity simulator. Our results indicate that changes in traffic density significantly affect ADS performance. Different traffic densities reveal various types of safety violations and help identify potential design flaws in ADSs. This study highlights the importance of considering traffic density in ADS testing and contributes to a better understanding of ADS performance under different traffic conditions.
software and systems development projects in regulated domains need to provide evidence on their compliance to standards. Such standards often come as comprehensive documentation, i.e., documents, which need to be tai...
详细信息
ISBN:
(纸本)9783031783852;9783031783869
software and systems development projects in regulated domains need to provide evidence on their compliance to standards. Such standards often come as comprehensive documentation, i.e., documents, which need to be tailored to and interpreted for a particular project. Utilizing such documentations, it is desirable for companies working in regulated domains to provide tool support with regard to measurement systems that, eventually, help determine the product's quality and to support the compliance analysis. In this paper, we present an AI-supported approach to use a standard's documentation for generating artifact models. Such models are generated in a machine-readable format and, therefore, help companies create measurable items to be included in their metrication and measurement systems. Using selected ECSS standards from the European Space Agency as cases, we present our approach, the prompt engineering for the extraction of artifacts, and we illustrate the opportunities to generate comprehensive artifact models. Our findings show that, given sufficient information is available, the generation of artifact models is possible to a large degree with an average completeness of 99.64% and an average precision of 67.52% thus laying the foundation for building more efficient measurement systems.
The extraction of electrical network frequency (ENF) data from audio signals has become a key tool in multimedia forensics, enabling applications such as timestamping, authentication, and geolocation estimation. In pa...
详细信息
In recent years, the emerging open source RISC-V architecture has gradually attracted wide attention. In order to support the compilation of multiple Linux operating system distribution images and packages, developers...
详细信息
ISBN:
(纸本)9783031664557;9783031664564
In recent years, the emerging open source RISC-V architecture has gradually attracted wide attention. In order to support the compilation of multiple Linux operating system distribution images and packages, developers need to build and adapt the packages. Due to the complexity of software packages and the diversity of developer experience levels, the success of software package construction is uncertain. Existing research lacks automatic classification methods for the reasons of RISC-V architecture software package construction failures. Therefore, an automatic classification model Word2Vec-BERT-bmu is proposed to effectively and automatically locate software package construction failures. Firstly, two popular Linux distribution building platforms, OpenSuse and OpenEuler, were selected as the sources of build failure log data, and 10 types of build failures were manually analyzed and summarized. Secondly, the Word2Vec-BERT-bmu model is proposed to construct the failure classification using an automated software package with multi-feature concatenation. Experimental results show that the Macro F1 value is improved by 2-4% compared with other models. In addition, for realworld software packages, the effectiveness and accuracy of our modelwe proposed are further verified by manual repair of software packages.
With the continuous progress of drone technology, the safety issues of unmanned aerial vehicle (UAV) avionics systems are increasingly becoming a focus. As a nonlinear coupled system, the avionics system has a high de...
详细信息
In application software development, memory defects are difficult to detect. Traditional memory defect detection tools generally face issues of high performance overhead and excessive memory consumption, which limits ...
详细信息
This research paper proposes the implementation of a teaching strategy for the Lean software development course targeting third-year undergraduate students. Additionally, the intermediate results of applying the propo...
详细信息
Parameter estimation performance bounds serve as valuable tools in statistical signal processing, yet deriving them traditionally requires full knowledge of the data distribution. Recently, a framework has been propos...
详细信息
暂无评论