mdh.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
Validation of embedded systems behavioral models on a component-based Ericsson Nikola Tesla demonstrator
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2383-7981
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2870-2680
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
Ericsson Nikola Tesla, Zagreb, Croatia .
Show others and affiliations
2011 (English)In: Proceedings - International Conference on Quality Software, 2011, 156-165 p.Conference paper, Published paper (Refereed)
Abstract [en]

Embedded systems are challenging to design, due to the implementation platform constraints that have to be considered, preferably from early stages of design, next-by system functionality. Hence, embedded system models need to be timing and resource-aware, to make formal verification of extra functional properties applicable at high levels of abstraction. In most cases, a frequent obstacle to the successful application of such rigorous techniques is the lack of the proposed models'validation against real-world application measurements. In this paper, we show how to model extra-functional behavior, and verify the resulted behavioral models of a component-based Ericsson Nikola Tesla prototype telecommunications system. The models are described in our recently introduced REMES language, with Priced Timed Automata semantics that allows us to apply UPPAAL -based tools for model-checking the system'sresponse time and compute optimal resource usage traces. The validation of our models is ensured by using actual values of timing, CPU, and memory usage in our models, measured by Ericsson researchers on the prototype's source code. © 2011 IEEE.

Place, publisher, year, edition, pages
2011. 156-165 p.
Series
Proceedings - International Conference on Quality Software, ISSN 1550-6002
Keyword [en]
behavioral models, embedded systems, extra-funcational verification, priced timed automata, validation, Behavioral model, Component based, Ericsson, Formal verifications, Functional properties, Implementation platforms, Levels of abstraction, Memory usage, Real-world application, Resource aware, Resource usage, Source codes, System functionality, Timed Automata, Automata theory, Behavioral research, Embedded software, Model checking, Semantics, Mathematical models
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-16022DOI: 10.1109/QSIC.2011.11Scopus ID: 2-s2.0-80053032134ISBN: 9780769544687 (print)OAI: oai:DiVA.org:mdh-16022DiVA: diva2:564675
Conference
11th International Conference on Quality Software, QSIC 2011, 13 July 2011 through 14 July 2011, Madrid
Note

Sponsors: Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council

Available from: 2012-11-02 Created: 2012-10-29 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Vulgarakis, AnetaSeceleanu, CristinaPettersson, Paul
By organisation
School of Innovation, Design and Engineering
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 30 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