https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Mälardalen University, Department of Computer Science and Electronics.
Mälardalen University, Department of Computer Science and Electronics.
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0002-7235-6888
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0001-5269-3900
2007 (English)In: Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, 2007, p. 577-585Conference paper, Published paper (Refereed)
Abstract [en]

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 timing behaviors of diverse systems with varying architectural styles, and extract automatic models out of them. We discuss the difficulties in comparing response time distributions, and present an intuitive and novel approach along with associated algorithms for performing such a comparison. Using our empirical framework, and the comparison algorithms, one could objectively determine the correspondence between the model and the system being modeled.

Place, publisher, year, edition, pages
2007. p. 577-585
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-6999DOI: 10.1109/ECBS.2007.38ISI: 000246221500064Scopus ID: 2-s2.0-34250158123ISBN: 9780769527727 (print)OAI: oai:DiVA.org:mdh-6999DiVA, id: diva2:237009
Conference
14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007; Tucson, AZ; United States; 26 March 2007 through 29 March 2007
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2018-08-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Hansson, HansPunnekkat, Sasikumar

Search in DiVA

By author/editor
Kraft, JohanHansson, HansPunnekkat, Sasikumar
By organisation
Department of Computer Science and Electronics
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 57 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf