Отрывок: Временная логика программ рассматривает время как по­ следовательность упорядоченных состояний, под которыми понимается совокупность значений программного счетчика и значений программных переменных. Попытка ввести метрическое время в формально-логический язы к приводит к чрезмерной сложности и практической нереализуемости процедур анализа логических выражений. Поведение маши...
Название : Формальное определение требований и анализ временных ограничений при проектировании систем реального времени
Авторы/Редакторы : Дерябкин В. П.
Бойко Б. В.
Дата публикации : 1987
Библиографическое описание : Дерябкин, В. П. Формальное определение требований и анализ временных ограничений при проектировании систем реального времени / В. П. Дерябкин, Б. В. Бойко // Автоматизация научных исследований : сб. науч. работ / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; редкол.: В. А. Виттих, Б. Я. Советов, А. Н. Ковшов, В. А. Сойфер, О. П. Скобелев, Г. Н. Томников, А. Д. Хахаев, Т. П. Юдина. - Куйбышев : КуАИ, 1987. - С. 126-131.
Аннотация : Предлагается метод определения требований к проектируемой системе на основе формальной спецификации, использующей концепцию абстрактных машин. Основывается целесообразность применения сетевых моделей управления процессами с целью анализа временных соотношений, гарантирующих соответствие указанным требованиям.
Другие идентификаторы : RU\НТБ СГАУ\459657
Ключевые слова: управление процессом принятия проектных решений
проектирование систем управления
временные сети Петри
метод конечных автоматов
Располагается в коллекциях: АВТОМАТИЗАЦИЯ НАУЧНЫХ ИССЛЕДОВАНИЙ

Файлы этого ресурса:
Файл Размер Формат  
Стр. 126-131.pdf204.72 kBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.