Formal Description of an ATM System by RTPA

Canadian Conference on Electrical and Computer Engineering

Volumn 2, Issue , 2003, Pages 1255-1258

  Wang, Yingxu ^a   Zhang, Yanan ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

ATM; Distributed systems; Formal methods; Real time systems; RTPA

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS;

AUTOMATED TELLER MACHINES (ATM);

REAL TIME SYSTEMS;

EID: 0141650775     PISSN: 08407789     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Laplante, P.A. (1977), Real-Time Systems Design and Analysis, 2nd Edition, IEEE Press.
2. Tan, X. and Y. Wang (2003), Specification of Abstract Data Types by RTPA, Proceedings of the 2003 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'03), Montreal, Canada, May.
3. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering: An International Journal, Vol.14, USA, Oct, pp. 235-274.
4. Wang, Y. (2002), A New Approach to Real-Time System Specification, Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, May, Vol.2, pp.663-668.
5. Wang, Y. and N.C. Foinjong (2002), Formal Specification of a Real-Time Lift Dispatching System, Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, May, Vol.2, pp.669-674.
6. Wang, Y. (2003), Software Engineering Foundations: A Multidisciplinary Perspective, CRC Press, USA, to appear.
7. Wang, Y. and N.C. Foinjong (2003), Formal Specification of Real-Time Operating Systems using RTPA, Proceedings of the 2003 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'03), Montreal, Canada, May.