Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Constraint Programming with External Worst-Case Traversal Time Analysis
TALBOT, Pierre; HU, Tingting; NAVET, Nicolas
2023In Yap, Roland H. C. Yap (Ed.) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023
Peer reviewed
 

Files


Full Text
Constraint_programming_with_worst_case_network_timing_analysis.pdf
Author postprint (553.07 kB) Creative Commons License - Attribution
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
abstract interpretation; external function; multi-objective optimization; network analysis; worst-case traversal time analysis; allocation problem; constraint programming
Abstract :
[en] The allocation of software functions to processors under compute capacity and network links constraints is an important optimization problem in the field of embedded distributed systems. We present a hybrid approach to solve the allocation problem combining a constraint solver and a worst-case traversal time (WCTT) analysis that verifies the network timing constraints. The WCTT analysis is implemented as an industrial black-box program, which makes a tight integration with constraint solving challenging. We contribute to a new multi-objective constraint solving algorithm for integrating external under-approximating functions, such as the WCTT analysis, with constraint solving, and prove its correctness. We apply this new algorithm to the allocation problem in the context of automotive service-oriented architectures based on Ethernet networks, and provide a new dataset of realistic instances to evaluate our approach.
Research center :
ULHPC - University of Luxembourg: High Performance Computing
Disciplines :
Computer science
Author, co-author :
TALBOT, Pierre  ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; Interdisciplinary Centre for Security, Reliability and Trust (SnT), Luxembourg
HU, Tingting ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
NAVET, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
no
Language :
English
Title :
Constraint Programming with External Worst-Case Traversal Time Analysis
Publication date :
September 2023
Event name :
29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Event place :
Toronto, Can
Event date :
27-08-2023 => 31-08-2023
Audience :
International
Main work title :
29th International Conference on Principles and Practice of Constraint Programming, CP 2023
Editor :
Yap, Roland H. C. Yap
Publisher :
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN/EAN :
978-3-9597730-0-3
Peer reviewed :
Peer reviewed
FnR Project :
FNR16101289 - A Concurrent Model Of Computation For Trustworthy Gpu Programming, 2021 (01/01/2022-31/12/2024) - Pascal Bouvry
Funders :
FNR - Fonds National de la Recherche [LU]
Funding text :
Funding Pierre Talbot: This work is supported by the Luxembourg National Research Fund (FNR) – COMOC Project, ref. C21/IS/16101289.
Available on ORBilu :
since 30 October 2023

Statistics


Number of views
62 (24 by Unilu)
Number of downloads
40 (10 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu