In Cyber-Physical Systems (CPS), concurrently executing software components interact with each other and the physical environment to deliver functionality that is often safety-critical and time-sensitive. Verifying th...
详细信息
ISBN:
(数字)9783031660641
ISBN:
(纸本)9783031660634;9783031660641
In Cyber-Physical Systems (CPS), concurrently executing software components interact with each other and the physical environment to deliver functionality that is often safety-critical and time-sensitive. Verifying the correctness of the joint behavior of concurrent software components, however, is challenging. It is helpful to eliminate nondeterminism in the software, at the level of the programming model, and provide first-class programming constructs for expressing timed behavior. The Lingua Franca (LF) coordination language achieves this through the use of the Reactor model as its underlying model of computation. In this paper, we present the first formal operational semantics for the Reactor model, and prove its key properties of progress and determinism. The Reactor model and its associated proofs are fully mechanized in the Lean theorem prover. As an operational model, our semantics are close to the intuition for implementation and a helpful reference. The computational objects of the Reactor model are formalized in a modular fashion, which provides insights into the different structural properties of the model, and their effect on execution behavior.
The increasing number of authors and consequent publications in computerscience can cause some pitfalls, such as understanding the use and fairness of quality indicators for assessing research. In this preliminary wo...
详细信息
ISBN:
(纸本)9783031438486;9783031438493
The increasing number of authors and consequent publications in computerscience can cause some pitfalls, such as understanding the use and fairness of quality indicators for assessing research. In this preliminary work, we aim to examine whether there is a correlation between the citation count and the number of authors contributing to a paper as well as their academic ages. Additionally, we shed light on highly cited papers and compare their authors. For this purpose, we investigate authors' characteristics by conducting data analyses based on a dataset of four prestigious software-engineering-related conferences comprising 5,143 papers and their authors. Our results indicate that the number of authors does not connect to the citation count, but the current academic age of the authors does. We also found that 98% of the highly cited main-track papers had a contribution from at least one senior researcher, whereas none of these papers was written by a junior researcher alone. These first results are a step towards more in-depth research concerning the fair evaluation of computer-science researchers-specifically regarding juniors and their inclusion.
With the rise of network cameras, the authenticity of video data they capture has become a common challenge in forensic science and expertise. There are many camera manufacturers and brands available, and videos from ...
详细信息
Digital transformation in manufacturing necessitates the integration of advanced fields such as robotics, the Internet of Things (IoT), and data science. The latter two, in particular, introduce a unique set of challe...
详细信息
Digital transformation in manufacturing necessitates the integration of advanced fields such as robotics, the Internet of Things (IoT), and data science. The latter two, in particular, introduce a unique set of challenges related to data acquisition and processing, especially for emerging manufacturing sectors that lack substantial data volumes for analytical software. This paper specifically addresses the challenges associated with limited data within the context of precision poultry farming. We begin by identifying the specific challenges encountered during the development of a smart poultry management software system. Subsequently, we propose potential solutions for each identified challenge. The outcome of this study is a comprehensive algorithm for data processing that encapsulates these proposed solutions, offering a practical approach to overcoming data limitations in precision poultry farming.
Decompilation, which aims to lift a binary to a high-level language such as C, is one of the most common approaches software security analysts use for analyzing binary code. Recovering decompiled code with high readab...
详细信息
ISBN:
(纸本)9798350395693;9798350395686
Decompilation, which aims to lift a binary to a high-level language such as C, is one of the most common approaches software security analysts use for analyzing binary code. Recovering decompiled code with high readability is essential, as humans must understand the code's functionality correctly. However, some compilation optimization strategies will introduce obfuscation into the binary code, thereby reducing the readability of decompiled code. Among them, the function inlining related optimization strategies combine functions, causing the original function's code volume and complexity to multiply. Especially with self-recursive inlining optimization, it transforms initially simple functions into ones with significantly increased code volume and complex logic, greatly hindering the understanding of security engineers. In this paper, we present ERASE, the first approach to reverse the self-recursive inlining optimization technique. We compare ERASE with state-of-the-art decompilers Ghidra and Hex-Rays to evaluate ERASE's improvement for the functions affected by self-recursive inlining. Experimental results show that ERASE's output is 78.4% and 88.9% more compact (fewer lines of code) than Ghidra and Hex-Rays, respectively. Moreover, reverse engineers spend 88.5% less time analyzing ERASE's output than analyzing Ghidra and 90.4% less time than analyzing Hex-Rays, and the accuracy of analyzing ERASE's output is 2.75 times higher than both Ghidra and Hex-Rays.
A major challenge in daily automotive use is the high incidence of car accidents, primarily attributed to human errors. This paper introduces Brain-Brake, an innovative brain-operated advanced driver-assistance system...
详细信息
ISBN:
(纸本)9798331530143
A major challenge in daily automotive use is the high incidence of car accidents, primarily attributed to human errors. This paper introduces Brain-Brake, an innovative brain-operated advanced driver-assistance system (ADAS) designed for collision avoidance. Utilizing electroencephalography (EEG) signals, Brain-Brake detects a driver's braking intention faster than traditional methods, addressing critical reaction time delays. It integrates a computer vision module that measures the proximity of objects to the vehicle, complementing the EEG-based intention detection for enhanced reliability. Implemented on embedded chips using the AUTOSAR framework, preliminary results indicate a significant reduction in reaction times during emergency braking scenarios, highlighting the system's potential to enhance road safety significantly.
Phishing emails, a type of cyberattack using fake emails, are difficult to recognize due to sophisticated techniques employed by attackers. In this paper, we use a natural language processing (NLP) and machine learnin...
详细信息
In the ever-shifting landscape of softwareengineering, continuous adaptation is essential for maintaining system dependability. software iterations often introduce new challenges, such as unexpected bugs and performa...
详细信息
This examine affords an empirical method to seabed photo class through the software of categorized systems getting to know techniques. The studies leverage a dataset of categorized seabed photos to teach and examine d...
详细信息
Team formation is a crucial factor in any team's success in football. A player's performance varies on the position that they are playing at. To tap into the maximum potential of a player, finding t he appropr...
详细信息
暂无评论