Микроконтроллеры

Теорема Геделя "о неполноте формальных систем" А ведь Пирамида даже на звание формальной системы "не тянет"... ;-) Соглашения ... При этом необходимо реализовать возможность удаленного чтения и записи параметров в целевом устройстве, причем вся информация о параметрах и методах работы с ними должна храниться исключительно в нем самом.чтобы осмысленно читать параметры, надо заранее что-то о них знать: тип, семантку, и т.п. Тест 1 Соединяем тестируемое оборудование с устройством отображения (удаленным контроллером), реализованным на однокристальном микроконтроллере. Мы должны, двигаясь по иерархической системе меню, откуда берется информация об иерархии?видеть имена переменных и, зная их тип, откуда известен их тип? правильно отображать и редактировать их величины, если они это позволяют. В каждый момент времени мы наблюдаем (и редактируем) только одну переменную. # Этот тест предполагает, что наблюдаемая переменная обязательно имеет следующие атрибуты: идентификатор в каком формате? # названиетекст? в какой кодировке? # тип в каком формате? # собственно значение в каком формате? # окружение по иерархии - предка, потомков и т.д. в каком формате?