장작불

규칙 기반 시스템은 런타임 검증(RV)/프로그램 모니터링에 자연스러운 것처럼 보입니다. 사양 표기법의 관점에서 규칙 기반 시스템은 런타임 검증 커뮤니티가 일반적으로 작성하는 속성의 종류를 표현하는 데 매우 적합합니다. 룰 시스템으로 작성된 명세는 운용상의 풍미를 가지고 있으며, 이는 관점에 따라 단점으로 볼 수도 있고 장점으로 볼 수도 있다. 작동 방식은 선언적 시간 논리나 정규식보다 사양을 더 길게 만듭니다. 그러나 그들은 쓰는 것이 자연스럽습니다. 핵심 아이디어가 숙달되면 프로그래밍과 같이 규칙을 작성하는 것이 간단합니다. 더 많은 선언적 사양은 올바르게 하기가 더 까다로울 수 있습니다. 이 관찰은 중요하지 않은 속성을 시간 논리 공식이나 정규식보다 상태 머신으로 공식화하는 것이 더 쉬울 수 있다는 관찰과 유사합니다.

JPL의 로버와 우주선은 작동할 때 원격 측정 스트림을 생성합니다. 원격 측정 스트림은 기본적으로 영구 메모리에 로그로 지상에 저장되는 일련의 이벤트입니다. 임무 작업은 이러한 로그가 올바른지 자동 확인을 생성해야 합니다. LogFire는 이러한 로그를 확인하는 데 사용할 수 있습니다. 예를 들어 LogFire를 사용하면 운영 엔지니어가 로버가 올바른 단계를 수행하는지 자동으로 확인할 수 있습니다.

LogFire는 로그 파일을 읽고 공식 사양과 대조하여 확인합니다. 사양은 규칙 기반 언어로 공식화될 수 있습니다. 규칙 기반 사양 언어는 Scala 프로그래밍 언어에서 API로 구현됩니다. 이는 규칙과 기존 프로그래밍을 혼합할 수 있기 때문에 매우 강력한 사양 언어가 됩니다.

Scala에서 API로서의 규칙 기반 언어의 정의는 이러한 (내부) DSL의 정의에 대한 Scala의 지원으로 인해 DSL(Domain-Specific Language)처럼 보입니다. 잘 알려진 RETE 알고리즘을 기반으로 하는 규칙 엔진은 규칙 엔진이 일반적으로 작동하는 오래 지속되는 사실과 대조적으로 순간적인 이벤트 개념으로 추가되었습니다. 마지막으로 인덱싱 방법은 데이터를 전달하는 이벤트를 처리하도록 엔진을 최적화했습니다.

또한 LogFire를 사용하면 사양 패턴을 쉽게 인코딩하여 규칙을 생성할 수 있습니다. 사양 패턴을 시간적 논리와 타임라인의 단편으로 정의하는 것은 비교적 간단합니다. 흥미로운 뉘앙스는 이러한 템플릿이 데이터 매개변수화된 이벤트를 허용한다는 것입니다. 결과 구현을 6개의 다른 런타임 검증 및 규칙 기반 시스템과 비교하는 실험이 수행되었습니다.

NASA는 이 소프트웨어에 대한 라이선스를 무료로 제공하고 오픈 소스 프로젝트에 일반적으로 사용할 수 있도록 하려고 합니다. 이 이메일 주소는 스팸봇으로부터 보호됩니다. 이를 보려면 JavaScript를 활성화해야 합니다. 라이선스 논의를 시작하려면 202-358-7432로 전화해 주십시오.