Modeling an Anomaly Detection System with SpesML

Abstract

SpesML is an instantiation of the SPES methodology for cyber physical systems using SysML. However, SpesML is still under development and urgently requires evaluation with practical examples. This experience report describes our study of using SpesML for an anomaly detection system. The goals of the case study are to evaluate feasibility, benefits, and shortcomings of both the tool and the methodology iteratively at early stages of the project. The results are already promising with respect to both methodology and tool; however, the work continuously identifies suggestions for adaptations and future work regarding both.