MoPCoM Methodology: Focus on Models of Computation

  • Ali Koudri
  • Joël Champeau
  • Jean-Christophe Le Lann
  • Vincent Leilde
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6138)


Today, developments of Real Time Embedded Systems have to face new challenges. On the one hand, Time-To-Market constraints require a reliable development process allowing quick design space exploration. On the other hand, rapidly developing technology, as stated by Moore’s law, requires techniques to handle the resulting productivity gap. In a previous paper, we have presented our Model Based Engineering methodology addressing those issues. In this paper, we make a focus on Models of Computation design and analysis. We illustrate our approach on a Cognitive Radio System development implemented on an FPGA. This work is part of the MoPCoM research project gathering academic and industrial organizations (


MBE UML MARTE COMETA Models of Computation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ITRS: Design. Technical report, International Technology Roadmap For Semiconductors (2007)Google Scholar
  2. 2.
    Sangiovanni-Vincentelli, A., Shukla, S.K., Sztipanovits, J., Yang, G., Mathaikutty, D.A.: Metamodeling: An emerging representation paradigm for system-level design. IEEE Des. Test 26(3), 54–69 (2009)CrossRefGoogle Scholar
  3. 3.
    OMG: Mda guide version 1.0.1. Technical report, Object Management Group (2003)Google Scholar
  4. 4.
    Sangiovanni-Vincentelli, A.: Defining platform-based design. EEDesign of EETimes (2002)Google Scholar
  5. 5.
    OMG: Uml profile for marte, beta 1. Technical Report ptc/07-08-04, Object Management Group (2007)Google Scholar
  6. 6.
    Koudri, A., Joël Champeau, D.A., Soulard, P.: Mopcom/marte process applied to a cognitive radio system design and analysis. In: Model Driven Architecture, Foundations and Applications (2009)Google Scholar
  7. 7.
    Mitola Joseph, I.: Cognitive radio for flexible mobile multimedia communications. Mob. Netw. Appl. 6(5), 435–441 (2001)zbMATHCrossRefGoogle Scholar
  8. 8.
    Hachemani, R., Palicot, J., Moy, C.: A new standard recognition sensor for cognitive radio terminals. In: EURASIP 2007, Kessariani, Greece (2007)Google Scholar
  9. 9.
    Varró, D., Pataricza, A.: Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models. In: Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, pp. 18–33. Springer, Heidelberg (2002)Google Scholar
  10. 10.
    Chauvel, F., Jézéquel, J.M.: Code generation from uml models with semantic variation points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 54–68. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Buck, J., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: a framework for simulating and prototyping heterogeneous systems. IEEE 10, 527–543 (2002)Google Scholar
  12. 12.
    Herrera, F., Sánchez, P., Villar, E.: Modeling of csp, kpn and sr systems with systemc. Languages for system specification: Selected contributions on UML, SystemC, system Verilog, mixed-signal systems, and property specification from FDL 2003, 133–148 (2004)Google Scholar
  13. 13.
    Greg, S., Frank, V., Walid, N.: A code refinement methodology for performance-improved synthesis from c. In: ICCAD 2006: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, New York, NY, USA, pp. 716–723. ACM, New York (2006)Google Scholar
  14. 14.
    Koudri, A., Meftali, S., Dekeyser, J.L.: IP integration in embedded systems modeling. In: 14th IP Based SoC Design Conference (IP-SoC 2005), Grenoble, France (2005)Google Scholar
  15. 15.
    Sangiovanni-Vincentelli, A., Carloni, L., Bernardinis, F.D., Sgroi, M.: Benefits and challenges for platform-based design. In: DAC 2004: Proceedings of the 41st annual conference on Design automation, New York, NY, USA, pp. 409–414. ACM, New York (2004)CrossRefGoogle Scholar
  16. 16.
    Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: Uml and platform-based designGoogle Scholar
  17. 17.
    Edwards, M., Green, P.: Uml for hardware and software object modeling. In: UML for real: design of embedded real-time systems, pp. 127–147 (2003)Google Scholar
  18. 18.
    Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: Designing a unified process for embedded systems. In: Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), Braga, Portugal, IEEE Computer Society, Los Alamitos (2007)Google Scholar
  19. 19.
    Piel, E., Attitalah, R.B., Marquet, P., Meftali, S., Niar, S., Etien, A., Dekeyser, J.L., Boulet, P.: Gaspard2: from marte to systemc simulation. In: Proceeedings of the DATE 2008 friday workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile (2008)Google Scholar
  20. 20.
    Douglass, B.P.: Real-Time Agility: The Harmony Method for Real-Time and Embedded Systems Development. Addison-Wesley Professional, Reading (2009)Google Scholar
  21. 21.
    OMG: Systems modeling language specification v1.1. Technical Report ptc/2008-05-16, Object Management Group (2008)Google Scholar
  22. 22.
    OMG: Uml profile for schedulability, performance, and time, version 1.1. Technical Report formal/2005-01-02, Object Management Group (2005)Google Scholar
  23. 23.
    Ghenassia, F.: Transaction-Level Modeling with SystemC. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  24. 24.
    Jantsch, A.: Modeling Embedded Systems and SoC’s. Systems on Silicon (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Ali Koudri
    • 1
  • Joël Champeau
    • 1
  • Jean-Christophe Le Lann
    • 1
  • Vincent Leilde
    • 1
  1. 1.ENSIETA 

Personalised recommendations