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

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



Аннотация

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


Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика