TY - JFULL AU - Benjamin Gorry and Andrew Ireland and Peter King PY - 2008/2/ TI - Sensitivity Analysis of Real-Time Systems T2 - International Journal of Computer and Systems Engineering SP - 1 EP - 9 VL - 2 SN - 1307-6892 UR - https://publications.waset.org/pdf/8128 PU - World Academy of Science, Engineering and Technology NX - Open Science Index 13, 2008 N2 - Verification of real-time software systems can be expensive in terms of time and resources. Testing is the main method of proving correctness but has been shown to be a long and time consuming process. Everyday engineers are usually unwilling to adopt formal approaches to correctness because of the overhead associated with developing their knowledge of such techniques. Performance modelling techniques allow systems to be evaluated with respect to timing constraints. This paper describes PARTES, a framework which guides the extraction of performance models from programs written in an annotated subset of C. ER -