A Real Time Expert System: Adapting Match Algorithms and Implementing a Tailored Rule Language
Author
Challand, Yanik Kim
Term
4. term
Education
Publication year
2011
Pages
40
Abstract
Dette projekt undersøger, om regelbaserede ekspertsystemer kan bruges i sikkerhedskritiske sammenhænge med hårde realtidskrav, hvor det ikke er acceptabelt at overskride tidsfrister. Vi har designet og implementeret en prototype af et hårdt realtids-ekspertsystem med tre dele: en tidsforudsigelig matching-algoritme udviklet til projektet, et regelsprog der gør systemets begrænsninger tydelige for dem, der skriver reglerne, og en komponent der udfører handlingerne for de regler, som algoritmen vælger. Systemet er udviklet til SCJ2, en sikkerhedskritisk Java-profil, og ledsages af værktøjet SARTS, der er tænkt til at levere analyser for udviklere, der bruger systemet. Resultaterne viser, at sådanne systemer er mulige at bygge, men ikke praktisk anvendelige i almindelig udvikling, fordi det valgte analyseværktøj ikke skalerer tilstrækkeligt.
This thesis investigates whether rule-based expert systems can be used in safety-critical settings that require hard real-time guarantees, where missing a deadline is unacceptable. We designed and implemented a prototype hard real-time expert system with three parts: a time-predictable matching algorithm built for this project, a rule language that makes the system’s limitations clear to the rule authors, and an execution component that carries out the actions of the rules selected by the algorithm. The system targets SCJ2, a safety-critical profile for Java, and is accompanied by the SARTS tool, intended to provide analysis for developers using the system. Our results indicate that building such a system is feasible, but it is not practical for real-world development because the chosen analysis tool does not scale well.
[This abstract was generated with the help of AI]
Documents