Inferring Message Flows From System Communication Traces

• URL: http://arxiv.org/abs/2405.12426v1
• Date: Tue, 21 May 2024 00:34:35 GMT
• Title: Inferring Message Flows From System Communication Traces
• Abstract summary: This paper proposes a method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design. The proposed method relieves the burden of manual development and maintenance of such specifications on human designers. The effectiveness of the proposed method is evaluated on both synthetic traces and traces generated from executing several system models in GEM5.
• Score: 5.159745269633967
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper proposes a novel method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design that captures messages exchanged among the components during a system execution. The inferred message flows characterize the communication and coordination of components in a system design for realizing various system functions, and they are essential for SoC validation and debugging. The proposed method relieves the burden of manual development and maintenance of such specifications on human designers. Our method also uses a new accuracy metric, \emph{acceptance ratio}, to evaluate the quality of the mined specifications instead of the specification size often used in the previous work, enabling more accurate specifications to be mined. Furthermore, this paper introduces the concept of essential causalities to enhance the accuracy of the message flow mining and accelerate the mining process. The effectiveness of the proposed method is evaluated on both synthetic traces and traces generated from executing several system models in GEM5. In both cases, the proposed method achieves superior accuracies compared to a previous approach. Additionally, this paper includes some practical use cases.

Related papers

• AutoFlows++: Hierarchical Message Flow Mining for System on Chip Designs [6.0174402828965725]
  AutoFlows++ is a design-architecture-guided hierarchical framework for mining message flows from communication traces of complex designs.<n>Results show that AutoFlows++ significantly improves flow extraction accuracy compared with prior approaches.
  arXiv  Detail & Related papers  (2026-04-12T15:44:43Z)
• Offline Handwritten Signature Verification Using a Stream-Based Approach [7.18805896964466]
  Signature verification systems distinguish between genuine and forged signatures. Traditional HSV development involves a static batch configuration. We propose a novel HSV approach with an adaptive system that receives an infinite sequence of signatures and is updated over time.
  arXiv  Detail & Related papers  (2024-11-10T16:16:06Z)
• Building the Self-Improvement Loop: Error Detection and Correction in Goal-Oriented Semantic Communications [2.677520298504178]
  semantic communication (SemCom) focuses on transmitting meaning rather than symbols, leading to significant improvements in communication efficiency. Despite these advantages, semantic errors -- stemming from discrepancies between transmitted and received meanings -- present a major challenge to system reliability. This paper proposes a comprehensive framework for detecting and correcting semantic errors in SemCom systems.
  arXiv  Detail & Related papers  (2024-11-03T12:29:23Z)
• Reasoning with the Theory of Mind for Pragmatic Semantic Communication [62.87895431431273]
  A pragmatic semantic communication framework is proposed in this paper. It enables effective goal-oriented information sharing between two-intelligent agents. Numerical evaluations demonstrate the framework's ability to achieve efficient communication with a reduced amount of bits.
  arXiv  Detail & Related papers  (2023-11-30T03:36:19Z)
• Cognitive Semantic Communication Systems Driven by Knowledge Graph: Principle, Implementation, and Performance Evaluation [74.38561925376996]
  Two cognitive semantic communication frameworks are proposed for the single-user and multiple-user communication scenarios. An effective semantic correction algorithm is proposed by mining the inference rule from the knowledge graph. For the multi-user cognitive semantic communication system, a message recovery algorithm is proposed to distinguish messages of different users.
  arXiv  Detail & Related papers  (2023-03-15T12:01:43Z)
• Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent Semantic Communications [71.63189900803623]
  A novel emergent SC system framework is proposed and is composed of a signaling game for emergent language design and a neuro-symbolic (NeSy) artificial intelligence (AI) approach for causal reasoning. The ESC system is designed to enhance the novel metrics of semantic information, reliability, distortion and similarity.
  arXiv  Detail & Related papers  (2022-10-21T15:33:37Z)
• Mining SoC Message Flows with Attention Model [5.233797258148846]
  We propose a disruptive method that utilizes deep sequence modeling with the attention mechanism to infer accurate flow specifications from system-on-chip (SoC) communication traces. We conduct experiments on five highly concurrent traces and find that the proposed approach outperforms several existing state-of-the-art trace mining tools.
  arXiv  Detail & Related papers  (2022-09-12T22:27:24Z)
• Design Methodology for Deep Out-of-Distribution Detectors in Real-Time Cyber-Physical Systems [5.233831361879669]
  An out-of-distribution (OOD) detector can run in parallel with an ML model and flag inputs that could lead to undesirable outcomes. This study proposes a design methodology to tune deep OOD detectors to meet the accuracy and response time requirements of embedded applications.
  arXiv  Detail & Related papers  (2022-07-29T14:06:27Z)
• Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
  We propose a semantic protocol model (SPM) constructed by transforming an NPM into an interpretable symbolic graph written in the probabilistic logic programming language (ProbLog) By leveraging its interpretability and memory-efficiency, we demonstrate several applications such as SPM reconfiguration for collision-avoidance.
  arXiv  Detail & Related papers  (2022-07-08T14:19:36Z)
• Task-Oriented Sensing, Computation, and Communication Integration for Multi-Device Edge AI [108.08079323459822]
  This paper studies a new multi-intelligent edge artificial-latency (AI) system, which jointly exploits the AI model split inference and integrated sensing and communication (ISAC) We measure the inference accuracy by adopting an approximate but tractable metric, namely discriminant gain.
  arXiv  Detail & Related papers  (2022-07-03T06:57:07Z)
• LoRD-Net: Unfolded Deep Detection Network with Low-Resolution Receivers [104.01415343139901]
  We propose a deep detector entitled LoRD-Net for recovering information symbols from one-bit measurements. LoRD-Net has a task-based architecture dedicated to recovering the underlying signal of interest. We evaluate the proposed receiver architecture for one-bit signal recovery in wireless communications.
  arXiv  Detail & Related papers  (2021-02-05T04:26:05Z)
• Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs [6.050748152029478]
  We develop a specification mining approach that automatically extracts sequential patterns from transaction-level traces. The proposed approach is capable of extracting various patterns on system-level specifications from the highly concurrent execution traces.
  arXiv  Detail & Related papers  (2020-04-29T17:52:53Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.