Процес забезпечення того, щоб кожен поліс так, індивідуальний дійсні. Керування правилами для автономних обчислень, кожен поліс перевіряється щоб переконатися, що синтаксично правильним і що вона посилається лише дійсні датчиків і виконавчих елементів.