ВЫЧИСЛЕНИЕ ВРЕМЕННЫХ ХАРАКТЕРИСТИК ОБЪЕКТНО-СОБЫТИЙНЫХ МОДЕЛЕЙ ВСТРОЕННЫХ СИСТЕМ

Платунов Алексей Евгеньевич, Лукичев Александр Николаевич

2008 , ТОМ 08, НОМЕР 1 ( апрель )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

ВЫЧИСЛЕНИЕ ВРЕМЕННЫХ ХАРАКТЕРИСТИК ОБЪЕКТНО-СОБЫТИЙНЫХ МОДЕЛЕЙ ВСТРОЕННЫХ СИСТЕМ

Платунов А.Е., Лукичев А.Н.

Аннотация

Предложен способ вычисления временных характеристик объектно-событийных моделей встроенных систем на основе свойств полного частично упорядоченного множества атрибутов компонент модели и теоремы Кнастера-Тарского о неподвижной точке. Предложенный способ учитывает иерархичность моделей, допускает произвольные функции вычисления атрибутов отдельных компонент и использование обратной связи в модели. Результаты работы положены в основу реализации прототипа САПР системного уровня.

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License