DOI: 10.17587/prin.16.395-403

CLIPS-based Expert System Integration into a POSIX-Compliant Real-Time Operating System

K. A. Kostiukhin, Senior Researcher, kost@niisi.ras.ru, A. A. Sergeychik, Specialist, frolova-a@niisi.ras.ru, Scientific Research Institute for System Analysis of the National Research Centre "Kurchatov Institute", Moscow, 117218, Russian Federation

Corresponding author: Konstantin A. Kostiukhin, Senior Researcher, Scientific Research Institute for System Analysis of the National Research Centre "Kurchatov Institute", Moscow, 117218, Russian Federation E-mail: kost@niisi.ras.ru

Modern embedded systems, such as industrial controllers, medical devices, or autonomous robots, require the integration of artificial intelligence algorithms with guaranteed response times. Expert systems, capable of processing externally received information in the form of facts through predefined rules and making decisions based on them, are becoming critical components of such systems. However, most expert systems are designed for general-purpose environments and are not optimized for operation in real-time operating systems (RTOS). The CLIPS (C Language Integrated Production System) stands out among its counterparts due to its minimalist architecture, open-source nature, and capability for deep integration with the C language. These features make CLIPS a preferred choice for RTOS, where predictability and efficient resource management are critical. This article describes the methodology proposed by the authors for integrating CLIPS into POSIX-compatible RTOS, addressing key compatibility challenges:

1. Dynamic memory management and fragmentation.
2. Single-threaded Rete-based engine.
3. Unpredictable rule execution time.
4. Lack of integration with the RTOS task scheduler.

Keywords: RTOS, POSIX, expert system, CLIPS

pp. 395—403

For citation:
Kostiukhin K. A., Sergeychik A. A. CLIPS-based Expert System Integration into a POSIX-Compliant Real-Time Operating System, Programmnaya Ingeneria, 2025, vol. 16, no. 8, pp. 395—403. DOI: 10.17587/ prin.16.395-403. (in Russian).

This study was conducted as part of a research project FNEF-2024-0001 for the Scientific Research Institute for System Analysis of the National Research Centre "Kurchatov Institute".

References:

1. Forgy C. Rete: A Fast Algorithm for the Many Patterns/ Many Objects Match Problem, Artificial Intelligence, 1982, vol. 19, is. 1, pp. 17—37. DOI: 10.1016/0004-3702(82)90020-0.
2. Liu J. Real-Time Systems, Prentice Hall, 2000, 610 p.
3. Barabanov M. Introducing Real-Time Linux, Linux Journal, 1997. February, available at: https://www.linuxjournal.com/article/232 (date of access 14.04.2025)