-------------------------------------- ------------------------------------------ ------------------------------------------------------------------------------ -- Cheddar is a GNU GPL real time scheduling analysis tool. -- This program provides services to automatically check performances -- of real time architectures. -- -- Copyright (C) 2002-2010, by Frank Singhoff, Alain Plantec, Jerome Legrand -- -- The Cheddar project was started in 2002 by -- the LISyC Team, University of Western Britanny. -- -- Since 2008, Ellidiss technologies also contributes to the development of -- Cheddar and provides industrial support. -- -- This program is free software; you can redistribute it and/or modify -- it under the terms of the GNU General Public License as published by -- the Free Software Foundation; either version 2 of the License, or -- (at your option) any later version. -- -- This program is distributed in the hope that it will be useful, -- but WITHOUT ANY WARRANTY; without even the implied warranty of -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -- GNU General Public License for more details. -- -- You should have received a copy of the GNU General Public License -- along with this program; if not, write to the Free Software -- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -- -- -- Contact : cheddar@listes.univ-brest.fr -- ----------------------------------------------------------------------------- -- Last update : -- $Rev: 523 $ -- $Date: 2012-09-26 14:09:39 +0100 (Wed, 26 Sep 2012) $ -- $Author: fotsing $ ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with unbounded_strings; use unbounded_strings; package References is -- Define a tabulation (7 spaces) -- Tab : constant Unbounded_String := To_Unbounded_String (" "); -- This variable contains the formatted text of all publicatons -- references -- Ref_Text : constant Unbounded_String := unbounded_lf & To_Unbounded_String ("[1] Preemptive and Non-Preemptive") & unbounded_lf & Tab & To_Unbounded_String ("Real Time Uni-Processor Scheduling.") & unbounded_lf & Tab & To_Unbounded_String ("L. George, N. Rivierre and M. Spuri") & unbounded_lf & Tab & To_Unbounded_String ("INRIA Research Report number 2966.") & unbounded_lf & Tab & To_Unbounded_String ("September 1996.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[2] Holistic Schedulability Analysis for ") & unbounded_lf & Tab & To_Unbounded_String ("Distributed Hard Real-Time Systems.") & unbounded_lf & Tab & To_Unbounded_String ("K. Tindell and J. Clark") & unbounded_lf & Tab & To_Unbounded_String ("Microprocessing and Microprogramming ") & unbounded_lf & Tab & To_Unbounded_String ("40:117-134. 1994.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[3] Priority Inheritance Protocols : An ") & unbounded_lf & Tab & To_Unbounded_String ("Approach to Real Time Synchronization.") & unbounded_lf & Tab & To_Unbounded_String ("L. Sha, R. Rajkumar and J.P. Lehoczky") & unbounded_lf & Tab & To_Unbounded_String ("IEEE Transactions on computers,") & unbounded_lf & Tab & To_Unbounded_String ("39(9):1175-1185. 1990.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[4] About Bounds of Buffers Shared by") & unbounded_lf & Tab & To_Unbounded_String ("Periodic Tasks : the IRMA project.") & unbounded_lf & Tab & To_Unbounded_String ("J. Legrand, F. Singhoff, L Nana, ") & unbounded_lf & Tab & To_Unbounded_String ("L. Marce, F. Dupont and H. Hafidi") & unbounded_lf & Tab & To_Unbounded_String ("In the 15th IEEE Euromicro, WIP") & unbounded_lf & Tab & To_Unbounded_String ("Real Time Systems Conference, 2003.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[5] Scheduling dependant tasks with") & unbounded_lf & Tab & To_Unbounded_String ("Different Arrival Times to Meet Deadlines.") & unbounded_lf & Tab & To_Unbounded_String ("J. Blazewicz") & unbounded_lf & Tab & To_Unbounded_String ("In. Gelende H. Beilner (eds), ") & unbounded_lf & Tab & To_Unbounded_String ("Modeling and Performance Evaluation") & unbounded_lf & Tab & To_Unbounded_String ("of Computer Systems,. Amsterdam 1976") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[6] Dynamic Scheduling of Real Time") & unbounded_lf & Tab & To_Unbounded_String ("Tasks Under Precedence Constraints.") & unbounded_lf & Tab & To_Unbounded_String ("H. Chetto, M. Silly and T. Bouchentouf") & unbounded_lf & Tab & To_Unbounded_String ("RTS International Journal of Time") & unbounded_lf & Tab & To_Unbounded_String ("Critical Computing Systems. 2(3):181-194,") & unbounded_lf & Tab & To_Unbounded_String ("September 1990.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[7] Scheduling Algorithms for multi-Programming") & unbounded_lf & Tab & To_Unbounded_String ("in a hard-real-time envirronment.") & unbounded_lf & Tab & To_Unbounded_String ("C. L. Liu and J. W. Layland ") & unbounded_lf & Tab & To_Unbounded_String ("Journal of the ACM, 20 (1):46--61,1973.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[8] On non preemptive Scheduling of periodic and") & unbounded_lf & Tab & To_Unbounded_String ("Sporadic Tasks") & unbounded_lf & Tab & To_Unbounded_String ("K. Jeffay, D.Stanat, C. Martel ") & unbounded_lf & Tab & To_Unbounded_String ("in Proc. Of IEEE Real Time Systems Symposium") & unbounded_lf & Tab & To_Unbounded_String ("San Antonio, Texas, December 1991") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[9] Assigning Real-Time Tasks to Homogeneous") & unbounded_lf & Tab & To_Unbounded_String ("Multiprocessor Systems .") & unbounded_lf & Tab & To_Unbounded_String ("A. Burchard, Y. Oh. Liebeherr, and S. H. Son ") & unbounded_lf & Tab & To_Unbounded_String ("Technical Report CS-94-01, ") & unbounded_lf & Tab & To_Unbounded_String ("University of Virginia, ") & unbounded_lf & Tab & To_Unbounded_String ("1994 Department of Computer Science. ") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[10] Tight Performance Bounds of Heuristics ") & unbounded_lf & Tab & To_Unbounded_String ("for a Real-Time Scheduling Problem.") & unbounded_lf & Tab & To_Unbounded_String ("Y. Oh and S. H. Son. ") & unbounded_lf & Tab & To_Unbounded_String ("Technical Report CS93-24, ") & unbounded_lf & Tab & To_Unbounded_String ("University of Virginia, ") & unbounded_lf & Tab & To_Unbounded_String ("1993 Department of Computer Science.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[11] Performance Analysis of Buffers Shared ") & unbounded_lf & Tab & To_Unbounded_String ("by Independent Periodic Tasks.") & unbounded_lf & Tab & To_Unbounded_String ("J. Legrand, F. Singhoff, L Nana") & unbounded_lf & Tab & To_Unbounded_String ("and L. Marce") & unbounded_lf & Tab & To_Unbounded_String ("LYSIC Technical report number legrand-02-2004, ") & unbounded_lf & Tab & To_Unbounded_String ("University of Brest, ") & unbounded_lf & Tab & To_Unbounded_String ("2005 Department of Computer Science.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[12] Queueing systems. Volume I : Theory ") & unbounded_lf & Tab & To_Unbounded_String ("L. Kleinrock") & unbounded_lf & Tab & To_Unbounded_String ("A Wiley interscience publication.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[13] Analyse de tampons partagés ") & unbounded_lf & Tab & To_Unbounded_String ("par des taches périodiques et indépendantes.") & unbounded_lf & Tab & To_Unbounded_String ("J. Legrand, F. Singhoff, L Nana") & unbounded_lf & Tab & To_Unbounded_String ("and L. Marce") & unbounded_lf & Tab & To_Unbounded_String ("LYSIC Technical report number legrand-01-2005, ") & unbounded_lf & Tab & To_Unbounded_String ("University of Brest, ") & unbounded_lf & Tab & To_Unbounded_String ("2005 Department of Computer Science.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[14] Extending Rate Monotonic Analysis ") & unbounded_lf & Tab & To_Unbounded_String ("when Tasks Share Buffers.") & unbounded_lf & Tab & To_Unbounded_String ("F. Singhoff, J. Legrand, L Nana ") & unbounded_lf & Tab & To_Unbounded_String ("and L. Marce") & unbounded_lf & Tab & To_Unbounded_String ("In the DAta Systems in Aerospace conference") & unbounded_lf & Tab & To_Unbounded_String ("(DASIA'2004), ESA Publication Division") & unbounded_lf & Tab & To_Unbounded_String (" - Nice (France), 2004.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[15] Cheddar : a Flexible Real Time") & unbounded_lf & Tab & To_Unbounded_String ("Scheduling Framework. ") & unbounded_lf & Tab & To_Unbounded_String ("F. Singhoff, J. Legrand, L Nana ") & unbounded_lf & Tab & To_Unbounded_String ("and L. Marce") & unbounded_lf & Tab & To_Unbounded_String ("In the ACM SIGADA Conference, Atlanta,") & unbounded_lf & Tab & To_Unbounded_String ("15-18 November, 2004.") & unbounded_lf & Tab & To_Unbounded_String ("Also published in the SIGADA Ada Letters.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[16] Scheduling and Memory requirement") & unbounded_lf & Tab & To_Unbounded_String ("analysis with AADL.") & unbounded_lf & Tab & To_Unbounded_String ("F. Singhoff, J. Legrand, L Nana ") & unbounded_lf & Tab & To_Unbounded_String ("and L. Marce") & unbounded_lf & Tab & To_Unbounded_String ("In the ACM SIGADA Conference, Atlanta,") & unbounded_lf & Tab & To_Unbounded_String ("November, 2005.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[17] Faisabilité d'une application de supervision : ") & unbounded_lf & Tab & To_Unbounded_String ("le projet IRMA.") & unbounded_lf & Tab & To_Unbounded_String ("J. Legrand, F. Singhoff, L. Nana ") & unbounded_lf & Tab & To_Unbounded_String ("and L. Marce") & unbounded_lf & Tab & To_Unbounded_String ("11th Conference RTS embedded systems 2003,") & unbounded_lf & Tab & To_Unbounded_String ("Paris (France). April 2003.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[18] Limitation of the Hyper-Period in ") & unbounded_lf & Tab & To_Unbounded_String ("Real-Time Periodic Task Set Generation.") & unbounded_lf & Tab & To_Unbounded_String ("J. Goossens and C. Macq") & unbounded_lf & Tab & To_Unbounded_String ("9th Conference RTS embedded systems 2001,") & unbounded_lf & Tab & To_Unbounded_String ("Paris (France). Page 133-148.") & unbounded_lf & unbounded_lf & To_Unbounded_String ("[19] Rate Monotonic vs. EDF: Judgment Day.") & unbounded_lf & Tab & To_Unbounded_String ("G. Buttazzo") & unbounded_lf & Tab & To_Unbounded_String ("Real-Time Systems, Vol. 29, ") & unbounded_lf & Tab & To_Unbounded_String ("Issue 1, pp. 5-26, January 2005.") & unbounded_lf & unbounded_lf & unbounded_lf & unbounded_lf & unbounded_lf; end References;