Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns

1. Arinc: Avionics Application Software Standard Interface. The Arinc Committee (January 1997)

   Google Scholar 

2. Burns, A., Wellings, A.: HRT-HOOD: A Design Method for Hard Real-time Systems. Real Time Systems Journal 6(1), 73–114 (1994)

   Article  Google Scholar 

3. Dissaux, P.: Using the AADL for mission critical software development. In: 2nd European Congress Erts, Embedded Real Time Software Toulouse (January 2004)

   Google Scholar 

4. 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 (January 2008)

   Google Scholar 

5. Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Crégut, X., Pantel, M.: From MDD Concepts to Experiments and Illustrations. In: ISTE (ed.) TOPCASED: An Open Source Development Environment for Embedded Systems, ch. 11, pp. 195–207 (September 2006)

   Google Scholar 

6. Fernandez, J.L., Marmol, G.: An Effective Collaboration of a Modeling Tool and a Simulation and Evaluation Framework. In: 18th Annual International Symposium, INCOSE 2008, Systems Engineering for the Planet, The Netherlands (June 2008)

   Google Scholar 

7. Gallmeister, B.O.: POSIX 4: Programming for the Real World. O’Reilly and Associates, Sebastopol (January 1995)

   Google Scholar 

8. Gilles, O., Hugues, J.: Expressing and enforcing user-defined constraints of AADL models. In: The Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, International workshop on AADL and UML, University of Oxford, UK, pp. 337–348 (March 2010)

   Google Scholar 

9. Harbour, M.G., Garcìa, J.G., 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 (June 2001)

   Google Scholar 

10. Hugues, J., Zalila, B., Pautet, L., Kordon, F.: 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 (June 2007)

    Google Scholar 

11. ISO 10303-1: Part 1: Overview and fundamental principles (1994)

    Google Scholar 

12. ISO 10303-11: Part 11: edition 2, EXPRESS Language Reference Manual (2004)

    Google Scholar 

13. Joseph, M., Pandya, P.: Finding Response Time in a Real-Time System. Computer Journal 29(5), 390–395 (1986)

    Article  MathSciNet  Google Scholar 

14. 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)

    Article  MathSciNet  MATH  Google Scholar 

15. Masson and Prentice-Hall: HOOD Reference Manual release 3.1, HOOD User Group (1993)

    Google Scholar 

16. Masson and Prentice-Hall: HOOD Reference Manual release 4.0, HOOD User Group (1995)

    Google Scholar 

17. OMG: A UML Profile for MARTE, Beta 1. OMG Document Number: ptc/07-08-04 (August 2007)

    Google Scholar 

18. 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)

    Chapter  Google Scholar 

19. Plantec, A., Singhoff, F.: Refactoring of an Ada 95 Library with a Meta CASE Tool. ACM SIGAda Ada Letters 26(3), 61–70 (2006)

    Article  Google Scholar 

20. Platypus Technical Summary and download (2007), http://cassoulet.univ-brest.fr/mme/

21. SAE: Architecture Analysis and Design Language (AADL) AS 5506. Tech. rep., The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.0 (January 2009)

    Google Scholar 

22. SEI: OSATE : An extensible Source AADL Tool Environment. SEI AADL Team technical Report (December 2004)

    Google Scholar 

23. Singhoff, F.: A taxonomy of real-time scheduling theory feasibility tests. LISyC Technical report, number singhoff-01-2010 (February 2010), http://beru.univ-brest.fr/~singhoff/cheddar

24. Singhoff, F., Plantec, A.: Towards User-Level extensibility of an Ada library: an experiment with Cheddar. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 180–191. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

25. Singhoff, F., Plantec, A., Dissaux, P., Legrand, J.: Investigating the usability of real-time scheduling theory with the Cheddar project. Journal of Real-Time Systems 43(3), 259–295 (2009)

    Article  MATH  Google Scholar 

26. Sokolsky, O., Lee, I., Clark, D.: Schedulability Analysis of AADL models. In: International Parallel and Distributed Processing Symposium, IPDPS 2006, vol. 2006 (April 2006)

    Google Scholar 

27. 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. Springer, Heidelberg (2006)

    MATH  Google Scholar 

28. Tanenbaum, A.: Modern Operating Systems. Prentice-Hall, Englewood Cliffs (2001)

    MATH  Google Scholar 

Download references