You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings

Note:

This is a revised version of the paper published at ISoLA 04 (with the same name). A selection of the ISoLA 04 papers were invited to this post-conference collection of papers.

Publication Type:

Collection (Editor)

Venue:

LNCS 4313: Leveraging Applications of Formal Methods

Publisher:

Springer Berlin/Heidelberg


Abstract

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.

Bibtex

@misc{Wall2837,
author = {Anders Wall and Johan Kraft and Christer Norstr{\"o}m},
title = {Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings},
isbn = {978-3-540-48928-3},
note = {This is a revised version of the paper published at ISoLA 04 (with the same name). A selection of the ISoLA 04 papers were invited to this post-conference collection of papers.},
pages = {130--145},
month = {November},
year = {2006},
publisher = {Springer Berlin/Heidelberg},
url = {http://www.es.mdu.se/publications/2837-}
}