Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application

This work presents an online decentralized allocation algorithm of a safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults. The described method includes representing the architecture by an abstract graph where each node repre...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of optimization theory and applications Vol. 191; no. 2-3; pp. 874 - 898
Main Authors:	Khamvilai, Thanakorn, Sutter, Louis, Baufreton, Philippe, Neumann, François, Feron, Eric
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.12.2021 Springer Nature B.V
Subjects:	Algorithms Applications of Mathematics Avionics Calculus of Variations and Optimal Control; Optimization Computer architecture Embedded systems Engineering Fault tolerance Graphical representations Integer programming Linear programming Mathematics Mathematics and Statistics Operations Research/Decision Theory Optimization Redundancy Safety critical Theory of Computation Safety-critical Distributed computing Avionics Reconfigurable 90C09 90B10 Fault tolerance 93A14 Parallel computing 94C15 Integer linear programming 90C90 93B52
ISSN:	0022-3239, 1573-2878
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	This work presents an online decentralized allocation algorithm of a safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults. The described method includes representing the architecture by an abstract graph where each node represents a Computational Unit. Applications are also represented by the graph of Computational Units they require for execution. The problem is then to decide how to allocate Computational Units to applications to guarantee execution of a safety-critical application. The problem is formulated as an optimization problem with the form of an Integer Linear Program. A state-of-the-art solver is then used to solve the problem. Decentralizing the allocation process is achieved through redundancy of the allocator executed on the architecture. No centralized element decides on the allocation of the entire architecture, thus improving the reliability of the system. Inspired by multi-core architectures in avionics systems, an experimental illustration of the work is also presented. It is used to demonstrate the capabilities of the proposed allocation process to maintain the operation of a physical system in a decentralized way while individual components fail.
AbstractList	This work presents an online decentralized allocation algorithm of a safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults. The described method includes representing the architecture by an abstract graph where each node represents a Computational Unit. Applications are also represented by the graph of Computational Units they require for execution. The problem is then to decide how to allocate Computational Units to applications to guarantee execution of a safety-critical application. The problem is formulated as an optimization problem with the form of an Integer Linear Program. A state-of-the-art solver is then used to solve the problem. Decentralizing the allocation process is achieved through redundancy of the allocator executed on the architecture. No centralized element decides on the allocation of the entire architecture, thus improving the reliability of the system. Inspired by multi-core architectures in avionics systems, an experimental illustration of the work is also presented. It is used to demonstrate the capabilities of the proposed allocation process to maintain the operation of a physical system in a decentralized way while individual components fail.
Author	Feron, Eric Neumann, François Sutter, Louis Baufreton, Philippe Khamvilai, Thanakorn
Author_xml	– sequence: 1 givenname: Thanakorn orcidid: 0000-0001-5739-1338 surname: Khamvilai fullname: Khamvilai, Thanakorn email: tkhamvilai3@gatech.edu organization: School of Aerospace Engineering, Georgia Institute of Technology – sequence: 2 givenname: Louis surname: Sutter fullname: Sutter, Louis organization: Dassault Aviation – sequence: 3 givenname: Philippe surname: Baufreton fullname: Baufreton, Philippe organization: Safran Electronics and Defense – sequence: 4 givenname: François surname: Neumann fullname: Neumann, François organization: Safran Electronics and Defense – sequence: 5 givenname: Eric surname: Feron fullname: Feron, Eric organization: Division of Computer, Electrical, Mathematical Sciences and Engineering, King Abdullah University of Science and Technology
BookMark	eNp9kF1LwzAUhoNMcJv-Aa8KXkdP0o-0l2V-wkCReR2y9HRmdm1NUkF_vXEVBC8GgUDOec578szIpO1aJOScwSUDEFeOQZEKCpxRYHnGqTgiU5aKmPJc5BMyBeCcxjwuTsjMuS0AFLlIpgSvUWPrrWrMF1bRSrm36BlV03RaedO1UThPKpQbbKJFt-sHb9pNVFr9ajxqP1h0gbIb3L-rNio_Ama0i8q-b8w45ZQc16pxePZ7z8nL7c1qcU-Xj3cPi3JJdcwKT9dQCShAM6GLLM3ruqqVAMiSCuuM61QkyVrrBAsBLMlywTVP11zUmKqsEmkSz8nFOLe33fuAzsttN9g2REqeBkGiYJCHLj52ads5Z7GWvTU7ZT8lA_mjU446ZdAp9zqlCFD-D9LG7z8X5JnmMBqPqAs57Qbt31YHqG-FeYzY
CitedBy_id	crossref_primary_10_1155_2022_8652818
Cites_doi	10.1145/2043662.2043669 10.1515/9781400835355 10.1109/TCAD.2010.2061150 10.1145/1596543.1596545 10.2514/1.I010793 10.1109/TVLSI.2014.2333757 10.1007/s11241-012-9148-y 10.1109/TIE.2012.2185913 10.1016/j.sysarc.2011.03.005 10.2514/4.102288 10.24297/ijct.v20i.8533 10.1109/ISSREW.2014.70 10.1007/978-3-642-39799-8_44 10.6084/m9.figshare.13336796.v1 10.1109/EDCC.2012.27 10.1145/2465470.2465471 10.1007/978-3-642-22110-1_35 10.1007/978-3-319-26350-2_15 10.1145/1273463.1273473 10.2514/6.2018-3847 10.1109/DASC.2018.8569348 10.1109/DSD.2010.50 10.1109/MICRO.2010.15 10.1109/DASC.2009.5347560 10.1007/978-1-4614-1927-3_19 10.1109/ICME.2007.4285037 10.1109/PDCAT.2012.99 10.1109/IPDPSW.2010.5470753 10.1109/NEWCAS.2012.6328953 10.1109/DASC43569.2019.9081642
ContentType	Journal Article
Copyright	The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021 The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021.
Copyright_xml	– notice: The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021 – notice: The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2021.
DBID	AAYXX CITATION 3V. 7SC 7TB 7WY 7WZ 7XB 87Z 88I 8AO 8FD 8FE 8FG 8FK 8FL 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FR3 FRNLG F~G GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- KR7 L.- L6V L7M L~C L~D M0C M2O M2P M7S MBDVC P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U
DOI	10.1007/s10957-021-01862-7
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts Mechanical & Transportation Engineering Abstracts ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Science Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) Research Library (Alumni) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection ProQuest Technology Collection ProQuest One ProQuest Central Korea Engineering Research Database Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database Civil Engineering Abstracts ABI/INFORM Professional Advanced ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global Research Library Science Database Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic
DatabaseTitle	CrossRef ProQuest Business Collection (Alumni Edition) Research Library Prep Computer Science Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts SciTech Premium Collection ProQuest Central China ABI/INFORM Complete ProQuest One Applied & Life Sciences ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest Business Collection ProQuest One Academic UKI Edition Engineering Research Database ProQuest One Academic ProQuest One Academic (New) ABI/INFORM Global (Corporate) ProQuest One Business Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) Mechanical & Transportation Engineering Abstracts ProQuest Central (Alumni Edition) ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central ABI/INFORM Professional Advanced ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) Civil Engineering Abstracts ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest Central (Alumni) Business Premium Collection (Alumni)
DatabaseTitleList	ProQuest Business Collection (Alumni Edition)
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Mathematics
EISSN	1573-2878
EndPage	898
ExternalDocumentID	10_1007_s10957_021_01862_7
GrantInformation_xml	– fundername: National Science Foundation grantid: CNS 1544332; CNS 1446758 funderid: http://dx.doi.org/10.13039/100000001 – fundername: Safran Electronics and Defense – fundername: King Abdullah University of Science and Technology grantid: http://dx.doi.org/10.13039/501100004052
GroupedDBID	-52 -5D -5G -BR -EM -Y2 -~C -~X .4S .86 .DC .VR 06D 0R~ 0VY 199 1N0 1SB 2.D 203 28- 29L 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 78A 7WY 88I 8AO 8FE 8FG 8FL 8G5 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDPE ABDZT ABECU ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTAH ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACGOD ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AI. AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BAPOH BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GROUPED_ABI_INFORM_RESEARCH GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF H~9 I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV KOW L6V LAK LLZTM M0C M2O M2P M4Y M7S MA- N2Q N9A NB0 NDZJH NPVJJ NQJWS NU0 O93 O9G O9I O9J OAM OVD P19 P2P P62 P9R PF0 PKN PQBIZ PQBZA PQQKQ PROAC PT4 PT5 PTHSS Q2X QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCLPG SDD SDH SDM SHX SISQX SJYHP SMT SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TN5 TSG TSK TSV TUC TUS TWZ U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW VH1 VOH W23 W48 WH7 WK8 YLTOR YQT Z45 Z7R Z7S Z7U Z7X Z7Y Z7Z Z81 Z83 Z86 Z88 Z8M Z8N Z8R Z8S Z8T Z8U Z8W Z92 ZCG ZMTXR ZWQNP ZY4 ~EX AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG ADXHL AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP AMVHM ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7TB 7XB 8FD 8FK FR3 JQ2 KR7 L.- L7M L~C L~D MBDVC PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c319t-b0d7090c17c9658ffdfa70064def62c5744bcc4e970146872c25b27fe5a6d7543
IEDL.DBID	M2P
ISICitedReferencesCount	2
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000648102400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0022-3239
IngestDate	Wed Nov 05 00:53:53 EST 2025 Sat Nov 29 06:02:31 EST 2025 Tue Nov 18 21:26:11 EST 2025 Fri Feb 21 02:47:45 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	2-3
Keywords	Safety-critical Distributed computing Avionics Reconfigurable 90C09 90B10 Fault tolerance 93A14 Parallel computing 94C15 Integer linear programming 90C90 93B52
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c319t-b0d7090c17c9658ffdfa70064def62c5744bcc4e970146872c25b27fe5a6d7543
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0001-5739-1338
PQID	2595779108
PQPubID	48247
PageCount	25
ParticipantIDs	proquest_journals_2595779108 crossref_primary_10_1007_s10957_021_01862_7 crossref_citationtrail_10_1007_s10957_021_01862_7 springer_journals_10_1007_s10957_021_01862_7
PublicationCentury	2000
PublicationDate	20211200 2021-12-00 20211201
PublicationDateYYYYMMDD	2021-12-01
PublicationDate_xml	– month: 12 year: 2021 text: 20211200
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	Journal of optimization theory and applications
PublicationTitleAbbrev	J Optim Theory Appl
PublicationYear	2021
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	CR18 CR17 CR39 CR16 CR15 CR37 Zhong, Edahiro (CR42) 2020; 20 CR14 CR36 CR13 CR35 CR34 CR11 CR10 CR32 Mesbahi, Egerstedt (CR27) 2010 CR31 Li, Ming, Qiu, Quan, Qin, Chen (CR19) 2011; 57 Neves, Sebastião, Matos, Tomás, Flores, Roma (CR30) 2015; 23 Hillier, Lieberman (CR12) 2015 Lu, Zhou, Shang, Zeng (CR22) 2010; 29 Monot, Navet, Bavoux, Simonot-Lion (CR29) 2012; 59 CR4 CR3 Moir, Seabridge, Jukes (CR28) 2013 CR6 Al Sheikh, Brun, Hladik, Prabhu (CR1) 2012; 48 CR8 Berthe (CR5) 2007 CR9 Durak, Bapp (CR7) 2019; 16 CR26 Parkinson (CR33) 2016 CR25 CR24 CR23 CR21 Alle, Varadarajan, Fell, Reddy, Nimmy, Das, Biswas, Chetia, Rao, Nandy, Narayan (CR2) 2009; 9 CR20 Stuart, Stensgaard, Sparsø (CR38) 2011; 10 CR41 Upton, Halfacree (CR40) 2014 1862_CR4 1862_CR3 1862_CR6 M Mesbahi (1862_CR27) 2010 1862_CR8 Y Lu (1862_CR22) 2010; 29 MB Stuart (1862_CR38) 2011; 10 1862_CR9 E Upton (1862_CR40) 2014 PJ Parkinson (1862_CR33) 2016 J Li (1862_CR19) 2011; 57 1862_CR41 1862_CR20 1862_CR21 1862_CR23 1862_CR24 1862_CR25 1862_CR26 M Alle (1862_CR2) 2009; 9 N Neves (1862_CR30) 2015; 23 FS Hillier (1862_CR12) 2015 B Berthe (1862_CR5) 2007 U Durak (1862_CR7) 2019; 16 1862_CR16 1862_CR17 1862_CR39 Z Zhong (1862_CR42) 2020; 20 1862_CR18 1862_CR31 1862_CR10 1862_CR32 1862_CR11 I Moir (1862_CR28) 2013 1862_CR34 1862_CR13 1862_CR35 1862_CR14 1862_CR36 1862_CR15 1862_CR37 A Al Sheikh (1862_CR1) 2012; 48 A Monot (1862_CR29) 2012; 59
References_xml	– ident: CR18 – volume: 10 start-page: 1 issue: 4 year: 2011 end-page: 26 ident: CR38 article-title: The ReNoC reconfigurable network-on-chip: architecture, configuration algorithms, and evaluation publication-title: ACM Trans. Embedded Comput. Syst. (TECS) doi: 10.1145/2043662.2043669 – ident: CR4 – ident: CR14 – ident: CR39 – ident: CR16 – ident: CR37 – year: 2016 ident: CR33 publication-title: The Challenges of Developing Embedded Real-Time Aerospace Applications on Next Generation Multi-core Processors – year: 2007 ident: CR5 publication-title: A380 ATA 42 certification – ident: CR10 – ident: CR35 – ident: CR6 – year: 2010 ident: CR27 publication-title: Graph Theoretic Methods in Multiagent Networks doi: 10.1515/9781400835355 – ident: CR8 – year: 2014 ident: CR40 publication-title: Raspberry PI User Guide – ident: CR25 – ident: CR23 – volume: 29 start-page: 1546 issue: 10 year: 2010 end-page: 1557 ident: CR22 article-title: Multicore parallelization of min-cost flow for CAD applications publication-title: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. doi: 10.1109/TCAD.2010.2061150 – ident: CR21 – volume: 9 start-page: 1008 issue: 2 year: 2009 end-page: 1014 ident: CR2 article-title: REDEFINE: runtime reconfigurable polymorphic ASIC publication-title: ACM Trans. Embed. Comput. Syst. doi: 10.1145/1596543.1596545 – ident: CR3 – ident: CR15 – ident: CR17 – volume: 16 start-page: 441 issue: 11 year: 2019 ident: CR7 article-title: Introduction to special issue on multi-core architectures in avionics systems publication-title: J. Aerospace Inf. Syst. doi: 10.2514/1.I010793 – ident: CR31 – ident: CR13 – ident: CR11 – ident: CR9 – ident: CR32 – ident: CR34 – ident: CR36 – volume: 23 start-page: 1287 issue: 7 year: 2015 end-page: 1300 ident: CR30 article-title: Multicore SIMD ASIP for next-generation sequencing and alignment biochip platforms publication-title: IEEE Trans. Very Large Scale Integr. VLSI Syst. doi: 10.1109/TVLSI.2014.2333757 – volume: 48 start-page: 359 issue: 4 year: 2012 end-page: 386 ident: CR1 article-title: Strictly periodic scheduling in IMA-based architectures publication-title: Real-Time Syst. doi: 10.1007/s11241-012-9148-y – volume: 59 start-page: 3934 issue: 10 year: 2012 end-page: 3942 ident: CR29 article-title: Multisource software on multicore automotive ECUs–combining runnable sequencing with task scheduling publication-title: IEEE Trans. Ind. Electron. doi: 10.1109/TIE.2012.2185913 – volume: 57 start-page: 840 issue: 9 year: 2011 end-page: 849 ident: CR19 article-title: Resource allocation robustness in multi-core embedded systems with inaccurate information publication-title: J. Syst. Architect. doi: 10.1016/j.sysarc.2011.03.005 – year: 2013 ident: CR28 publication-title: Civil Avionics Systems doi: 10.2514/4.102288 – ident: CR41 – year: 2015 ident: CR12 publication-title: Introduction to Operations Research – ident: CR26 – ident: CR24 – ident: CR20 – volume: 20 start-page: 1 year: 2020 end-page: 13 ident: CR42 article-title: Model-based parallelization for simulink models on multicore CPUs and GPUs publication-title: Int. J. Comput. Technol. doi: 10.24297/ijct.v20i.8533 – volume: 16 start-page: 441 issue: 11 year: 2019 ident: 1862_CR7 publication-title: J. Aerospace Inf. Syst. doi: 10.2514/1.I010793 – ident: 1862_CR21 doi: 10.1109/ISSREW.2014.70 – volume: 10 start-page: 1 issue: 4 year: 2011 ident: 1862_CR38 publication-title: ACM Trans. Embedded Comput. Syst. (TECS) doi: 10.1145/2043662.2043669 – volume: 9 start-page: 1008 issue: 2 year: 2009 ident: 1862_CR2 publication-title: ACM Trans. Embed. Comput. Syst. doi: 10.1145/1596543.1596545 – ident: 1862_CR25 doi: 10.1007/978-3-642-39799-8_44 – ident: 1862_CR15 doi: 10.6084/m9.figshare.13336796.v1 – ident: 1862_CR31 doi: 10.1109/EDCC.2012.27 – ident: 1862_CR32 doi: 10.1145/2465470.2465471 – volume-title: Graph Theoretic Methods in Multiagent Networks year: 2010 ident: 1862_CR27 doi: 10.1515/9781400835355 – ident: 1862_CR10 doi: 10.1007/978-3-642-22110-1_35 – ident: 1862_CR8 doi: 10.1007/978-3-319-26350-2_15 – ident: 1862_CR26 doi: 10.1145/1273463.1273473 – volume: 29 start-page: 1546 issue: 10 year: 2010 ident: 1862_CR22 publication-title: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. doi: 10.1109/TCAD.2010.2061150 – volume-title: Introduction to Operations Research year: 2015 ident: 1862_CR12 – ident: 1862_CR37 doi: 10.2514/6.2018-3847 – ident: 1862_CR23 – volume-title: Raspberry PI User Guide year: 2014 ident: 1862_CR40 – ident: 1862_CR39 doi: 10.1109/DASC.2018.8569348 – ident: 1862_CR13 – ident: 1862_CR11 – ident: 1862_CR34 doi: 10.1109/DSD.2010.50 – ident: 1862_CR41 doi: 10.1109/MICRO.2010.15 – volume: 20 start-page: 1 year: 2020 ident: 1862_CR42 publication-title: Int. J. Comput. Technol. doi: 10.24297/ijct.v20i.8533 – ident: 1862_CR17 doi: 10.1109/DASC.2009.5347560 – volume: 48 start-page: 359 issue: 4 year: 2012 ident: 1862_CR1 publication-title: Real-Time Syst. doi: 10.1007/s11241-012-9148-y – volume: 59 start-page: 3934 issue: 10 year: 2012 ident: 1862_CR29 publication-title: IEEE Trans. Ind. Electron. doi: 10.1109/TIE.2012.2185913 – ident: 1862_CR35 – ident: 1862_CR18 doi: 10.1007/978-1-4614-1927-3_19 – ident: 1862_CR6 doi: 10.1109/ICME.2007.4285037 – volume: 23 start-page: 1287 issue: 7 year: 2015 ident: 1862_CR30 publication-title: IEEE Trans. Very Large Scale Integr. VLSI Syst. doi: 10.1109/TVLSI.2014.2333757 – volume-title: The Challenges of Developing Embedded Real-Time Aerospace Applications on Next Generation Multi-core Processors year: 2016 ident: 1862_CR33 – ident: 1862_CR36 doi: 10.1109/PDCAT.2012.99 – ident: 1862_CR3 doi: 10.1109/IPDPSW.2010.5470753 – ident: 1862_CR9 – ident: 1862_CR20 – volume-title: Civil Avionics Systems year: 2013 ident: 1862_CR28 doi: 10.2514/4.102288 – volume: 57 start-page: 840 issue: 9 year: 2011 ident: 1862_CR19 publication-title: J. Syst. Architect. doi: 10.1016/j.sysarc.2011.03.005 – ident: 1862_CR14 – ident: 1862_CR24 – volume-title: A380 ATA 42 certification year: 2007 ident: 1862_CR5 – ident: 1862_CR4 doi: 10.1109/NEWCAS.2012.6328953 – ident: 1862_CR16 doi: 10.1109/DASC43569.2019.9081642
SSID	ssj0009874
Score	2.3214548
Snippet	This work presents an online decentralized allocation algorithm of a safety-critical application on parallel computing architectures, where individual...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	874
SubjectTerms	Algorithms Applications of Mathematics Avionics Calculus of Variations and Optimal Control; Optimization Computer architecture Embedded systems Engineering Fault tolerance Graphical representations Integer programming Linear programming Mathematics Mathematics and Statistics Operations Research/Decision Theory Optimization Redundancy Safety critical Theory of Computation
SummonAdditionalLinks	– databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFA86PejBb3E6JQdvGmjTtEmORR0edIw5x26lfU1AHFXWuYN_vUk_1ikqKPTSNgnlvZe-l_fxewidKwYeyASIjM1JhwnNiaSKEaaYdkF5TBXOnNEd7_XEeCz7VVFYXme71yHJ4k-9VOwmfU5sSoHjGjuc8FW0ZtSdsA0bBg-jBmpX1NjLlHjUk1WpzPdrfFZHjY35JSxaaJvu9v--cwdtVdYlDktx2EUrKttDm0uYg-bufgHUmu8jda2q9Mynd5XiYZw_44GywfjSlYfN1Y-ntuHKBJcdIMwqOFwKP-RmlnWr2-dxhsO59fBCjsMmNH6AHrs3w6tbUnVeIGC25IwkTsod6YDLwYLDaJ3qmFvrJVU6oOBzxhIAw0dusWcEp0D9hHKt_DhIuc-8Q9TKXjJ1hDBIxlTgJpDImIGgUvPUWH2BliLQIvXayK0ZEEEFS267Y0yiBlDZEjQyBI0Kgka8jS4Wc15LUI5fR3dqvkbVBs0jc-rzOTe2kmijy5qPzeufVzv-2_ATtEGtKBQJMB3Umk3f1Clah_nsKZ-eFYL7AWvf52c priority: 102 providerName: Springer Nature
Title	Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application
URI	https://link.springer.com/article/10.1007/s10957-021-01862-7 https://www.proquest.com/docview/2595779108
Volume	191
WOSCitedRecordID	wos000648102400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAVX databaseName: SpringerLink customDbUrl: eissn: 1573-2878 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009874 issn: 0022-3239 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwELZoywEOlKdYaCsfuIFF4jiZ-IS2LyHBLtG2lMIlSia2VFFty2bpgV_PTNZpChK9IEUjOYlHkT4_JjPjb4R45QwmaGtUtqI_HZN7UFY7o4wzPkaXGNc5c04-wnSan57aIjjc2pBW2a-J3ULdXCD7yN-SmZ4C0OaWv7v8obhqFEdXQwmNNbFBlk3MKV0TXQyku3nPwqxVohMbDs2Eo3OkT3GCQhSTVa_gz41psDb_CpB2-87h5v9-8UPxIFiccrwaIo_EHTd_LO7f4CGk1uSavLV9Ity-CymbZ79cI4-r9rucOQ7Qr9x7kq6iWnARlnO5qgpBWuT4RkiipV7sauf71VyOr9jri60cD-Hyp-Lz4cHx3nsVqjEopGm6VHXUQGQjjAGZMMb7xlfAFk3jfKYxBWNqRMIWmI8mB406rTV4l1ZZA6lJnon1-cXcPRcSrTEui2usbWUw19ZDQ5Zg5m2e-bxJRiLuoSgxUJVzxYzzciBZZvhKgq_s4CthJF5f97lcEXXc-vZWj1kZJm1bDoCNxJse9eHxv7W9uF3bS3FP80DrkmC2xPpy8dNti7t4tTxrFztiDb583REbuwfTYkatD6BITqI9lvpTJwuWcESySL-RnB2d_AYQ1_nP
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB5RqFR64NGCujx9oKdisXGcOD4gtOIhEMtqVW0RtzSZ2BICLXSzBcGP4jfiyYPQSnDjgJRLXiMn_uwZz4y_AdgwEn3UKXKduJWOjKziWhjJpZHWQ-NLUzhzTruq14vOznR_Ah7qvTCUVlnPicVEnV0h-ci3nJkeKOWUW7Rz_YdT1SiKrtYlNEpYHJu7W7dky7eP9lz_fhfiYH-we8irqgIcHdzGPG1nqq3b6Ckk4hNrM5so0syZsaHAQEmZIro2KuJViZRAEaRCWRMkYaYC6Tu5H2BKErMYpQqKfkPyG9Wsz4L7wtfVJp1qq55rP6eEiLbnVhFc_asIG-v2v4BsoecOZt_bH5qDmcqiZp1yCMzDhBl-gc_PeBbd2ckTOW3-FcyeqVJSz-9NxgZJfsF-GkpAKN2XzB39ZERFZi5ZWfXCSWGdZyGX3L1FoQS6ngxZ54a82pizTpMOsAC_3uSrF2FyeDU034ChltKEXoqpTiRGQluVOUs3tDoKbZT5LfDqro-xomKniiCXcUMiTXCJHVziAi6xasGPp3euSyKSV59eqTESV5NSHjcAacFmjbLm9svSll6Xtg6fDgcn3bh71DtehmlBIC8SflZgcjz6a1bhI96Mz_PRWjFcGPx-a_Q9AsfBTb8
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB5RWlVw6BPEUtr60J5aqxvHieNDVa26XRVBV6uKVqiXNJnYEgItsFlA8NP4dczkQWilcuNQKZc8PIqTz_a8_A3AG6cxRJujtBlZOjrxRlrltNRO-wBdqF3lzPm5bcbjZHfXThbgst0Lw2mV7ZxYTdTFIbKP_AOp6ZExlqvW-CYtYjIcfTo6llxBiiOtbTmNGiJb7vyMzLfy4-aQ_vVbpUZfdj5_lU2FAYkEvbnM-4Xp2z4GBpkExfvCZ4ZX6cL5WGFktM4R6X0Nc6wkRqGKcmW8i7K4MJEOSe49uG_IxuR0wkn0qyP8TVoGaCVDFdpmw06zbY_6Ijk5oh-QRSHNn4tip-n-FZyt1rzR4__5az2BR42mLQb10HgKC276DJZv8C_S2bdr0tryObiha1JV9y5cIXaycl98d5yYULs1BR2TbMbFZw5EXQ2DpIjBjVBMSa04xMDXs6kYnLK3G0sx6NIEVuDHnfR6FRanh1O3BgKt1i4OcsxtpjFR1puCNODY2yT2SRH2IGhhkGJD0c6VQg7SjlyaoZMSdNIKOqnpwbvrNkc1QcmtT2-0eEmbyapMO7D04H2LuO72v6Wt3y7tNTwk0KXbm-OtF7CkGO9VHtAGLM5nJ-4lPMDT-V45e1WNHAG_7xp8VxWeVqs
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Decentralized+Task+Reallocation+on+Parallel+Computing+Architectures+Targeting+an+Avionics+Application&rft.jtitle=Journal+of+optimization+theory+and+applications&rft.au=Khamvilai+Thanakorn&rft.au=Sutter%2C+Louis&rft.au=Baufreton+Philippe&rft.au=Neumann+Fran%C3%A7ois&rft.date=2021-12-01&rft.pub=Springer+Nature+B.V&rft.issn=0022-3239&rft.eissn=1573-2878&rft.volume=191&rft.issue=2-3&rft.spage=874&rft.epage=898&rft_id=info:doi/10.1007%2Fs10957-021-01862-7&rft.externalDBID=HAS_PDF_LINK
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0022-3239&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0022-3239&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0022-3239&client=summon