Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator

Vulgarakis, Aneta; Seceleanu, Cristina; Pettersson, Paul; Skuliber, I.; Huljenić, Darko

doi:10.1109/qsic.2011.11

Search citation statements

Order By: Relevance

Paper Sections

Select...

Applications1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

2016

Publication Types

Select...

Other1

Article1

Relationship

Self Cite1

Independent1

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These are transformed and executed in a test bench to test a WAP implementation by Ericsson. • A component-based Ericsson Nikola Tesla prototype telecommunications system is modeled and analyzed in [7]. The model, which covers timing as well as other extra-functional properties, including CPU and memory usage, is modeled in the REMES language, transformed and analyzed in CORA.…”

Section: Applicationsmentioning

confidence: 99%

Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool

Pettersson

2011

2011 IEEE 35th Annual Computer Software and Applications Conference

Self Cite

View full text Add to dashboard Cite

UPPAAL is a model-checking tool primarily aimed for real-time and embedded systems in which timing plays an important role. It has existed for over 16 years and has become very popular among formal method scientists in academia. In recent years, licenses of the tool have also been offered and sold on commercial basis. In this paper, the characteristics of the tool, its domains of application, as well as some lessons learned from commercializing the tool are described.

show abstract

Section: Applicationsmentioning

confidence: 99%