El cálculo de duración ( DC ) 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 ProCoS ESPRIT Basic Research Action (BRA) sobre sistemas demostrablemente correctos . [1] [2]
El cálculo de duración es útil principalmente en el nivel de requisitos del proceso de desarrollo de software para sistemas en tiempo real. Hay algunas herramientas disponibles (por ejemplo, DCVALID, [3] IDLVALID, [4] 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 defendido por el UNU-IIST en Macao y el Instituto Tata de Investigación Fundamental en Mumbai , que son importantes centros de excelencia para el enfoque.