skip to main content
research-article

Applicability of real-time schedulability analysis on a software radio protocol

Published:02 December 2012Publication History
Skip Abstract Section

Abstract

In this paper, we present our experience on integrating timing constraint verification and analysis, by using the real-time scheduling theory, in an industrial context. The verification process has been integrated into a design flow at THALES Communications & Security. We focus our work on Software Radio Protocols (SRP). We have used Model-Driven Engineering technologies and the Cheddar schedulability analysis tool for our experiment. We show how we have modeled a complete SRP in UML MARTE, a profile for real-time embedded systems, before using model transformation to extract information for schedulability analysis with Cheddar.

References

  1. A. Atlas and A. Bestavros. Statistical rate monotonic scheduling. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 123--132. IEEE Comput. Soc, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. N. Audsley, I. Gray, and S. Indrusiak. Model-based development of embedded systems - the MADES approach. In Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design, 2011.Google ScholarGoogle Scholar
  3. AUTOSAR. AUTOSAR specification, 2011.Google ScholarGoogle Scholar
  4. T. S. Chan. Time-Division multiple access. In Handbook of Computer Networks, pages 769--778. John Wiley & Sons, Inc., Hoboken, NJ, USA, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  5. J. A. Davidson. On the architecture of secure software defined radios. In Proceedings of the 2008 IEEE Military Communications Conference, pages 1--7.IEEE, 2008.Google ScholarGoogle ScholarCross RefCross Ref
  6. J. DeAntoni and F. Mallet. TimeSquare: treat your models with logical time. In Objects, Models, Components, Patterns, volume 7304, pages 34--41. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. V. Debruyne, F. Simonot-Lion, and Y. Trinquet. EAST-ADL - an architecture description language. In Architecture Description Languages, volume 176, pages 181--195. Springer-Verlag, New York, 2005.Google ScholarGoogle Scholar
  8. P. Dissaux and F. Singhoff. Stood and cheddar : AADL as a pivot language for analysing performances of real time architectures. In Proceedings of the 4th European Congress on Embedded Real Time Software and System, 2008.Google ScholarGoogle Scholar
  9. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The architecture analysis & design language (AADL): an introduction. Technical Report ADA455842, Software Engineering Institute, Pittsburgh, 2006.Google ScholarGoogle ScholarCross RefCross Ref
  10. C. Fotsing, A. Geniet, and G. Vidal-Naquet. A realistic model of Real-Time systems for efficient scheduling. In Proceedings of the 33rd IEEE Software Engineering Workshop, pages 3--12. IEEE, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. M. G. Harbour, J. G. Garcia, J. Palencia, and J. Drake Moyano. MAST: modeling and analysis suite for real time applications. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, pages 125--134. IEEE Comput. Soc, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System level performance analysis - the SymTA/S approach. IEEE Computers and Digital Techniques, 152(2):148, 2005.Google ScholarGoogle ScholarCross RefCross Ref
  13. T. S. Inc. Tri-Pacific software inc. : RAPID RMA. http://www.tripac.com/rapid-rma.Google ScholarGoogle Scholar
  14. JTRS. Software communication architecture specification, 2012.Google ScholarGoogle Scholar
  15. L. Ju, A. Roychoudhury, and S. Chakraborty. Schedulability analysis of MSC-based system models. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium 2008, pages 215--224. IEEE, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. K. Klobedanz, C. Kuznik, A. Thuy, and W. Mueller. Timing modeling and analysis for AUTOSAR-based software development: a case study. In Proceedings of the Conference on Design, Automation and Test in Europe 2010, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a Hard-Real-Time environment. Journal of the ACM, 20(1):46--61, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. E. Maes and N. Vienne. MARTE to cheddar transformation using ATL. Technical report, THALES Research & Technologies, 2007.Google ScholarGoogle Scholar
  19. J. Medina and l. G. Cuesta. From composable design models to schedulability analysis with UML and the UML profile for MARTE. In Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2010.Google ScholarGoogle Scholar
  20. N. Medvidovic and R. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70--93, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. J. Mitola. The software radio architecture. IEEE Communications Magazine, 33(5):26--38, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. A. Mok and D. Chen. A multiframe model for real-time tasks. IEEE Transactions on Software Engineering, 23(10):635--645, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. OMG. CORBA component model specification, 2006.Google ScholarGoogle Scholar
  24. OMG. EXPRESS specification, 2010.Google ScholarGoogle Scholar
  25. OMG. CORBA specification, 2011.Google ScholarGoogle Scholar
  26. OMG. MARTE specification, 2011.Google ScholarGoogle Scholar
  27. J. Palencia and M. G. Harbour. Schedulability analysis for tasks with static and dynamic offsets. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 26--37. IEEE Comput. Soc, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Papyrus. Papyrus. http://www.eclipse.org/modeling/mdt/papyrus/.Google ScholarGoogle Scholar
  29. P. Pillai and K. G. Shin. Real-time dynamic voltage scaling for low-power embedded operating systems. ACM SIGOPS Operating Systems Review, 35(5):89, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. A. Plantec and F. Singhoff. Refactoring of an ada 95 library with a meta CASE tool. In Proceedings of the 2006 annual ACM SIGAda international conference on Ada. ACM Press, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. PrismTech. Spectra CX the SCA development tool. http://www.prismtech.com/spectra/products/spectracx.Google ScholarGoogle Scholar
  32. I. R. Quadri, A. Sadovykh, and L. S. Indrusiak. MADES: a SysML/MARTE high level methodology for real-time and embedded systems. In Proceedings of the 2012 Embedded Realtime Software and Systems Conference, 2012.Google ScholarGoogle Scholar
  33. X. Renault, F. Kordon, and J. Hugues. Adapting models to model checkers, a case study : Analysing AADL using time or colored petri nets. In Proceedings of the 20th IEEE International Workshop on Rapid System Prototyping, pages 26--33, Paris, 2009. IEEE. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. D. Schmidt. Guest editor's introduction: Model-Driven engineering. Computer, 39(2):25--31, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. S. Sendall and W. Kozaczynski. Model transformation: the heart and soul of model-driven software development. IEEE Software, 20(5):42--45, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. L. Sha, T. Abdelzaher, K.-E. Arzen, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. K. Mok. Real time scheduling theory: A historical perspective. Real-Time Systems, 28(2-3):101--155, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. F. Singhoff, J. Legrand, L. Nana, and L. Marce. Cheddar: a flexible real time scheduling framework. In Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada, pages 1--8. ACM Press, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand. Investigating the usability of real-time scheduling theory with the cheddar project. Real-Time Systems, 43(3):259--295, 2009. 10.1007/s11241-009-9072-y. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Smartesting. Smartesting. http://www.smartesting.com/index.php/cms/en/home.Google ScholarGoogle Scholar
  41. Softeam. Modelio. http://www.modeliosoft.com/.Google ScholarGoogle Scholar
  42. I. Software. IBM software - rational software architect family. http://www- 01.ibm.com/software/awdtools/swarchitect/.Google ScholarGoogle Scholar
  43. M. Stigge. Schedulability analysis with variable computation time of tasks. Technical report, UPPSALA, 2007.Google ScholarGoogle Scholar
  44. Symtavision. Symtavision - SymTA/S. http://www.symtavision.com/symtas.html.Google ScholarGoogle Scholar
  45. N. Tchidjo Moyo, E. Nicollet, F. Lafaye, and C. Moy. On schedulability analysis of non-cyclic generalized multiframe tasks. In Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems, pages 271--278. IEEE, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  46. THALES. MyCCM. http://sourceforge.net/apps/trac/myccm-hi/wiki.Google ScholarGoogle Scholar
  47. K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2-3):117--134, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  48. VERDE Consortium. ITEA VERDE. http://www.itea-verde.org/.Google ScholarGoogle Scholar
  49. VideoLAN. VideoLAN. http://www.videolan.org/vlc/index.html.Google ScholarGoogle Scholar
  50. H. Zimmermann. OSI reference Model-The ISO model of architecture for open systems interconnection. IEEE Transactions on Communications, 28(4):425--432, 1980.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Applicability of real-time schedulability analysis on a software radio protocol

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!