This paper proposes a framework for creating educational software systems that effectively meet student engagement and pedagogical goals. While different design methodologies have been used in developing educational s...
详细信息
Tropical cyclones, characterized by strong winds and heavy rainfall, threaten human life in coastal regions crucial to the economy, including fisheries, agriculture, tourism, and infrastructure. Their frequent occurre...
详细信息
The concept of the Internet of Things (IoT) has been widely used in many applications. IoT devices can be exposed to various external factors, such as network congestion, signal interference, and limited network bandw...
详细信息
ISBN:
(纸本)9783031637858;9783031637834
The concept of the Internet of Things (IoT) has been widely used in many applications. IoT devices can be exposed to various external factors, such as network congestion, signal interference, and limited network bandwidth. This paper proposes an open-source mu Chaos software tool for the ZephyrOS real-time operating system for embedded devices. The proposed tool intends to inject failures into device's applications in a controlled manner to improve their error-handling algorithms. The proposed novel framework fills the gap in the chaos engineering tools for edge devices in the cloud-edge continuum. In the paper, we also discuss the typical failures of IoT devices and the potential use cases of the solution.
Context andmotivation: In this industry-academia collaborative project, a team of researchers, supported by a software architect, business analyst, and test engineer explored the challenges of requirement variability ...
详细信息
ISBN:
(纸本)9783031573262;9783031573279
Context andmotivation: In this industry-academia collaborative project, a team of researchers, supported by a software architect, business analyst, and test engineer explored the challenges of requirement variability in a large business software development company. Question/ problem: Following the design science paradigm, we studied the problem of requirements analysis and tracing in the context of contractual documents, with a specific focus on managing requirements variability. This paper reports on the lessons learned from that experience, highlighting the strategies and insights gained in the realm of requirements variability management. Principal ideas/results: This experience report outlines the insights gained from applying design science in requirements engineering research in industry. We show and evaluate various strategies to tackle the issue of requirement variability. Contribution: We report on the iterations and how the solution development evolved in parallel with problem understanding. From this process, we derive five key lessons learned to highlight the effectiveness of design science in exploring solutions for requirement variability in contract-based environments.
The rapidly evolving field of autonomous driving systems (ADSs) is full of promise. However, in order to fulfil these promises, ADSs need to be safe in all circumstances. This paper introduces ISS-Scenario, an autonom...
详细信息
ISBN:
(纸本)9783031646256;9783031646263
The rapidly evolving field of autonomous driving systems (ADSs) is full of promise. However, in order to fulfil these promises, ADSs need to be safe in all circumstances. This paper introduces ISS-Scenario, an autonomous driving testing framework in the paradigm of scenario-based testing. ISS-Scenario is designed for batch testing, exploration of test cases (e.g., potentially dangerous scenarios), and performance evaluation of autonomous vehicles (AVs). ISS-Scenario includes a diverse simulation scenario library with parametrized design. Furthermore, ISS-Scenario integrates two testing methods within the framework: random sampling and optimized search by means of a genetic algorithm. Finally, ISS-Scenario provides an accident replay feature, saving a log file for each test case which allows developers to replay and dissect scenarios where the ADS showed problematic behavior.
This research proposes a refined deep learning framework aimed at boosting the precision and efficacy of detecting surface imperfections in strip steel. This method integrates enhancement and simplification techniques...
详细信息
Simplifying programs before verification aims to reduce program complexity thus saving the verification effort. In the paper, we investigate the impacts of applying program slicing before verification. We consider var...
详细信息
ISBN:
(纸本)9783031646256;9783031646263
Simplifying programs before verification aims to reduce program complexity thus saving the verification effort. In the paper, we investigate the impacts of applying program slicing before verification. We consider various techniques and verifiers for the workflow and adopt benchmarks from the software verification community to evaluate the strengths and issues in adopting slicing techniques for program simplification. The evaluation considers reachability as the property to be verified and checks the consistency of verification results, the improvement of verification efficiency, and the advantages of different toolchains when verifying reachability. The investigation shows that most programs keep consistent verification results after slicing and verifying programs with much code unrelated to the properties becomes faster when slicing is applied before verification. However, it is surprising that verification time for some programs can be significantly longer after slicing. We have investigated the reasons for such phenomenon concerning the features of these programs, and provide insightful conclusions obtained from using the slicing+verification approach.
software-defined networking (SDN) revolutionizes network management by centralizing control, but this centralization also introduces notable vulnerabilities, especially Address Resolution Protocol (ARP) poisoning atta...
详细信息
While automated and intelligent software systems are more and more used in everyday software systems, we must ensure that these systems remain understandable to all involved stakeholders. For this, two disciplines can...
详细信息
ISBN:
(纸本)9783031638022;9783031638039
While automated and intelligent software systems are more and more used in everyday software systems, we must ensure that these systems remain understandable to all involved stakeholders. For this, two disciplines can benefit from each other: Explainability engineering, which integrates explainability into classical software systems engineering methodologies, and eXplainable Artificial Intelligence (XAI), which provides explanations for opaque AI system components. We discuss how to integrate levels of explainability requirements into an approach for run-time explainability as a core explainability engineering topic. For this, local and global explanations must be distinguished. We further on motivate the crucial role of XAI in explainability engineering and discuss challenges for bringing together the disciplines.
In the current landscape, security challenges extend to various domains, such as IoT networking, UAV communication, and VANETs, rendering underlying infrastructures increasingly susceptible to cyber-attacks. The taxon...
详细信息
暂无评论