Evaluating the Quality of Models Extracted from Embedded Real-Time Software

Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy systems. Re-engineering existing code-oriented systems to fit model-based development is a risky endeavor due to the cost and efforts required to maintain correspondence between the code and model. We aim to reduce the cost of modeling and model maintenance by automating the process, thus facilitating model-based techniques. We have previously proposed the use of automatic model extraction from recordings of existing embedded real-time systems. To estimate the quality of the extracted models of timing behavior, we need a framework for objective evaluation. In this paper, we present such a framework to empirically test and compare extracted models, and hence obtain an implicit evaluation of methods for automatic model extraction. We present a set of synthetic benchmarks to be used as test cases for emulating timi...

• Type: Conference
• Year: 2007
• Where: ECBS
• Authors: Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat
• Keywords: Automatic Model Extraction, ECBS 2007, Extracted Models, Hardware, Model-based Techniques