A novel type checker for software system specifications in RTPA

Canadian Conference on Electrical and Computer Engineering

Volumn 3, Issue , 2004, Pages 1549-1552

  Tan, Xinming ^a   Wang, Yingxu ^a   Ngolah, Cyprian F ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

ANTLR; Code generation; Formal methods; Parser; RTPA; Software engineering; Type check

Indexed keywords

CODE GENERATION; FORMAL METHODS; PARSER; REAL TIME PROCESS ALGEBRA (RTPA); TYPE CHECK;

ALGEBRA; DATA REDUCTION; INFORMATION ANALYSIS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

SOFTWARE ENGINEERING;

EID: 6944243091     PISSN: 08407789     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCECE.2004.1349702     Document Type: Conference Paper

References (7)

1. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.
2. T. Parr, ANTLR, http://www.antlr.org/. Jan. 2003.
3. X. Tan and Y. Wang, Specification of the RTPA Grammar and Its Recognition, Proc. of the 2004 IEEE International Conference on Cognitive Informatics (ICCI'04), IEEE CS Press, Canada, August, 2004.
4. Y. Wang, The Real-Time Process Algebra (RTPA), The International Journal of Annals of Software Engineering, Vol.14, USA, pp. 235-274, 2002.
5. Y. Wang, Real-Time Process Algebra (RTPA) and Its Applications, in B.K. Aichernig and T. Maibaum eds., Formal Methods at the Cross Roads: From Panacea to Foundational Support, Springer LNCS 2757, Berlin, pp.322-336, 2003.
6. Y. Wang and C.F. Noglah, Formal Specification of a Real-Time Lift Dispatching System, Proc. of the 2002 IEEE Canadian Conference on Electrical and Computer Eng. (CCECE'02), Winnipeg, Canada, May, Vol. 2, pp. 669-674, 2002.
7. J. Zhao and Y. Wang, Design of a Parser for Real-Time Process Algebra (RTPA), Proc. of the 2003 Canadian Conference on Electrical and Computer Engineering (CCECE'03), IEEE CS Press, Montreal, Canada, May, pp. 1259-1262, 2003.