Performance Assessment in Real-Time Reactive Systems

Proceedings of the IASTED International Conference on Software Engineering and Applications

Volumn 7, Issue , 2003, Pages 714-722

  Alagar, V S ^a   Liu, Shi Hui ^a   Ormandjieva, O ^a   Shen, Jian ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Measurement; Performance specification; Reactive systems; Validation

Indexed keywords

COMPUTER SIMULATION; COMPUTER VISION; CONSTRAINT THEORY; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; REAL TIME SYSTEMS; ROBOTICS; SPECIFICATIONS; SYNCHRONIZATION;

PERFORMANCE SPECIFICATIONS; REACTIVE SYSTEMS; VALIDATION;

SOFTWARE ENGINEERING;

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

References (4)

1. V.S. Alagar, R. Achuthan, D. Muthiayen. TROMLAB: A Software Development Environment for Real-Time Reactive Systems, (first version 1996, revised 2001 submitted for publication).
2. Lecture Notes in Computer Science. Formal Development of Reactive Systems: Case Study Production Cell Springer Verlag, 1995.
3. J. V. Guttag and J. J. Horning. Larch: Languages and Tools for Formal Specifications. Springer Verlag, 1993.
4. O. Ormandjieva. Deriving New Measurements for Real-Time Reactive Systems. Ph.D. thesis, Concordia University, Montreal, Canada, April 2002.