Abstract
An overview is given on a technology and its accompanying tool suite to obtain performance models of new components in a formal software architectural design specification given in communicating extended finite state machine (CEFSM) model. The technology is applied to a telecom application to predict the performance of its new components. Combined with the performance models of reused components from previous work, the performance of the entire architectural design is predicted.
Original language | English |
---|---|
Title of host publication | Proceedings of the IEEE Annual Simulation Symposium |
Publisher | IEEE |
Pages | 283-290 |
Number of pages | 8 |
ISBN (Print) | 0769505988 |
State | Published - 2000 |
Event | 33rd Annual Simulation Symposium (SS 2000) - Washington, DC, USA Duration: 16 Apr 2000 → 20 Apr 2000 |
Publication series
Name | Proceedings of the IEEE Annual Simulation Symposium |
---|---|
ISSN (Print) | 0272-4715 |
Conference
Conference | 33rd Annual Simulation Symposium (SS 2000) |
---|---|
City | Washington, DC, USA |
Period | 16/04/00 → 20/04/00 |