AUNTY: A Tool to Automatically Analyze Data Using Fuzzy Automata

摘要

Recent work has shown that fuzzy bounds are an appropriate mechanism to decide the correctness of systems where some of the parameters governing their behavior have a degree of uncertainty. In order to provide a formalism to specify and analyze this type of systems, an extension of finite automata with fuzzy constraints has been introduced. Previous work has provided the theoretical framework and the application methodology. This framework has been used in different areas, in particular, in the analysis of electro cardiograms to detect abnormal patterns of behavior. Although our case studies were fully supported by a dedicated computer program, we missed a tool where the particular features of each system could be easily specified. In this paper we present AUNTY: a tool to AUtomatically aNalyze daTa using fuzzY automata. The tool allows users to graphically represent specifications of behaviors and automatically analyze whether the available data conforms to a specification. Its modular architecture makes the tool suitable to be adapted to a wide range of use cases.