Научно-исследовательская работа на кафедре сапр спбгэту «лэти»

Задачи автоматизации проектирования

Проблема	Методы	Задачи
Создание проекта, который не противоречит функциональной спецификации	Синтез	Представление пространственно-временных характеристик проекта; Представление спецификаций; Автоматизированное доказательство теорем: определение логики, определение правил логического вывода.
	Анализ

Если традиционное обслуживание ОО заключалось в автономном тестировании, то идея службы сопровождения связана с одновременным функционированием основных и сервисных подсистем при условии, что сопровождение не мешает основному режиму. Сопровождение базируется на информационной базе, накопленной на всех стадиях жизненного цикла ОО и единой инструментальной системе управления базой.
В обобщенном виде взаимосвязь СПС, ОО и пользователей представлена на рис. 13.
Внешним миром для СПС является:
<Внешний мир> ::= <Пользователь>, <ОО>.
<Пользователь> ::= <Наладчик>, <Диагност>, <Администратор>, <Оператор>, <Аналитик>, <Разработчик>.
<Наладчик> – группа пользователей, связанная с отладкой и пуском ОО в эксплуатацию.
<Диагност> – группа пользователей, связанная с обеспечением работоспособности ОО.
<Администратор> – группа пользователей, связанная с сопровождением системного программного обеспечения.
<Оператор> – группа пользователей, связанная с подготовкой и сопровождением прикладного программного обеспечения.
<Аналитик> – группа пользователей, связанная с решением о развитии, модернизации, разрушении ОО.
<Разработчик> – группа пользователей, связанная с моделированием и проектированием ОО.

Рис. 13. Схема взаимодействия сервисной подсистемы обслуживающего персонала
и высокопроизводительной VI-среды
<ОО> ::= <Программное обеспечение>, <Микропрограммное обеспечение>, <Аппаратное обеспечение>, <Интеллектуальное обеспечение>.
<СПС> ::= <Интерфейсная подсистема>, <Цели>, <Подсистема обработки>, <Планы>, <База знаний>, <База данных>.
<Интерфейсная подсистема> ::= <Диалог «запрос-ответ» с пользователем>, <Сканер первичных компьюметрических и диагностических данных>.
<Подсистема обработки> ::= <Процессор логических выводов>.
<Цели> ::= <Идентификация групп целевых ресурсов>.
<Планы> ::= <Правила построения ветвей дерева достижимости группы целевых ресурсов>.
<База знаний> ::= <Планы>, <Правила связи симптомов дефектов и сервисных действий>, <Цели>.
<База данных> ::= <Функционально-полное множество тестов>, <Реляционная база симптомов дефектов>.
Типовые режимы работы СПС определяются следующей формулой:
<Режим работы СПС> ::= <Проектирование>, <Наладка>, <Принятие решения>, <Проблемная ориентация>, <Поиск дефектов и функциональный контроль>.