Расчет длительности

Исчисление длительности ( DC ) — это интервальная логика для систем реального времени . Первоначально она была разработана Чжоу Чаочэнем с помощью Андерса П. Равна и К. А. Хоара в рамках проекта ProCoS Европейского базового исследовательского проекта ESPRIT (BRA) по доказуемо корректным системам . ^{[1] [2]}

Исчисление длительности в основном полезно на уровне требований процесса разработки программного обеспечения для систем реального времени. Некоторые инструменты доступны (например, DCVALID, ^[3] IDLVALID, ^[4] и т. д.). Были изучены подмножества исчисления длительности (например, с использованием дискретного времени , а не непрерывного ). Исчисление длительности особенно поддерживается UNU-IIST в Макао и Tata Institute of Fundamental Research в Мумбаи , которые являются основными центрами передового опыта для этого подхода.

Смотрите также

• Интервальная временная логика (ITL)
• Временная логика
• Временная логика действий (ВЛД)
• Модальная логика

Ссылки

1. Чжоу Чаочэнь , К. А. Хоар и Андерс П. Равн , Исчисление длительностей, Information Processing Letters , 40(5):269–276, декабрь 1991 г.
2. Чжоу Чаочэнь и Майкл Р. Хансен, Duration Calculus: A Formal Approach to Real-Time Systems . Springer-Verlag , Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN  3-540-40823-1 .
3. DCVALID: Инструмент для проверки моделей формул исчисления длительности, TIFR , Индия.
4. IDLVALID: Проверка модели с помощью формул расчета длительности плотного времени, TIFR, Индия.

Внешние ссылки

• Расчет длительности — запись в виртуальной библиотеке