Sökning: onr:"swepub:oai:DiVA.org:mdh-32528" >
Dynamic reconfigura...
Dynamic reconfiguration in HaRTES switched ethernet networks
-
- Ashjaei, Mohammad (författare)
- Mälardalens högskola,Inbyggda system
-
Du, Yong (författare)
-
- Almeida, L. (författare)
- University of Porto, Porto, Portugal
-
visa fler...
-
- Behnam, Moris (författare)
- Mälardalens högskola,Inbyggda system
-
- Nolte, Thomas (författare)
- Mälardalens högskola,Inbyggda system
-
visa färre...
-
(creator_code:org_t)
- 2016
- 2016
- Engelska.
-
Ingår i: IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS. - 9781509023394
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas