Scheduling and memory requirements analysis with AADL

Proceedings of the ACM SIGAda Annual International Conference; SIGAda

Volumn , Issue , 2005, Pages 1-10

  Singhoff, F ^a   Legrand, J ^a   Nana, L ^a   Marce L ^a  

^a UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

Author keywords

AADL; Ada framework; Memory requirements and real time scheduling analysis

Indexed keywords

AADL; ADA FRAMEWORK; MEMORY REQUIREMENTS AND REAL TIME SCHEDULING ANALYSIS;

MATHEMATICAL MODELS; SPECIFICATIONS; SYSTEMS ENGINEERING;

COMPUTER PROGRAMMING;

EID: 33244475152     PISSN: None     EISSN: 10943641     Source Type: Conference Proceeding    
DOI: 10.1145/1104011.1103847     Document Type: Conference Paper

References (27)

1. K. E. Avrachenkov, N. O. Vilchensky, and G. L. Shevlyaokov. Priority queueing with finite buffer size and randomized push-out mechanism. Technical report, INRIA technical Report number 4434, Mar. 2002.
2. J. Blazewicz. Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems, Amsterdam, Noth-Holland, 1976.
3. K. Chen and L. Decreusefond. An Approximate Analysis of Waiting Time in Multi-classes M/G/1/./EDF Queues. 24(1), May 1997.
4. H. Ghetto, M. Silly, and T. Bouchentouf. Dynamic Scheduling of Real-time Tasks Under Precedence Constraints. Real Time Systems, The International Journal of Time-Critical Computing Systems, 2(3):181-194, September 1990.
5. F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems. John Wiley and Sons Ltd editors, 2002.
6. P. Dissaux. Using the AADL for mission critical software development. 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE - 21, 22 and 23 January 2004, Toulouse.
7. M. Gagnaire and D. Kofman. Réseaux Haut Débit : réseaux ATM, réseaux locaux, réseaux tout-optiques. Masson-Inter Editions, Collection IIA, 1996.
8. B. O. Gallmeister. POSIX 4 : Programming for the Real World. O'Reilly and Associates, January 1995.
9. S. Inc. Architecture analysis and design language (aadl) as 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 0.994, Aug. 2004.
10. L. Kleinrock. Queueing Systems : Computer Application. Wiley-interscience, 1975.
11. L. Kleinrock. Queueing Systems : theory. Wiley-interscience, 1975.
12. J. Legrand, F. Singhoff, L. Nana, L. Marcé, F. Dupont, and H. Hafidi. About Bounds of Buffers Shared by Periodic Tasks : the IRMA project. In the 15th Euromicro International Conference of Real Time Systems (WIP Session), Porto, July 2003.
13. J. Legrand, F. Singhoff, L. N. Tchamnda, and L. Marcé. Performance Analysis of Buffers Shared by Independent Periodic Tasks. LISYC Technical report number legrand-02-2004, January 2004.
14. J. P. Lehocsky. Real Time Queueing Theory, pages 186-194. Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), Washington, DC, USA, December 1996.
15. J. Leung and M. Merril. A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115-118, 1980.
16. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environnment. Journal of the Association for Computing Machinery, 20(1):46-61, January 1973.
17. L. Nana, F. Singhoff, J. Legrand, J. Vareille, P. L. Parc, F. Monin, D. Massé, L. Marcé, J. Opderbecke, M. Perrier, and V. Rigaud. Embedded intelligent supervision and piloting for oceaographic auv. IEEE Oceanic Engineering Society - OCEANS'05, France, Brest, June 2005.
18. T. G. Robertazzi. Computer Networks and Systems : queueing theory and performance evaluation. Springer-Verlag, 1990.
19. SEI. OSATE : An extensible Source AADL Tool Environment. SEI AADL Team technical Report, December 2004.
20. L. Sha, R. Rajkumar, and J. Lehoczky. Priority Inheritance Protocols : An Approach to real-time Synchronization. IEEE Transactions on computers, 39(9):1175-1185, 1990.
21. M. Sidi, H. Levy, and S. Fuhrmann. A Queueing Network with a Single Cyclically Roving Server. Queueing systems, Theory and Applications, 11:121-144, 1992.
22. F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Cheddar : a Flexible Real Time Scheduling Framework. International ACM SIGADA Conference, Atlanta, November 2004.
23. I. Stavrakakis. A Considerate Priority Queueing System with Guaranteed Policy Fairness, pages 2151-2159. In the proceedings of IEEE Infocom'92 Conference, Florence, May 1992.
24. K. W. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2-3):117-134, April 1994.
25. P. Tsigas and Y. Zhang. Non-blocking data sharing in multiprocessor real-time systems. RTCSA99, 1999.
26. T. Vergnaud, L. Pautet, and F. Kordon. Using the AADL to describe distributed applications for middleware to software components. Ada Europe 2005, 20-24 June, York, June 2005.
27. H. Zhang and D. Ferrari. Rate-Controlled Service Disciplines. In journal of High Speed Netwokrs, 4(3), 1994.