English
Related papers

Related papers: Prototype of Fault Adaptive Embedded Software for …

200 papers

This paper studies the fast adaptive beamforming for the multiuser multiple-input single-output downlink. Existing deep learning-based approaches assume that training and testing channels follow the same distribution which causes task…

Information Theory · Computer Science 2021-09-21 Juping Zhang , Yi Yuan , Gan Zheng , Ioannis Krikidis , Kai-Kit Wong

This paper presents a methodology for model based robust fault diagnosis and a methodology for input design to obtain optimal diagnosis of faults. The proposed algorithm is suitable for real time implementation. Issues of robustness are…

Systems and Control · Computer Science 2020-01-16 Dhruv Khandelwal , Siep Weiland , Amol Khalate

The Finite Element Method (FEM) is a widely used technique for simulating crash scenarios with high accuracy and reliability. To reduce the significant computational costs associated with FEM, the Finite Element Method Integrated Networks…

Computational Engineering, Finance, and Science · Computer Science 2024-09-27 Simon Thel , Lars Greve , Maximilian Karl , Patrick van der Smagt

Today's distributed systems operate in complex environments that inevitably involve faults and even adversarial behaviors. Predicting their performance under such environments directly from formal designs remains a longstanding challenge.…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-25 Ziwei Zhou , Si Liu , Zhou Zhou , Peixin Wang , MIn Zhang

This work proposes an agentic, intent-driven end-to-end (E2E) orchestration framework that integrates intent co-creation with a Test-Driven Quality Assurance paradigm. In this framework, autonomous agents iteratively refine a user's initial…

Networking and Internet Architecture · Computer Science 2026-04-28 Christos Tranoris , Besiana Agko , Kostis Trantzas , Irene Denazi

Embedded systems interaction with environment inherently complicates understanding of requirements and their correct implementation. However, product uncertainty is highest during early stages of development. Design verification is an…

Software Engineering · Computer Science 2011-12-20 Hara Gopal Mani Pakala , Dr. Plh Varaprasad , Dr. Raju Kvsvn , Dr. Ibrahim Khan

The increasing integration of automation in vehicles aims to enhance both safety and comfort, but it also introduces new risks, including driver disengagement, reduced situation awareness, and mode confusion. In this work, we propose the…

Human-Computer Interaction · Computer Science 2025-08-15 Anaïs Halin , Christel Devue , Marc Van Droogenbroeck

The idle computers on a local area, campus area, or even wide area network represent a significant computational resource---one that is, however, also unreliable, heterogeneous, and opportunistic. This type of resource has been used…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Adriana Iamnitchi , Ian Foster

Effectively addressing the challenge of industrial Anomaly Detection (AD) necessitates an ample supply of defective samples, a constraint often hindered by their scarcity in industrial contexts. This paper introduces a novel algorithm…

Computer Vision and Pattern Recognition · Computer Science 2024-03-27 Hanxi Li , Zhengxun Zhang , Hao Chen , Lin Wu , Bo Li , Deyin Liu , Mingwen Wang

Large Language Models (LLMs) show promise in generating firmware for embedded systems, but often introduce security flaws and fail to meet real-time performance constraints. This paper proposes a three-phase methodology that combines…

Cryptography and Security · Computer Science 2025-09-15 Seyed Moein Abtahi , Akramul Azim

Agentic LLM frameworks promise autonomous behavior via task decomposition, tool use, and iterative planning, but most deployed systems remain brittle. They lack runtime introspection, cannot diagnose their own failure modes, and do not…

Artificial Intelligence · Computer Science 2025-12-10 Christopher Cruz

We consider a federated learning (FL) system consisting of multiple clients and a server, where the clients aim to collaboratively learn a common decision model from their distributed data. Unlike the conventional FL framework that assumes…

Machine Learning · Computer Science 2023-05-10 Kun Jin , Tongxin Yin , Zhongzhu Chen , Zeyu Sun , Xueru Zhang , Yang Liu , Mingyan Liu

Federated fine-tuning (FedFT) of large language models (LLMs) has emerged as a promising solution for adapting models to distributed data environments while ensuring data privacy. Existing FedFT methods predominantly utilize…

Machine Learning · Computer Science 2025-06-09 Yujia Huo , Jianchun Liu , Hongli Xu , Zhenguo Ma , Shilong Wang , Liusheng Huang

The rise of transient faults in modern hardware requires system designers to consider errors occurring at runtime. Both hardware- and software-based error handling must be deployed to meet application reliability requirements. The level of…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-23 Björn Bönninghoff , Horst Schirmeier

Embedded systems in safety-critical environments are continuously required to deliver more performance and functionality, while expected to provide verified safety guarantees. Nonetheless, platform-wide software verification (required for…

Systems and Control · Computer Science 2017-05-09 Fardin Abdi , Renato Mancuso , Rohan Tabish , Marco Caccamo

In this work we propose an adaptive multilevel version of subset simulation to estimate the probability of rare events for complex physical systems. Given a sequence of nested failure domains of increasing size, the rare event probability…

Numerical Analysis · Mathematics 2023-12-13 Daniel Elfverson , Robert Scheichl , Simon Weissmann , F. Alejandro DiazDelaO

Multi-agent systems powered by large language models (LLMs) are transforming enterprise automation, yet systematic evaluation methodologies for assessing tool-use reliability remain underdeveloped. We introduce a comprehensive diagnostic…

Artificial Intelligence · Computer Science 2026-01-26 Donghao Huang , Gauri Malwe , Zhaoxia Wang

Ensuring software quality in embedded firmware is critical, especially in safety-critical domains where compliance with functional safety standards (ISO 26262) requires strong guarantees of software reliability. While machine learning-based…

Software Engineering · Computer Science 2026-02-09 Marco De Luca , Domenico Amalfitano , Anna Rita Fasolino , Porfirio Tramontana

This chapter provides an overview of state-of-the-art adaptive finite element methods (AFEMs) for the numerical solution of second-order elliptic partial differential equations (PDEs), where the primary focus is on the optimal interplay of…

Numerical Analysis · Mathematics 2024-04-11 Philipp Bringmann , Ani Miraçi , Dirk Praetorius

Self-adaptive systems are capable of adjusting their behavior to cope with the changes in environment and itself. These changes may cause runtime uncertainty, which refers to the system state of failing to achieve appropriate…

Software Engineering · Computer Science 2017-04-11 Zhuoqun Yang , Wei Zhang , Haiyan Zhao , Zhi Jin