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
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ä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-2383-7981
2010 (Engelska)Ingår i: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010, s. 361-362Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2010. s. 361-362
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-10787DOI: 10.1145/1858996.1859076Scopus ID: 2-s2.0-78649802365ISBN: 9781450301169 (tryckt)OAI: oai:DiVA.org:mdh-10787DiVA, id: diva2:369090
Konferens
25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10; Antwerp; Belgium; 20 September 2010 through 24 September 2010
Tillgänglig från: 2010-11-10 Skapad: 2010-11-10 Senast uppdaterad: 2013-12-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Seceleanu, CristinaVulgarakis, Aneta

Sök vidare i DiVA

Av författaren/redaktören
Orlic, MarinSeceleanu, CristinaVulgarakis, Aneta
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 27 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