Sensitivity Analysis of Real-Time Systems

Authors: Benjamin Gorry, Andrew Ireland, Peter King

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.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1070315

References:

[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.