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
REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems
University St.Kliment Ohridski, Sofia, Bulgaria .
University of Zagreb.
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-2383-7981
2010 (English)In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010, 361-362 p.Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present a tool-chain for the REMES language, which can be used for the construction and analysis of embedded system behavioral models. The tool-chain consists of the following tools: (i) a REMES editor for modeling behaviors of embedded components, (ii) a REMES simulator to test timing and resource behavior prior to formal analysis, and (iii) an automated transformation from REMES to Priced Timed Automata, needed for formal analysis.

Place, publisher, year, edition, pages
2010. 361-362 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-10787DOI: 10.1145/1858996.1859076Scopus ID: 2-s2.0-78649802365ISBN: 9781450301169 (print)OAI: oai:DiVA.org:mdh-10787DiVA: diva2:369090
Conference
25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10; Antwerp; Belgium; 20 September 2010 through 24 September 2010
Available from: 2010-11-10 Created: 2010-11-10 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
Orlic, MarinSeceleanu, CristinaVulgarakis, Aneta
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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