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.
[1] Albert M. K. Cheng, Real-Time Systems - Scheduling, Analysis, and
Verification, John Wiley & Sons, Inc, 2002.
[2] H. Kopetz, Real-Time Systems, Design principles for Distributed
Embedded Applications, Kluwer Academic Publishers, 1997.
[3] J-C Laprie, Dependability: Basic Concepts and Terminology, Springer-
Verlag Wien New York, 1991.
[4] A. Burns and A. Wellings, Real-Time Systems and Programming
Languages, Pearson Education Limited, 2001.
[5] B. Beizer, Software Testing Techniques, International Thomson
Computer Press, 1990.
[6] E. Kit, Software Testing In The Real World, ACM Press, 1995.
[7] B. Gorry, A. Ireland and P. King, PARTES : Performance Analysis of
Real-Time Embedded Systems, Proceedings of the 4th International
Conference on the Quantitative Evaluation of SysTems (QEST), pg 271-
272, 2007.
[8] C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall
International (UK) Ltd, 1985.
[9] S. Gillmore and J. Hillston, The PEPA Workbench: A Tool to Support a
Process Algebra-based Approach to Performance Modelling,
Proceedings 7th Int. Conference on Modelling Techniques and Tools for
Computer Performance Evaluation, 353-368, 1994.
[10] G. Ciardo, J. Muppala and K. Trivedi, SPNP: Stochastic Petri Net
Package, Department of Computer Science, Duke University, Durham,
1989.
[11] K. Trivedi, SPNP User's Manual Version 6.0, Center for Advanced
Computing and Communication (CACC) Department of electrical and
Computer Engineering, Duke University, 1999.
[12] P. J. B. King., Computer and Communication Systems Performance
Modelling, Prentice Hall International (UK) Ltd, 1990.
[13] A. Saltelli, K. Chan and E. M. Scott, Sensitivity Analysis, John Wiley &
Sons, Ltd., 2004.
[14] B. Gorry, A. Ireland and P. King, Performance Analysis Of Real-Time
Embedded Systems, Heriot-Watt University, School Of Mathematical
And Computer Sciences, Departmental Technical Report HW-MACSTR-
0040, 2006.
[15] J. K. Muppala, G. Ciardo and K. S. Trivedi, Stochastic Reward Nets for
Reliability Prediction, Communications In Reliability, Maintainability,
and Serviceability, 1, 9-20, 1994.
[16] M. Kwiatkowska, Probabilistic Symbolic Model Checking with PRISM:
A Hybrid Approach, 8th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS`02),
2002.
[1] Albert M. K. Cheng, Real-Time Systems - Scheduling, Analysis, and
Verification, John Wiley & Sons, Inc, 2002.
[2] H. Kopetz, Real-Time Systems, Design principles for Distributed
Embedded Applications, Kluwer Academic Publishers, 1997.
[3] J-C Laprie, Dependability: Basic Concepts and Terminology, Springer-
Verlag Wien New York, 1991.
[4] A. Burns and A. Wellings, Real-Time Systems and Programming
Languages, Pearson Education Limited, 2001.
[5] B. Beizer, Software Testing Techniques, International Thomson
Computer Press, 1990.
[6] E. Kit, Software Testing In The Real World, ACM Press, 1995.
[7] B. Gorry, A. Ireland and P. King, PARTES : Performance Analysis of
Real-Time Embedded Systems, Proceedings of the 4th International
Conference on the Quantitative Evaluation of SysTems (QEST), pg 271-
272, 2007.
[8] C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall
International (UK) Ltd, 1985.
[9] S. Gillmore and J. Hillston, The PEPA Workbench: A Tool to Support a
Process Algebra-based Approach to Performance Modelling,
Proceedings 7th Int. Conference on Modelling Techniques and Tools for
Computer Performance Evaluation, 353-368, 1994.
[10] G. Ciardo, J. Muppala and K. Trivedi, SPNP: Stochastic Petri Net
Package, Department of Computer Science, Duke University, Durham,
1989.
[11] K. Trivedi, SPNP User's Manual Version 6.0, Center for Advanced
Computing and Communication (CACC) Department of electrical and
Computer Engineering, Duke University, 1999.
[12] P. J. B. King., Computer and Communication Systems Performance
Modelling, Prentice Hall International (UK) Ltd, 1990.
[13] A. Saltelli, K. Chan and E. M. Scott, Sensitivity Analysis, John Wiley &
Sons, Ltd., 2004.
[14] B. Gorry, A. Ireland and P. King, Performance Analysis Of Real-Time
Embedded Systems, Heriot-Watt University, School Of Mathematical
And Computer Sciences, Departmental Technical Report HW-MACSTR-
0040, 2006.
[15] J. K. Muppala, G. Ciardo and K. S. Trivedi, Stochastic Reward Nets for
Reliability Prediction, Communications In Reliability, Maintainability,
and Serviceability, 1, 9-20, 1994.
[16] M. Kwiatkowska, Probabilistic Symbolic Model Checking with PRISM:
A Hybrid Approach, 8th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS`02),
2002.
@article{"International Journal of Engineering, Mathematical and Physical Sciences:57210", author = "Benjamin Gorry and Andrew Ireland and Peter King", title = "Sensitivity Analysis of Real-Time Systems", abstract = "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.", keywords = "Performance Modelling, Real-time, SensitivityAnalysis.", volume = "2", number = "1", pages = "20-8", }
