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