Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-10035
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Caddell, Benjamin | - |
dc.date.accessioned | 2018-09-28T12:46:43Z | - |
dc.date.available | 2018-09-28T12:46:43Z | - |
dc.date.issued | 2018 | de |
dc.identifier.other | 1656502143 | - |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-100520 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/10052 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-10035 | - |
dc.description.abstract | Real-time communication over Ethernet networks are of growing importance for industrial applications. With the newly developed IEEE 802.1Qbv standard, new tools for guaranteeing timely boundaries for communication are available. While this standard specifies the mechanisms in place for guaranteeing the timeliness of transmissions, it falls short of defining algorithms to compute routes and schedules. Traditionally the routing problem and scheduling problem have been tackled independently. However these problems are strongly connected and solving them independently excludes feasible solutions. We provide an SMT formulation of the joint routing and scheduling problem. We implement this formulation to solve various different scheduling problems. We showcase and compare our SMT-Based solution to a similar ILP-Based solution. | en |
dc.language.iso | en | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.ddc | 004 | de |
dc.title | Joint routing and scheduling with SMT | en |
dc.type | bachelorThesis | de |
ubs.fakultaet | Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Parallele und Verteilte Systeme | de |
ubs.publikation.seiten | 43 | de |
ubs.publikation.typ | Abschlussarbeit (Bachelor) | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
ausarbeitung_caddell.pdf | 476,65 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.