Formal specification of a real-time lift dispatching system

Canadian Conference on Electrical and Computer Engineering

Volumn 2, Issue , 2002, Pages 669-674

  Wang, Yingxu ^a   Ngolah, Foinjong C ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Lift dispatching system; RTPA; Software engineering; System architecture specification; System behavior specification

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; FORMAL LOGIC; LIFT; SOFTWARE ENGINEERING; STORAGE ALLOCATION (COMPUTER);

FORMAL SPECIFICATIONS;

REAL TIME SYSTEMS;

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

References (13)

1. New approach in the development of elevator group control algorithms
2. An intelligent real-time lift scheduling system
3. Applying formal specifications to software development in industry
4. The real-time process algebra (RTPA)
5. RTPA: A new approach to real-time system specification
6. Mathematical foundations of software engineering
7. Formal description of the UML architecture and extendibility
8. Design and implementation of a web-based distributed control system
9. Case studies on translation of RTPA specifications into Java programs