Abstract
Based on a previous proposal of an Ada 2005 framework of real-time utilities, this paper deals with the extension of that framework to include support for multiprocessor platforms and multiple operating modes and mode changes. The design of the proposed framework is also intended to be amenable to automatic code generation.
- M. Aldea, J. Miranda, and M. González-Harbour. Implementing an Application-Defined Scheduling Framework for Ada Tasking. In A. Llamosí and A. Strohmeier, editors, 9th International Conference on Reliable Software Technologies -- Ada-Europe 2004, volume 3063 of Lecture Notes in Computer Science, pages 283--296. Springer, 2004.Google Scholar
- B. Andersson and L. Pinho. Implementing Multicore Real-Time Scheduling Algorithms based on Task Splitting using Ada 2012. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 54--67. Springer, 2010. Google Scholar
Digital Library
- P. Balbastre, I. Ripoll, J. Vidal, and A. Crespo. A Task Model to Reduce Control Delays. Real-Time Systems, 27(3):215--236, September 2004. Google Scholar
Digital Library
- S. Baruah and T. P. Baker. Schedulability Analysis of Global EDF. Real-Time Systems, 38(3):223--235, April 2008. Google Scholar
Digital Library
- S. Baruah and N. Fisher. Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems. In 9th International Conference on Distributed Computing and Networking -- ICDCN, pages 215--226, 2008. Google Scholar
Digital Library
- A. Burns and A. Wellings. Concurrent and Real-Time Programming in Ada. Cambridge University Press, 2007. Google Scholar
Digital Library
- A. Burns and A. Wellings. Dispatching Domains for Multiprocessor Platforms and their Representation in Ada. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 41--53. Springer, 2010. Google Scholar
Digital Library
- E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Welsey, Reading, MA, 1995. Google Scholar
Digital Library
- M. González-Harbour and J. J. Gutiérrez. Session: Programming Patterns and Libraries. Ada User Journal, 29(1):44--46, March 2008.Google Scholar
- S. Hong, X. Hu, and M. Lemmon. Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments. In IEEE Computer Society, editor, 22nd Euromicro Conference on Real-Time Systems -- ECRTS, pages 229--238, 2010. Google Scholar
Digital Library
- S. Kato, N. Yamasaki, and Y. Ishikawa. Semi-partitioned Scheduling of Sporadic Task Systems on Multiprocessors. In IEEE Computer Society, editor, 21st Euromicro Conference on Real-Time Systems - ECRTS, pages 249--258, 2009. Google Scholar
Digital Library
- K. Lakshmanan, R. Rajkumar, and J. Lehoczky. Partitioned Fixed-Priority Preemptive Scheduling for Multi-core Processors. In IEEE Computer Society, editor, 21st Euromicro Conference on Real-Time Systems - ECRTS, pages 239--248, 2009. Google Scholar
Digital Library
- P. Pedro. Schedulability of Mode Changes in Flexible Real-Time Distributed Systems. Ph.D. thesis, University of York, Department of Computer Science, 1999.Google Scholar
- J. Real and A. Crespo. Mode Change Protocols for Real-Time Systems: A Survey and a new Proposal. Real-Time Systems, 26(2):161--197, March 2004. Google Scholar
Digital Library
- J. Real, A. Crespo, A. Burns, and A. Wellings. Protected Ceiling Changes. Ada Letters, XXII(4):66--71, 2002. Google Scholar
Digital Library
- S. Sáez and A. Crespo. Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. In J. Real and T. Vardanega, editors, 15th International Conference on Reliable Software Technologies -- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 68--82. Springer, 2010. Google Scholar
Digital Library
- A. J.Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada Letters, XXVII(2), August 2007. Google Scholar
Digital Library
- A. J. Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada User Journal, 28(1):47--53, March 2008.Google Scholar
Index Terms
Adding multiprocessor and mode change support to the Ada real-time framework
Recommendations
An integrated framework for multiprocessor, multimoded real-time applications
Ada-Europe'12: Proceedings of the 17th Ada-Europe international conference on Reliable Software TechnologiesIn this paper we propose an approach for building real-time systems under a combination of requirements: specification and handling of operating modes and mode changes; implementation on top of a multiprocessor platform; integration of both aspects ...
A real-time framework for multiprocessor platforms using Ada 2012
Ada-Europe'11: Proceedings of the 16th Ada-Europe international conference on Reliable software technologiesThe next release of the Ada language, Ada 2012, will probably incorporate explicit support for multiprocessor execution platforms. However, the implementation of multiprocessor scheduling approaches over the low-level abstractions offered by Ada forces ...
A Real-Time Framework for Ada 2005 and the Ravenscar Profile
SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsThis paper describes an object-oriented real-time framework for Ada 2005 and the Ravenscar profile. The framework uses the Ada 2005 real-time features implemented on the AVR32 UC3 microcontroller series to control the execution-time of tasks and ...






Comments