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
Dynamic reconfiguration in HaRTES switched ethernet networks
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-3469-1834
University of Porto, Porto, Portugal .
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-1687-930X
Show others and affiliations
2016 (English)In: IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, 2016, article id Article number 7496510Conference paper, Published paper (Refereed)
Resource type
Text
Abstract [en]

The ability of reconfiguring a system during runtime is essential for dynamic real-time applications in which resource usage is traded online for quality of service. The HaRTES switch, which is a modified Ethernet switch, holds this ability for the network resource, and at the same time it provides hard real-time support for both periodic and sporadic traffic. Although the HaRTES switch technologically caters this ability, a protocol to actually perform the dynamic reconfiguration is missing in multi-hop HaRTES networks. In this paper we introduce such a protocol that is compatible with the traffic scheduling method used in the architecture. We prove the correctness of the protocol using a model checking technique. Moreover, we conduct a set of simulation experiments to show the performance of the protocol and we also show that the reconfiguration process is terminated within a bounded time. 

Place, publisher, year, edition, pages
2016. article id Article number 7496510
Keywords [en]
Dynamic models, Ethernet, Model checking, Network architecture, Quality of service, Reconfigurable hardware, Dynamic re-configuration, Ethernet switches, Model-checking techniques, Network resource, Real-time application, Reconfiguration process, Switched ethernet, Traffic scheduling, Switching circuits
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-32528DOI: 10.1109/WFCS.2016.7496510ISI: 000382857300016Scopus ID: 2-s2.0-84980435857ISBN: 9781509023394 (print)OAI: oai:DiVA.org:mdh-32528DiVA, id: diva2:953630
Conference
12th IEEE World Conference on Factory Communication Systems, WFCS 2016, 3 May 2016 through 6 May 2016
Available from: 2016-08-18 Created: 2016-08-18 Last updated: 2016-10-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Ashjaei, MohammadBehnam, MorisNolte, Thomas

Search in DiVA

By author/editor
Ashjaei, MohammadBehnam, MorisNolte, Thomas
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 53 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