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

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



Аннотация

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




Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2018 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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