Anonymous ID: a22218 July 31, 2018, 2:12 p.m. No.2375673   🗄️.is 🔗kun

>>2375571

>control law test

It would be a test of rules-based software automation that operates the refuelling mechanism?

 

A Language for Specification of Control Law Tests

MatthewEnglehartJonathanKrueger*

https://www.sciencedirect.com/science/article/pii/S1474667017436238

Abstract

This paper proposes a domain-specific language for specifying tests of control law designs and implementations. The intent of the language is to lead to a formalization of the testing process. Formalization leads in turn to tests that are more comprehensive, more standardized, and more repeatable. In addition, formalization is a prerequisite to the automation of the testing process. The Honeywell toolkit SIFT is described. SIFT is a partial implementation of the language, and automation of the testing process

 

        • -

 

Rules-based software methodology is one way of writing code. PROLOG is an example of a programming language that specifies a set of rules, and the compiler turns them into executable code. Knowledge-based or rules-based systems are often used to convert knowledge from the human domain into something executable in software.

I can see how it might apply in the context of two planes that collaborate to perform a complex in-flight refuelling procedure. At some point you have to test it in the air with actual hardware.