Formal Description of a Real-Time Operating System using RTPA

Canadian Conference on Electrical and Computer Engineering

Volumn 2, Issue , 2003, Pages 1247-1250

  Wang, Yingxu ^a   Ngolah, Cyprian F ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Formal description; Real time systems; RTOS; RTPA; Software engineering

Indexed keywords

COMPUTER OPERATING SYSTEMS; MULTITASKING; SOFTWARE ENGINEERING;

REAL-TIME OPERATING SYSTEMS;

REAL TIME SYSTEMS;

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

References (9)

1. Laplante, P.A. (1977), Real-Time Systems Design and Analysis, 2nd Edition, IEEE Press.
2. nd ed., R&D Books, Gilroy, CA, December.
3. http://www.tron.org/index-e.html
4. http://users/evitech.fi/̃tk/rtos/state.pdf
5. Liu, J. (2000), Real-time Systems, Prentice Hall, Upper Saddle River, NJ.
6. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), Annals of Software Engineering: An International Journal, Vol.14, Kluwer Academic Publishers, pp. 235-274.
7. nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QBSSE'02), April, Banff, AB, Canada, pp. 1-6.
8. Wang, Y. (2002), A New Approach to Real-Time Systems Specification, Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, MB, Canada, May, Vol. 2, pp. 663-668.
9. Wang, Y. and F.C. Ngolah (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, MB, Canada, Vol. 2, pp. 669-674.