Sep 2026· Sensors· Vol 26, pp. 5571· 28 references
Software System Performance and Reliability
Abstract
Fault diagnosis in distributed systems is challenged by complex service dependencies, cascading anomaly propagation, and similar symptom patterns. This paper proposes a knowledge-enhanced iterative reasoning framework that integrates large language models (LLMs) with a numerical domain knowledge graph (KG). The KG encodes fault–symptom relations, anomaly directions, and training-derived mean and standard-deviation intervals. Structured prompting first generates candidate faults; interval verification then rejects numerically inconsistent candidates. For retained candidates, counterfactual reasoning constructs hierarchical causal chains, KG traversal refines missing or inconsistent links, and a deterministic evidence score supports acceptance, exclusion, early stopping, and fallback across at most five iterations. Under the common 68-case evaluation protocol for eight known single-root-cause faults in the controlled Redis-based testbed, the complete framework achieved 100.00% Accuracy, Macro-F1, and Balanced Accuracy with GPT-4o and GPT-5.2, compared with 91.18% accuracy for KG-only reasoning and 85.29–89.71% for Random Forest, XGBoost, and Transformer baselines. GPT-3.5 reached 98.53%, whereas LLaMA-3.1-8B reached 80.88%, showing that the incremental KG–LLM gain is backbone-dependent. Five GPT-4o repetitions and three GPT-5.2 repetitions yielded 100.00% ± 0.00, and all three metrics remained at 100.00% across the evaluated Z-score thresholds, iteration limits, and interval tolerances. The framework therefore provides highly accurate, stable, and traceable diagnoses within the evaluated Redis-based distributed-service protocol, while providing explicit intermediate reasoning and solution retrieval.
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
Objective There is dearth of information on the timeliness of antenatal care (ANC) uptake. This study aimed to determine the timely ANC uptake by a medically trained provider (MTP) as per the World Health Organization (WHO) recommendations and the country guideline. Methods Cross-sectional survey was done with 2,731 wo...
B. Sarker, Musfikur Rahman, T. Rahman et al.· PLoS ONE· 89 citations· ⚡7