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, 2013Abstract:
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.
Stephen Michell
Luis Miguel PinhoDocument:
View
DownloadACM 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