Cálculo de duración
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 demostrablemente correctos . [1] [2]
El cálculo de duración es principalmente útil a 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., Utilizando tiempo discreto en lugar de tiempo continuo ). El cálculo de duración está especialmente apoyado 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.
Ver también
Referencias
- ^ Zhou Chaochen , CAR Hoare y Anders P. Ravn , A Calculus of Durations, Information Processing Letters , 40 (5): 269-276, diciembre de 1991.
- ^ Zhou Chaochen y Michael R. Hansen , Cálculo de duración: un enfoque formal a los sistemas en tiempo real . Springer-Verlag , Monografías en informática teórica,Serie EATCS , 2003. ISBN 3-540-40823-1 .
- ^ DCVALID: una herramienta para la comprobación de modelos de fórmulas de cálculo de duración , TIFR , India.
- ^ IDLVALID: Modelo de comprobación de fórmulas de cálculo de duración de tiempo denso , TIFR, India.
enlaces externos
 | Este artículo relacionado con métodos formales es un fragmento . Puedes ayudar a Wikipedia expandiéndolo . |
- Talones de métodos formales
- Introducciones de 1991
- Lenguajes formales de especificación
- Lógica temporal
