Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings
A common problem with long-lived large industrial software systems such as telecom and industrial automation systems is the increasing complexity and the lack of formal models enabling efficient analyses of critical properties. New features are added or changed during the system life cycle and it becomes harder and harder to predict the impact of maintenance operations such as adding new features or fixing bugs.
We present a framework for introducing analyzability in a late phase of the system’s life cycle. The framework is based on the general idea of introducing a probabilistic formal model that is analyzable with respect to the system properties in focus, timing and usage of logical resources. The analyses are based on simulations. Traditional analysis method falls short due to a too limited modelling language or problems to scale up to real industrial systems.
This method can be used for predicting the impact caused by e.g. adding a new feature or other changes to the system. This enables the system developers to identify potential problems with their design at an early stage and thus decreasing the maintenance cost.
The framework primarily targets large industrial real-time systems, but it is applicable on a wide range of software system where complexity is an issue. This paper presents the general ideas of the framework, how to construct, validate, and use this type of models, and how the industry can benefit from this. The paper also present a set of tools developed to support the framework and our experiences from deploying parts of the framework at a company.
KeywordsExecution Time Modelling Language Impact Analysis System Property Execution Trace
Unable to display preview. Download preview PDF.
- 1.Schutz, W.: On the testability of distributed real-time systems. In: Proceedings of the 10th Tenth Symposium on Reliable Distributed Systems, pp. 52–61. IEEE, Los AlamitosGoogle Scholar
- 2.Wall, A., Andersson, J., Neander, J., Norström, C., Lembke, M.: Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems. In: Proceedings International Conference on Real-Time Computing Systems and Applications (2003)Google Scholar
- 3.Wall, A.: Architectural Modeling and Analysis of Complex Real-Time Systems. PhD thesis, Mälardalen University (2003)Google Scholar
- 4.Wall, A., Andersson, J., Norström, C.: Probabilistic Simulation-based Analysis of Complex Real-Time Systems. In: Proceedings 6th IEEE International Symposium on Object-oriented Real-time distributed Computing (2003)Google Scholar
- 6.Storch, M., Liu, J.S.: DRTSS: a simulation framework for complex real-time systems. In: Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS 1996), Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA (1996)Google Scholar
- 7.Manolache, S., Eles, P., Peng, Z.: Memory and Time-efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems, Department of Computer and Information Science. Linköping University, Sweden (2001)Google Scholar
- 10.Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126 (1994)Google Scholar
- 11.Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Springer International Journal of Software Tools for Technology Transfer 1 (1997)Google Scholar
- 12.Muller, H., Klashinsky, K.: Rigi: a system for programming-in-the-large. In: Proceedings of the 10th International Conference on Software Engineering (1988)Google Scholar
- 13.Rigi Group (Rigi Group Home Page), http://www.rigi.csc.uvic.ca/index.html
- 14.Toolworks, S.: (Scientific toolworks home page), http://www.scitools.com/
- 15.Andersson, J.: Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach. Mälardalen University Press (2005), ISBN 91-88834-71-9Google Scholar