Samara University Repository
Welcome!
| Title: | Формальное определение требований и анализ временных ограничений при проектировании систем реального времени |
| Authors: | Дерябкин В. П. Бойко Б. В. |
| Keywords: | управление процессом принятия проектных решений проектирование систем управления временные сети Петри метод конечных автоматов |
| Issue Date: | 1987 |
| Citation: | Дерябкин, В. П. Формальное определение требований и анализ временных ограничений при проектировании систем реального времени / В. П. Дерябкин, Б. В. Бойко // Автоматизация научных исследований : сб. науч. работ / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; редкол.: В. А. Виттих, Б. Я. Советов, А. Н. Ковшов, В. А. Сойфер, О. П. Скобелев, Г. Н. Томников, А. Д. Хахаев, Т. П. Юдина. - Куйбышев : КуАИ, 1987. - С. 126-131. |
| Abstract: | Предлагается метод определения требований к проектируемой системе на основе формальной спецификации, использующей концепцию абстрактных машин. Основывается целесообразность применения сетевых моделей управления процессами с целью анализа временных соотношений, гарантирующих соответствие указанным требованиям. |
| URI: | http://repo.ssau.ru/jspui/handle/123456789/24313 |
| Appears in Collections: | АВТОМАТИЗАЦИЯ НАУЧНЫХ ИССЛЕДОВАНИЙ |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| Стр. 126-131.pdf | 204.72 kB | Adobe PDF | View/Open |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.