Model-Driven Design of Software Defined Radio Applications Based on UML

Chapter
Part of the Embedded Systems book series (EMSY, volume 20)

Abstract

Model-driven design (MDD) is considered a very promising approach to cope with the design of complex software applications such as software defined radio (SDR). This chapter proposes an MDD methodology for SDR applications. Our approach comprises: (1) DiplodocusDF, a domain-specific modelling language for SDR applications, it is a domain specific UML profile. (2) The mechanism to transform DiplodocusDF models into C-language code ready for compilation, and (3) a runtime environment for execution of the generated code. Moreover, the proposed UML profile is supported by TTool, which is a framework for design exploration and formal verification at model level. We illustrate the potential of our methodology designing a SDR application.

Notes

Acknowledgments

The research leading to these results has received funding from the European Community’s Seventh Framework Programme (FP7/2007-2013) under grant agreement SACRA n\(^{o}\) 249060.

References

  1. 1.
    Ulversoy, T.: Software defined radio: Challenges and opportunities. Communications surveys tutorials, IEEE PP(99), 1–20 (2010). doi: 10.1109/SURV.2010.032910.00019
  2. 2.
    Nussbaum, D., Kalfallah, K., Knopp, R., Moy, C., Nafkha, A., Leray, P., Delorme, M., Palicot, J., Martin, J., Clermidy, F., Mercier, B., Pacalet, R.: Open platform for prototyping of advanced software defined radio and cognitive radio techniques. In: Digital system design, architectures, methods and tools, 2009. DSD ’09. 12th euromicro conference on, pp. 435–440 (2009). doi:  10.1109/DSD.2009.123
  3. 3.
    Schmidt, D.: Guest editor’s introduction: Model-driven engineering. Computer 39(2), 25–31 (2006). doi: 10.1109/MC.2006.58 CrossRefGoogle Scholar
  4. 4.
    France, R., Ghosh, S., Dinh-Trong, T., Solberg, A.: Model-driven development using uml 2.0: Promises and pitfalls. Computer 39(2), 59–66 (2006). doi: 10.1109/MC.2006.65 CrossRefGoogle Scholar
  5. 5.
    Selic, B.: The pragmatics of model-driven development. Software IEEE 20(5), 19–25 (2003). doi: 10.1109/MS.2003.1231146 CrossRefGoogle Scholar
  6. 6.
    Apvrille, L., Courtiat, J.P., Lohr, C., de Saqui-Sannes, P.: Turtle: A real-time uml profile supported by a formal validation toolkit. Softw. Eng. IEEE Trans. 30(7), 473–487 (2004). doi:  10.1109/TSE.2004.34. http://labsoc.comelec.enst.fr/turtle/ttool.html
  7. 7.
    Che, W., Panda, A., Chatha, K.: Compilation of stream programs for multicore processors that incorporate scratchpad memories. In: Design, automation test in Europe conference exhibition (DATE), 2010, pp. 1118–1123 (2010)Google Scholar
  8. 8.
    Chapin, J., Lum, V., Muir, S.: Experiences implementing gsm in rdl (the vanu radio description language trade;). In: Military communications conference, 2001. MILCOM 2001. Communications for network-centric operations: Creating the information force. IEEE, vol. 1, pp. 213–217 vol. 1 (2001). doi:  10.1109/MILCOM.2001.985792
  9. 9.
    Jair Gonzalez-Pina, R.A.B.R.P.: Diplodocusdf, a domain-specific modelling language for software defined radio applications. In: Software engineering and advanced applications (SEAA), 2012 38th EUROMICRO conference on, vol. 1, pp. 213–217 vol. 1 (2012)Google Scholar
  10. 10.
    Papadopoulos, G.: Automatic code generation: a practical approach. In: Information technology interfaces, 2008. ITI 2008. 30th international conference on, pp. 861–866 (2008). doi:  10.1109/ITI.2008.4588524
  11. 11.
    Zhu, Y., Sun, Z., Wong, W.F., Maxiaguine, A.: Using uml 2.0 for system level design of real time soc platforms for stream processing. In: Embedded and real-time computing systems and applications, 2005. Proceedings of 11th IEEE international conference pp. 154–159 (2005). doi:  10.1109/RTCSA.2005.101
  12. 12.
    Vidal, J., de Lamotte, F., Gogniat, G., Soulard, P., Diguet, J.P.: A co-design approach for embedded system modeling and code generation with uml and marte. In: Design, automation test in Europe conference exhibition, 2009. DATE ’09, pp. 226–231 (2009)Google Scholar
  13. 13.
    Yang, X.: A feasibility study of uml in the software defined radio. In: Electronic design, test and applications, 2004. DELTA 2004. Second IEEE international workshop on, pp. 157–162 (2004). doi:  10.1109/DELTA.2004.10050
  14. 14.
    Green, P., Essa, S.: Integrating the synchronous dataflow model with uml. In: Design, automation and test in Europe conference and exhibition, 2004 Proceedings, vol. 1, pp. 736–737 Vol. 1 (2004). doi:  10.1109/DATE.2004.1268954
  15. 15.
    Störrle, H.: Semantics of UML 2.0 activities with data-flow. In: Nordic workshop on UML (NWUML’04) (2004)Google Scholar
  16. 16.
    Dennis, J.: Data flow supercomputers. Computer 13(11), 48–56 (1980). doi: 10.1109/MC.1980.1653418 CrossRefGoogle Scholar
  17. 17.
    Kahn, G.: The semantics of a simple language for parallel programming. IFIP Cong (1974)Google Scholar
  18. 18.
    Pont, M.J.: Applying time-triggered architectures in reliable embedded systems: Challenges and solutions. e & i Elektrotechnik und Informationstechnik 125, 401–405 (2008). http://dx.doi.org/10.1007/s00502-008-0587-z
  19. 19.
    Hekkala, A., Harjula, I., Panaitopol, D., Rautio, T., Pacalet, R.: Cooperative spectrum sensing study using welch periodogram. In: Telecommunications (ConTEL), Proceedings of the 2011 11th international conference on, pp. 67–74 (2011)Google Scholar

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  1. 1.Telecom Paris Techm, LTCI CNRSParisFrance

Personalised recommendations