El cálculo de duración ( DC ) es una lógica de intervalo 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 comprobablemente correctos . [1] [2]
El cálculo de duración es principalmente útil en el nivel de requisitos del proceso de desarrollo de software para sistemas en tiempo real. Algunas herramientas están disponibles (por ejemplo, DCVALID, [3] IDLVALID, [4] etc.). Se han estudiado subconjuntos de cálculo de duración (p. ej., usando tiempo discreto en lugar de tiempo continuo ). El cálculo de la duración es adoptado especialmente por UNU-IIST en Macao y el Instituto Tata de Investigación Fundamental en Mumbai , que son los principales centros de excelencia para el enfoque.