Formalizing incremental design in real-time area: SCTL/MUS-T

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2002, Pages 659-664

  Vilas, Ana Fernández ^a   Arias, José J Pazos ^a   Díaz Redondo, Rebeca P ^a   Martínez, A Belen Barragans ^a  

^a UNIVERSITY OF VIGO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

HARD REAL TIME DESIGN; SOFTWARE DESIGN; TIMING REQUIREMENTS;

REAL TIME SYSTEMS;

EID: 0036389397     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. R. Alur, C. Courcoubetis, and D. Dill. Model Checking in Dense Real-time. Information and Computation, 104(1):2-34, 1993.
2. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: An Introduction. Formal Aspects of Computing, 7(5):533-549, 1995.
3. L. Bolc and P. Borowick. Many-valued Logics. Springer Verlag, 1992.
4. A. Fernández Vilas. Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos. PhD thesis, Depto. de Ingeniería Telemática - Universidad de Vigo, 2002.
5. A. Morzenti and P. San Prietro. Object-Oriented Logic Specifications of Time Critical Systems. ACM TOSEM, 3(1), January 1994.
6. J. J. Pazos Arias and J. García Duque. SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing, 13:50-91, 2001.
7. O. V. Sokolsky and S. A. Smolka. Local Model Checking for Real-Time Systems. In Computer Aided Verification, 7th International Conference (CAV'95), volume 939 of LNCS, pages 211-224. Springer Verlag, July 1995.