Cálculo de duración

El cálculo de duración ( CD ) es una lógica de intervalos para sistemas en tiempo real . Fue desarrollado originalmente por Zhou Chaochen con la ayuda de Anders P. Ravn y CAR Hoare en el proyecto europeo ESPRIT Basic Research Action (BRA) ProCoS sobre sistemas demostrablemente correctos . ^{[ 1 ]}^{[ 2 ]}^{[ 3 ]}

El cálculo de duración resulta útil principalmente en la fase de requisitos del proceso de desarrollo de software para sistemas en tiempo real. Existen diversas herramientas disponibles (por ejemplo, DCVALID, ^{[ 4 ]} IDLVALID, ^{[ 5 ]} etc.). Se han estudiado subconjuntos del cálculo de duración (por ejemplo, utilizando tiempo discreto en lugar de tiempo continuo ). El cálculo de duración es especialmente promovido por la UNU-IIST en Macao y el Instituto Tata de Investigación Fundamental en Bombay , que son importantes centros de excelencia en este enfoque.

Véase también

↑ Zhou Chaochen , CAR Hoare y Anders P. Ravn , Un cálculo de duraciones, Information Processing Letters , 40(5):269–276, diciembre de 1991.
↑ Zhou Chaochen y Michael R. Hansen, 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.
↑ Bowen, Jonathan P. ; Fränzle, Martin; Olderog, Ernst-Rüdiger ; Bjørner, Dines ; Hansen, Michael R.; Langmaack, Hans ; Liu, Zhiming ; Martin, Ursula (17 de marzo de 2026). "Experiencias de los proyectos europeos ProCoS: sistemas demostrablemente correctos" . Aspectos formales de la computación . ACM . doi : 10.1145/3803555 .
↑ DCVALID: Una herramienta para la verificación de modelos de fórmulas de cálculo de duración , TIFR , India.
↑ IDLVALID: Verificación de modelos de fórmulas de cálculo de duración de tiempo denso , TIFR, India.