A problem in common of many complex software systems embedded in industrial
products is the absence of analyzability as formal models of the system
behavior does not exist. When performing maintenance of such systems it is
hard to predict how changes will impact specific system properties related to
timing and resource utilization and there is therefore a significant risk of running
into problems with unexpected side-effects of the changes made, which
increases development time required and costs.
In this paper we present the ART Framework, a set of methods and tools
that enable behavior impact analysis for existing industrial real-time systems.
The ART Framework enables developers of complex software systems to identify
problematic side-effects of a proposed design before vast resources have
been invested in implementation and testing. This reduces the risk of expensive
and time-consuming problems discovered late in a development project
and also reduces the risk releasing software containing latent critical errors.