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
A Framework for Analysis of Timing and Resource Utilization Targeting Industrial Real-Time Systems
Abstract
A common problem with long-lived large industrial software systems such as
telecom and industrial automation systems is the high complexity together with
the lack of formal models describing the behavior of the system. This makes it
hard to analyze different properties of the systems runtime behavior and to
predict how it is affected if the system is changed. The complexity increases as
new features are added or changed during the system life cycle, so as the system
evolve, it will become harder and harder to predict the impact of adding new
features to the system.We introduce the ART Framework which is based on the general idea of introducing
a formal model that is analyzable with respect to the system properties in focus
, i.e. timing and resource utilization. This model can be used for predicting
the impact caused by e.g. adding a new feature or vast 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, but also via
testing different design alternatives efficiently increase the system
reliability.The framework primarily targets large industrial real-time control systems, but
it is applicable on a wide range of software system where complexity is an
issue.In order to analyze the model, we use simulation. Existing analytical methods
for timing analysis are not expressive enough to capture the characteristics
of the systems we consider. Moreover, other formal techniques such as
model-checking do not scale sufficiently to allow analysis of industrial systems.This paper presents the general idea and a process for how to construct,
validate, and use this type of models. The paper also presents the modeling
language and analysis tools included in the framework, as well as a case
study where the framework has been used in a real industrial application.
Bibtex
@techreport{Kraft626,
author = {Johan Kraft and Anders Wall and Christer Norstr{\"o}m},
title = {A Framework for Analysis of Timing and Resource Utilization Targeting Industrial Real-Time Systems},
month = {August},
year = {2004},
url = {http://www.es.mdu.se/publications/626-}
}
