Can we increase the usability of real time scheduling theory? The Cheddar project

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5026 LNCS, Issue , 2008, Pages 240-253

  Singhoff, Frank ^a   Plantec, Alain ^a   Dissaux, Pierre ^b  

^a UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

^b Ellidiss Technologies   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); SCHEDULING;

(E ,2E) THEORY; HEIDELBERG (CO); INDUSTRIAL PROJECTS; INTERNATIONAL CONFERENCES; PERFORMANCE ANALYSES; REAL-TIME SCHEDULING THEORY; SOFTWARE TECHNOLOGIES; SPRINGER (CO);

TECHNOLOGY;

EID: 45849115488     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68624-8_18     Document Type: Conference Paper

References (28)

1. Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environnment. Journal of the Association for Computing Machinery 20(1), 46-61 (1973)
2. Sha, L., Rajkumar, R., Lehoczky, J.: Priority Inheritance Protocols: An Approach to real-time Synchronization. IEEE Transactions on computers 39(9), 1175-1185 (1990)
3. Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy. P.: Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1. LNCS, vol. 4348(XXII). Springer, Heidelberg (2006)
4. SEI: The Rate Monotonic Analysis. Technical report, In the Software Technology Roadmap (2003), http://www.sei.emu.edu/str/descriptions/rma_body.html
5. Tindell. K.W., Clark. J.: Holistic scheduliability analysis for distributed hard realtime systems. Microprocessing and Microprogramming 40(2-3), 117-134 (1994)
6. Leung, J., Merril. M.: A note on preemptive scheduling of periodic real time tasks. Information processing Letters 3(11), 115-118 (1980)
7. George, L., Rivierre, N., Spuri, M.: Preemptive and Non-Preemptive Real-time Uni-processor Scheduling, INRIA Technical report number 2966 (1996)
8. Harbour, M.C, Garcia, J.C. Gutiérrez. J.P., Moyano. J.D.: MAST: Modeling and Analysis Suite for Real Time Applications. In: Proc. of the 13th Euromicro Conference on Real-Time Systems. Delft. The Netherlands, pp. 125-134 (2001)
9. Tri-Pacific: Rapid-RMA : The Art of Modeling Real-Time Systems (2003), http://www.tripac.com/html/prod-fact-rrm.html
10. Dissaux, P., Singhoff, F.: Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures. In: Proceedings of the European Real Time System conference, Toulouse, France (2008)
11. Hugues, J., Zalila. B., Pautet, L.: Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In: 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007), Porto Allegre. Brazil (2007)
12. Panunzio, M., Vardanega, T.: A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 128-141. Springer, Heidelberg (2007)
13. Frédéric, T., Gérard, S., Delatour, J.: Towards an UML 2.0 profile for real-time execution platform modeling. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 2006) Work ill progress session (2006)
14. Inc., S.: 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 1.0 (2004)
15. Singhoff. F., Legrand, J., Nana, L., Marcé. L.: Scheduling and Memory requirements analysis with AADL. In: ACM SIGAda Ada Letters, vol. 25(4), pp. 1-10. ACM Press. New York (2005)
16. Singhoff, F.: The Cheddar AADL property set (Release 2.x, LISyC Technical report, number singhoff-03-2007) (2007), http://beru.univ-brest.fr/~singhoff/ cheddar
17. Inc., S.: AADL Annex Behavior (draft V1.6), AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report (2007)
18. Legrand, J., Singhoff, F., Nana, L., Marcé, L.: Performance Analysis of Buffers Shared by Independent Periodic Tasks, LISyC Technical report, number legrand02-2004 (2004), http://beru.univ-brest.fr/~singhoff/ cheddar
19. Arinc: Avionics Application Software Standard Interface. The Arinc Committee (1997)
20. Wells, L.: Performance Analysis using CPN Tools. Iu: Proceedings of the First International Conference on Performance Evaluation Methodologies and Tools 2006. ValueTools 2006. ACM Press, New York (2006)
21. Platypus Technical Summary and download (2007), http ://cassoulet.univ- brest.fr/mme/
22. Singhoff. F.: Cheddar Release 2.x User's Guide, LISyC Technical report, number singhoff-01-2007 (2007). http://beru.univ-brest.fr/~singhoff/cheddar
23. Alur, R., Dill, D.L.: Automata for modeling real time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 322-335. Springer, Heidelberg (1990)
24. Behrmann, C. David, A., Larsen, K.G.: A Tutorial on UPPAAL, Technical Report Updated the 17th November 2004, Department of Computer Science. Aalbord University. Denmark (2004)
25. Kay, J., Lauder, P.: A Fair Share Scheduler. Communications of the ACM 31, 44-45 (1988)
26. Gallmeister, B.O.: POSIX 4: Programming for the Real World. O'Reilly and Associates, Sebastopol (1995)
27. Singhoff, F., Plantec, A.: AADL Modeling and Analysis of a hierarchical schedulers. In: ACM SIGAda Ada Letters, vol. 27(3), pp. 41-50. ACM Press. New York (2007)
28. Barnes, J.: High integrity software: The Spark approach to safety and security. Addison-Wesley Publishing Company, Reading (2003)