mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Validation of embedded systems behavioral models on a component-based Ericsson Nikola Tesla demonstrator
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2383-7981
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2870-2680
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-4040-3480
Ericsson Nikola Tesla, Zagreb, Croatia .
Visa övriga samt affilieringar
2011 (Engelska)Ingår i: Proceedings - International Conference on Quality Software, 2011, s. 156-165Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2011. s. 156-165
Serie
Proceedings - International Conference on Quality Software, ISSN 1550-6002
Nyckelord [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
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-16022DOI: 10.1109/QSIC.2011.11Scopus ID: 2-s2.0-80053032134ISBN: 9780769544687 (tryckt)OAI: oai:DiVA.org:mdh-16022DiVA, id: diva2:564675
Konferens
11th International Conference on Quality Software, QSIC 2011, 13 July 2011 through 14 July 2011, Madrid
Anmärkning

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

Tillgänglig från: 2012-11-02 Skapad: 2012-10-29 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Vulgarakis, AnetaSeceleanu, CristinaPettersson, Paul

Sök vidare i DiVA

Av författaren/redaktören
Vulgarakis, AnetaSeceleanu, CristinaPettersson, Paul
Av organisationen
Akademin för innovation, design och teknik
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 39 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf