Skip to main content
SpringerLink
Log in

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

  • Conference paper
Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6415))

Abstract

This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory. To perform verifications with the real-time scheduling theory, the architecture designers must check that their models are compliant with the assumptions of this theory. Unfortunately, this task is difficult since it requires that designers have a deep understanding of the real-time scheduling theory. In this article, we investigate how to help designers to check that an architecture model is compliant with this theory. We focus on feasibility tests. Feasibility tests are analytical methods proposed by the real-time scheduling theory. We show how to explicitly model the relationships between an architectural model and feasibility tests. From these models, we apply a model-based engineering process to generate a decision tool what is able to detect from an architecture model which are the feasibility tests that the designer can apply.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

Author information

Authors and Affiliations

  1. LISyC, University of Brest, UEB, 20 av. Le Gorgeu, 29238, Brest, France

    Alain Plantec & Frank Singhoff

  2. Ellidiss Technologies, 24 quai de la douane, 29200, Brest, France

    Pierre Dissaux & Jérôme Legrand

Authors
  1. Alain Plantec
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Singhoff
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pierre Dissaux
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jérôme Legrand
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technical University of Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Plantec, A., Singhoff, F., Dissaux, P., Legrand, J. (2010). Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16558-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16558-0_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16557-3

  • Online ISBN: 978-3-642-16558-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation