This paper proposes a novel approach to program reliability analysis leveraging concepts and techniques from information theory. Traditional program reliability methods often rely on empirical testing and statistical modeling, which can be computationally expensive and may not fully capture the inherent uncertainty and error propagation within a program's execution. We introduce the concept of "program entropy" to quantify the uncertainty and error propagation risk associated with a program's logic. Furthermore, we explore the application of channel coding principles to enhance program robustness against interference and errors during execution. The core mechanism involves framing program execution as an information transmission process, allowing us to apply information-theoretic tools for rigorous analysis. This approach offers a theoretical framework for assessing and improving program reliability beyond the limitations of conventional methods. The key contribution lies in integrating information theory's insights into the traditionally deterministic field of software reliability.
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper presents a novel approach to formally verifying hardware-software co-design using temporal logic. Traditional verification methods often struggle to account for the intricate, time-dependent interactions inherent in these systems. We propose a methodology centered around constructing a formal model of the co-design system utilizing temporal logic, enabling the automated generation of test cases and verification of system properties across time, incorporating timing constraints and inter-domain communication. The core contribution lies in providing a rigorous framework for ensuring correctness within the dynamic complexities of hardware-software co-design. The approach aims to mitigate the risks associated with complex designs by offering a quantifiable and verifiable solution. This work explores the feasibility and potential of temporal logic as a robust tool for ensuring the reliability and functional correctness of modern hardware-software systems.
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper proposes a novel approach to program error detection and repair based on information entropy. Traditional methods for detecting and fixing program errors often rely on static analysis or dynamic testing, which can be limited in their ability to identify and resolve complex errors. This research introduces a framework that leverages the concept of entropy to analyze program control flow and data flow, aiming to provide a more comprehensive and automated solution. The core idea is that changes in entropy, particularly sudden or significant shifts, can indicate the presence of errors. The system utilizes entropy variations as a key metric for error detection and then employs optimization techniques – modifying program execution paths or directly altering code – to repair identified errors. This approach offers a potentially more robust and scalable method for error detection and repair, particularly for complex software systems. The paper details the framework, its underlying mathematical principles, and outlines the potential for future development and application.
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
