Avionics Applications on a Time-Predictable Chip-Multiprocessor

André Rocha; Cláudio Silva; Rasmus Bo Sørensen; Jens Sparsø; Martin Schoeberl

doi:10.1109/PDP.2016.36

Avionics Applications on a Time-Predictable Chip-Multiprocessor

André Rocha, Cláudio Silva, Rasmus Bo Sørensen, Jens Sparsø, Martin Schoeberl

GMV

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

Avionics applications need to be certified for the highest criticality standard. This certification includes schedulability analysis and worst-case execution time (WCET) analysis. WCET analysis is only possible when the software is written to be WCET analyzable and when the platform is time-predictable. In this paper we present prototype avionics applications that have been ported to the time-predictable T-CREST platform. The applications are WCET analyzable, and T-CREST is supported by the aiT WCET analyzer. This combination allows us to provide WCET bounds of avionic tasks, even when executing on a multicore processor.

Original language	English
Title of host publication	Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
Publisher	IEEE
Publication date	2016
Pages	777-785
ISBN (Print)	978-1-4673-8775-0
DOIs	https://doi.org/10.1109/PDP.2016.36
Publication status	Published - 2016
Event	24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016) - Heraklion, Crete, Greece Duration: 17 Feb 2016 → 19 Feb 2016 Conference number: 24 http://www.pdp2016.org/

Conference

Conference	24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)
Number	24
Country/Territory	Greece
City	Heraklion, Crete
Period	17/02/2016 → 19/02/2016
Internet address	http://www.pdp2016.org/

Access to Document

10.1109/PDP.2016.36

OpenUrl availability

Full text

Cite this

@inproceedings{4d20d6c1a02e402d838748fa828a045e,

title = "Avionics Applications on a Time-Predictable Chip-Multiprocessor",

abstract = "Avionics applications need to be certified for the highest criticality standard. This certification includes schedulability analysis and worst-case execution time (WCET) analysis. WCET analysis is only possible when the software is written to be WCET analyzable and when the platform is time-predictable. In this paper we present prototype avionics applications that have been ported to the time-predictable T-CREST platform. The applications are WCET analyzable, and T-CREST is supported by the aiT WCET analyzer. This combination allows us to provide WCET bounds of avionic tasks, even when executing on a multicore processor.",

author = "Andr{\'e} Rocha and Cl{\'a}udio Silva and S{\o}rensen, {Rasmus Bo} and Jens Spars{\o} and Martin Schoeberl",

year = "2016",

doi = "10.1109/PDP.2016.36",

language = "English",

isbn = "978-1-4673-8775-0",

pages = "777--785",

booktitle = "Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)",

publisher = "IEEE",

address = "United States",

note = "24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), PDP ; Conference date: 17-02-2016 Through 19-02-2016",

url = "http://www.pdp2016.org/",

}

Rocha, A, Silva, C, Sørensen, RB, Sparsø, J & Schoeberl, M 2016, Avionics Applications on a Time-Predictable Chip-Multiprocessor. in Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). IEEE, pp. 777-785, 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), Heraklion, Crete, Greece, 17/02/2016. https://doi.org/10.1109/PDP.2016.36

Avionics Applications on a Time-Predictable Chip-Multiprocessor. / Rocha, André; Silva, Cláudio; Sørensen, Rasmus Bo et al.
Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). IEEE, 2016. p. 777-785.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Avionics Applications on a Time-Predictable Chip-Multiprocessor

AU - Rocha, André

AU - Silva, Cláudio

AU - Sørensen, Rasmus Bo

AU - Sparsø, Jens

AU - Schoeberl, Martin

N1 - Conference code: 24

PY - 2016

Y1 - 2016

N2 - Avionics applications need to be certified for the highest criticality standard. This certification includes schedulability analysis and worst-case execution time (WCET) analysis. WCET analysis is only possible when the software is written to be WCET analyzable and when the platform is time-predictable. In this paper we present prototype avionics applications that have been ported to the time-predictable T-CREST platform. The applications are WCET analyzable, and T-CREST is supported by the aiT WCET analyzer. This combination allows us to provide WCET bounds of avionic tasks, even when executing on a multicore processor.

AB - Avionics applications need to be certified for the highest criticality standard. This certification includes schedulability analysis and worst-case execution time (WCET) analysis. WCET analysis is only possible when the software is written to be WCET analyzable and when the platform is time-predictable. In this paper we present prototype avionics applications that have been ported to the time-predictable T-CREST platform. The applications are WCET analyzable, and T-CREST is supported by the aiT WCET analyzer. This combination allows us to provide WCET bounds of avionic tasks, even when executing on a multicore processor.

U2 - 10.1109/PDP.2016.36

DO - 10.1109/PDP.2016.36

M3 - Article in proceedings

SN - 978-1-4673-8775-0

SP - 777

EP - 785

BT - Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)

PB - IEEE

T2 - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016)

Y2 - 17 February 2016 through 19 February 2016

ER -

Avionics Applications on a Time-Predictable Chip-Multiprocessor

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this