POL´IMON은 시스템 구성 요소에서 보내는 시간 표시된 메시지를 입력으로 받습니다. 이 메시지는 시스템 이벤트를 설명하며, 순서 없이 수신될 수 있습니다. POL´IMON은 즉시 수신된 메시지를 처리하고, 사양 위반 여부에 대한 판단을 신속하게 출력합니다.
POL´IMON의 사양 언어는 MTL(실시간 논리) 또는 프리즈 양화사가 확장된 MTL↓입니다. 프리즈 양화사를 통해 이벤트의 데이터 값을 논리 변수에 바인딩할 수 있습니다. POL´IMON의 핵심은 지식 격차가 있는 상황에서도 판단의 건전성과 완전성을 보장하는 3값 의미론에 기반한 모니터링 접근 방식입니다.
POL´IMON은 수신된 메시지를 즉시 처리하며, 이를 위해 메시지 수신, 해석, 타임라인 결정, 모니터링, 출력의 파이프라인 구조를 사용합니다. 핵심 데이터 구조는 시간, 공식 구조, 데이터 차원을 따라 구성된 비순환 그래프입니다. 이 그래프는 수신된 각 이벤트에 대해 점진적으로 정제됩니다.
POL´IMON은 이전 버전에 비해 크게 성능이 향상되었습니다. 다양한 알고리즘 개선과 다중 CPU 코어 활용을 통해 속도가 5-10배 빨라졌습니다. 또한 모니터 상태의 내보내기와 가져오기 기능을 지원하여 모니터 마이그레이션을 가능하게 했습니다.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Felix Klaedt... lúc arxiv.org 04-25-2024
https://arxiv.org/pdf/2404.15723.pdfYêu cầu sâu hơn