Login

Real-Time Programming on Accelerator Many-Core Processors
Ref: CISTER-TR-131112       Publication Date: 10 to 14, Nov, 2013

Real-Time Programming on Accelerator Many-Core Processors

Ref: CISTER-TR-131112       Publication Date: 10 to 14, Nov, 2013

Abstract:
Multi-core platforms are challenging the way software is developed, in all application domains. For the particular case of real-time systems, models for the development of parallel software must be able to be shown correct in both functional and non-functional properties at design-time. In particular, issues such as concurrency, timing behaviour and interaction with the environment need to be addressed with the same caution as for the functional requirements.
This paper proposes an execution model for the parallelization of real-time software, based upon a fine-grained parallelism support being proposed to Ada, a programming language particularly suited to the development of critical, concurrent software. We also show the correctness of the proposed model in terms of satisfying constraints related to execution order and unbounded priority inversions.

Authors:
Stephen Michell
,
Brad Moore
,
Luis Miguel Pinho


ACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM, pp 23-26.
Pittsburgh, U.S.A..

DOI:10.1145/2527269.2527270.
ISBN: 978-1-4503-2467-0.



Record Date: 1, Nov, 2013