Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
PositiveArtificial Intelligence
The article discusses the challenges of ensuring dependability in complex computer-based systems, particularly at run-time where control-flow anomalies may occur. It proposes a methodology for detecting these anomalies through software monitoring, utilizing Large Language Models (LLMs) and conformance checking. This approach aims to enhance traditional verification and validation practices by automating the linking of design-time models with implementation code, thereby improving robustness and trustworthiness in software systems.
— via World Pulse Now AI Editorial System
