Preservation of Timing Properties with the Ada Ravenscar Profile-Reference-Cited by-同舟云学术

Preservation of Timing Properties with the Ada Ravenscar Profile

Published:2010 Issue: Volume: Page:153-166
ISSN:0302-9743
Container-title:Reliable Software Technologiey – Ada-Europe 2010
language:
Short-container-title:

Author:

Mezzetti Enrico,Panunzio Marco,Vardanega Tullio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13550-7_11.pdf

Reference15 articles.

1. Lecture Notes in Computer Science;A. Burns,1998

2. ISO SC22/WG9: Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (2005)

3. Lecture Notes in Computer Science;M. Aldea Rivas,2001

4. Universidad Politécnica de Madrid: GNATforLEON cross-compilation system, http://polaris.dit.upm.es/~ork

5. Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: Proc. of the 17th Euromicro Conference on Real-Time Systems (2005)

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

1. Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning;Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems;2018-05-28

2. Timing Analysis of the UPMSat-2 Communications Subsystem ⁎ ⁎This work has been partially funded by the Spanish National R&D&I plan (project M2C2, TIN2014-56158-C4-3-P).;IFAC-PapersOnLine;2018

3. An architectural approach with separation of concerns to address extra-functional requirements in the development of embedded real-time software systems;Journal of Systems Architecture;2014-10

4. Charting the evolution of the Ada Ravenscar code archetypes;ACM SIGAda Ada Letters;2013-06-11

5. Ada Ravenscar Code Archetypes for Component-Based Development;Reliable Software Technologies – Ada-Europe 2012;2012