loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Edinburgh, Scotland, UK
September 17-September 19
ISBN: 0-7695-2883-X
Benjamin Gorry, Heriot-Watt University, Scotland
Andrew Ireland, Heriot-Watt University, Scotland
Peter King, Heriot-Watt University, Scotland
The development of performance models from real-time system source code can be a time consuming process. It can be difficult to capture actual system timing values to be used in these models. The tool PARTES is introduced. PARTES facilitates the extraction of CSPL (C-based Stochastic Petri net Language) models from an ANSI-C program which has been annotated by the user. These models are then subjected to sensitivity analysis via the SPNP (Stochastic Petri Net Package). The results from analysis can be used to directly identify any potentially problematic timing areas in the original source code.
Citation:
Benjamin Gorry, Andrew Ireland, Peter King, "PARTES: Performance Analysis of Real-Time Embedded Systems," qest, pp.271-272, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.