Структура текстового документа «Логика…»

Разработка сложного технического объекта начинается с создания Заказчиком общего технического задания (ТЗ) на разработку объекта и ТЗ на разработку основных бортовых систем. Данные тексты содержат описания назначения объекта, условий его применения и требуемой эффективности функционирования, описания состава и основных функций экипажа и бортовых систем. Эффективность и множество требуемых функциональных свойств задаются как количественно, так и качественно. Одним из текстов, порождаемых на этом этапе, является текст «Логика…», описывающий логику работы системы «оператор (экипаж) — бортовая аппаратура». Назначение «Логики…»:

разработать функциональные спецификации последовательностей бортовых алгоритмов и алгоритмов деятельности экипажа (АДЭ);

определить состав информации (протоколы информационного обмена), передаваемой между бортовыми компьютерами, а также между бортовыми компьютерами и бортовыми измерительными и исполнительными устройствами.

Этап проектирования спецификаций алгоритмов системообразующего ядра антропоцентрической системы завершается разработкой схемы бортовых алгоритмов, которая представляет собой последовательность алгоритмов, упорядоченную причинно-следственными связями (рис. 1).

Рис. 1. Схема бортовых алгоритмов

Следует отметить, что спецификации БЦВМ — алгоритмов и АДЭ представляют собой завершенные связанные цепочки, и текст «Логика…» является полным и информационно целостным, если для каждого алгоритма можно проследить состав всей цепочки.

Информационная модель алгоритма включает:

описание входного информационного потока (типы информационных сигналов или семантическое описание информационного потока с указанием источника информации — конкретный алгоритм, конкретное измерительное устройство);

описание процессов преобразования входных данных в выходные (допустимый способ разрешения проблемы);

описание выходного информационного потока (типы информационных сигналов или семантическое описание информационного потока с указанием точки приема информации).

Как правило, в силу различных причин в «Логике…» не удается полностью эксплицировать всю необходимую информацию. В реальной практике в тексте «Логика…» решаются две задачи:

структурирование процесса функционирования сложного объекта через сеть типовых ситуаций и проблемных субситуаций (ПрС/С) в каждой из них;

представление описаний каждой ПрС/С через полное множество обобщенных алгоритмов и бортовых алгоритмов.