SAFER Framework Overview
Abstract
Complex systems exhibit emergent behavior, often unpredictable from component actions. This article investigates safety assurances for emergent behavior in complex systems, addressing unpredictability by integrating runtime verification and anomaly detection.
Type
Publication
In IEEE Design & Test
Caio Batista de Melo
Assistant Teaching Professor
My research interests include cs education, reliability, and embedded applications.