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 ProcessorsRef: CISTER-TR-131112 Publication Date: 10 to 14, Nov, 2013
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.
ACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM, pp 23-26.