Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile-Reference-Cited by-同舟云学术

Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile

Published:2017 Issue: Volume: Page:3-17
ISSN:0302-9743
Container-title:Reliable Software Technologies – Ada-Europe 2017
language:
Short-container-title:

Author:

Garrido Jorge,Zamorano Juan,Alonso Alejandro,de la Puente Juan A.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-60588-3_1

Reference17 articles.

1. ISO/IEC 8652:2012(E): Information Technology – Programming Languages – Ada (2012)

2. Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A.: Applying new scheduling theory to static priority preemptive scheduling. Softw. Eng. J. 8(5), 284–292 (1993)

3. Brandenburg, B.B.: Scheduling and locking in multiprocessor real-time operating systems. Ph.D. thesis, The University of North Carolina at Chapel Hill (2011)

4. Burns, A., Wellings, A.J.: Locking policies for multiprocessor Ada. Ada Lett. 33(2), 59–65 (2013)

5. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett. XXIV, 1–74 (2004)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multiprocessor Real-Time Locking Protocols;Handbook of Real-Time Computing;2022

2. Shared resources in multiprocessor real-time systems scheduled by RUN;Real-Time Systems;2021-09-09

3. Multiprocessor Real-Time Locking Protocols;Handbook of Real-Time Computing;2019

4. On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks;Reliable Software Technologies – Ada-Europe 2018;2018