System Analysis Method Using Composition and Minimization

Abstract

Since many man-made systems consist of autonomous and interactive components, it is intrinsically difficult to analyze their abnormal behavior. The logical analysis of such a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method using two algebraic operations, named composition and minimization. Repetitive composition and minimization of component models with respect to a set of important events produces a new analysis model that has the same input output responses to an environment. An analysis example of the alternating bit protocol demonstrates the effectiveness of the proposed method showing that each message generated at the sender side eventually arrives to a receiver.키워드 : 시스템 분석, 시스템 합성, 이산사건 시스템, 모델 검증

A New Distributed Log Anomaly Detection Method based on Message Middleware and ATT-GRU

“…Using Logstash to consume and read log data from the Kafka cluster at the stage of log data reception and storage. Logstash is an open source data collection engine [15] with realtime pipeline function. In Logstash, you can use Filter to configure log stream filtering, and output the log to a specified location for storage after normalization.…”

“…The accuracy rate (Precision), recall rate (Recall) and comprehensive evaluation index (F1-Measure) are used to evaluate the detection effect of the model [26]. The formulas are as follows ( 13)- (15).…”