Расчет продолжительности
Исчисление длительности ( DC ) — это интервальная логика для систем реального времени . Первоначально он был разработан Чжоу Чаочэнем с помощью Андерса П. Равна и К.А.Р. Хоара в рамках европейского проекта ESPRIT Basic Research Action (BRA) ProCoS по доказуемо корректным системам . [1] [2]
Исчисление длительности в основном полезно на требований уровне процесса разработки программного обеспечения для систем реального времени. Доступны некоторые инструменты (например, DCVALID, [3] ИДЛВАЛИД, [4] и т. д.). Были изучены подмножества исчисления продолжительности (например, с использованием дискретного времени , а не непрерывного времени ). Исчисление продолжительности особенно поддерживается УООН-МИП в Макао и Институтом фундаментальных исследований Тата в Мумбаи , которые являются крупными центрами передового опыта в этом подходе.
См. также
[ редактировать ]- Интервальная темпоральная логика (ITL)
- Временная логика
- Временная логика действий (ТЛА)
- Модальная логика
Ссылки
[ редактировать ]- ^ Чжоу Чаочен , CAR Hoare и Андерс П. Равн , Исчисление длительности, Письма об обработке информации , 40 (5): 269–276, декабрь 1991 г.
- ^ Чжоу Чаочен и Майкл Р. Хансен , Исчисление продолжительности: формальный подход к системам реального времени . Springer-Verlag , Монографии по теоретической информатике, серия EATCS , 2003. ISBN 3-540-40823-1 .
- ^ DCVALID: инструмент для проверки моделей по формулам исчисления продолжительности , TIFR , Индия.
- ^ IDLVALID: проверка модели по формулам расчета продолжительности плотного времени , TIFR, Индия.
Внешние ссылки
[ редактировать ] | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |