Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-36426
Titel: | Portable Synthesis of Multi-core Real-Time Systems with Reconfiguration Constraints |
VerfasserIn: | Lakhdhar, Wafa Mzid, Rania Khalgui, Mohamed Frey, Georg |
HerausgeberIn: | Damiani, Ernesto Spanoudakis, George Maciaszek, Leszek |
Sprache: | Englisch |
Titel: | Evaluation of Novel Approaches to Software Engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers |
Startseite: | 165 |
Endseite: | 185 |
Verlag/Plattform: | Springer |
Erscheinungsjahr: | 2019 |
Erscheinungsort: | Cham |
Konferenzort: | Funchal, Madeira, Portugal |
Freie Schlagwörter: | Real-time system Reconfigurable architecture Timing constraints Mixed integer linear programming (MILP) POSIX-based code |
DDC-Sachgruppe: | 600 Technik |
Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
Abstract: | Nowadays, multi-core architectures are increasingly being adopted in the design of emerging complex real-time systems. Meanwhile, implementing those systems as threads generates a complex system code due to the large number of threads, which may lead to a reconfiguration time overhead as well as redundancy increases. In this paper, we present a novel approach to synthesize multi-core system architectures from the specification level to the implementation level. In the design level, the proposed approach presents a mixed integer linear programming (MILP) formulation for the task mapping/scheduling problem as well as the minimizing the number of threads and the redundancy between the implementation sets while preserving the system feasibility. To address the portability issue, the optimal design is then transformed to an abstract code that may be transformed to a specific code. The viability and potential of the approach is demonstrated by a case study and a performance evaluation. |
DOI der Erstveröffentlichung: | 10.1007/978-3-030-22559-9_8 |
URL der Erstveröffentlichung: | https://link.springer.com/chapter/10.1007/978-3-030-22559-9_8 |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-364262 hdl:20.500.11880/33072 http://dx.doi.org/10.22028/D291-36426 |
ISBN: | 978-3-030-22559-9 978-3-030-22558-2 |
Datum des Eintrags: | 10-Jun-2022 |
Bemerkung/Hinweis: | Communications in computer and information science ; 1023 |
Fakultät: | NT - Naturwissenschaftlich- Technische Fakultät |
Fachrichtung: | NT - Systems Engineering |
Professur: | NT - Prof. Dr. Georg Frey |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.