]. J. Bibliographie1, G. Rumbaugh, I. Booch, G. Jacobson, R. Booch et al., The Unified Modeling Language Reference Manual Second Edition Object-Oriented Analysis and Design with applications, 3 rd Edition The quarks of object-oriented development, Unified Modelling Language, Superstructure Specification v2.2, february 2009. [5] OMG. UML Profile for Schedulability, Performance an Time, january 2005. [6] OMG. UML Profile for Modeling QoS and Fault Tolerance Characteristics and Mechanisms] OMG. UML Profile for Modeling and Analysis of Real-time and Embedded Systems, pp.123-128, 2004.

E. A. Lee and S. Neuendorffer, Actor-Oriented Models for Codesign, [9] OMG. PIM and PSM for Software Component Radio, pp.33-56, 2004.
DOI : 10.1007/978-1-4020-8052-4_2

S. Rouxel, J. Diguet, N. Bulteau, J. Carre-gourdin, J. Goubard et al., UML Framework for PIM and PSM verification of SDR Systems, SDR Forum Technical conference'05, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00084148

E. A. Lee and D. G. Messerschmitt, Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, vol.36, issue.1, 1987.
DOI : 10.1109/TC.1987.5009446

C. A. Hoare, Communicating Sequential Processes

G. Kahn, The semantics of a simple language for parallel programming): information Processing 74, proceedings of IFIP congress 74, 1974.

E. A. Lee and S. Neuendorffer, Tutorial : Building Ptolemy II Models Graphically, 2007.

O. Mof, 0 query/view/transformation (QVT), v1, 2008.

A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-vincentelli et al., A next generation design framework for platform-based design, conference on Using Hardware Design and Verification Languages (DVCon), 2007.

D. D. Gajski and R. H. Kuhn, Guest Editors' Introduction: New VLSI Tools, Computer, vol.16, issue.12, pp.11-14, 1983.
DOI : 10.1109/MC.1983.1654264

S. Lecomte, S. Guillouard, C. Moy, P. Leray, and P. Soulard, A co-design methodology based on model driven engineering for SDR equipments. SDR Forum technical conference'09, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00401412

C. Harel and A. Pnuelli, On the development of reactive systems. In logic and models of concurrent systems, Nato Asi Series: Computer and Systems sciences, vol.13

A. Girault, H. Kalla, and Y. Sorel, Une heuristique d'ordonnancement et de distribution tolérante aux pannes pour systèmes temp réel embarqués. Modélisation des systèmes réactifs, MSR'03, pp.145-160, 2003.

L. Zaffalon, Programmation concurrente et temps réel, Presses Polytechniques et Universitaires Romandes (PPUR), 2007.

J. Xu and D. L. Parnas, On satisfying timing constraints in hard-real-time systems, IEEE Transactions on Software Engineering, vol.19, issue.1, pp.70-84, 1993.
DOI : 10.1109/32.210308

M. Richard, Contribution à la validation des systèmes temps réel distribués : ordonnancement à priorités fixe et placement, Thèse de doctorat, 2002.

G. and L. Lann, A methodology for designing and dimensioning critical complex computing systems, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems, pp.332-339, 1996.
DOI : 10.1109/ECBS.1996.494546

A. Shaw, Reasoning about time in higher-level language software, IEEE Transactions on Software Engineering, vol.15, issue.7, pp.875-889, 1989.
DOI : 10.1109/32.29487

P. Pushner and C. Koza, Calculating the maximum execution time of real-time programs, Real-Time Systems, vol.20, issue.1, pp.159-176, 1980.
DOI : 10.1007/BF00571421

C. Park and A. Shaw, Experiments with a program timing tool based on source-level timing schema, Computer, vol.24, issue.5, pp.48-57, 1991.
DOI : 10.1109/2.76286

P. Puschner and R. Nossal, Testing the results of static worst-case execution-time analysis, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), pp.134-143, 1998.
DOI : 10.1109/REAL.1998.739738

J. Engblom and A. Ermedahl, Modeling complex flows for worst-case execution time analysis, Proceedings 21st IEEE Real-Time Systems Symposium, 2000.
DOI : 10.1109/REAL.2000.896006

S. Baruah, R. Howel, and L. Rosier, Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor, Real-Time Systems, vol.2, issue.4, pp.301-324, 1990.
DOI : 10.1007/BF01995675

D. Decotigny, Une insfrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps réel, Thèse de doctorat, Institut de Recherche en informatique et systèmes aléatoires (IRISA)/INRIA Rennes, 2003.

J. Lehoczky, L. Sha, and Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior, [1989] Proceedings. Real-Time Systems Symposium, 1989.
DOI : 10.1109/REAL.1989.63567

S. Baruah, Dynamic and static priority scheduling of recurring real-time tasks, Real-Time Systems, vol.24, issue.1, pp.93-128, 2003.
DOI : 10.1023/A:1021711220939

C. L. Lui and J. W. Layland, Scheduling algorithms for multiprogramming in real-time environnment, Journal of ACM, vol.20, issue.1, pp.46-61, 1973.

J. T. Leung and J. Whitehead, On the complexity of fixed-priority scheduling of periodic real-time tasks. Performance Evaluation, pp.237-250, 1982.

N. C. Audsley, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times

M. Dertouzos, Control Robotics : the procedural control of physical processors, Proceedings of IFIP congress, pp.807-813, 1974.

K. Jeffay, D. F. Stanat, and C. U. Martel, On non-preemptive scheduling of periodic and sporadic tasks, IEEE Real-time Systems Symposium, pp.36-45, 1997.

A. K. Mok and M. L. Dertouzos, Multiprocessor scheduling in hard real-time environments, Proc. Seventh Texas Conference on computing Systems, 1978.

A. K. Mok, Fundamental design problems for hard real-time environments, 1983.

J. Beauquier and B. Berard, Sytème d'exploitation ? concepts et algorithmes, 1990.

L. Sha, R. Rajkumar, and J. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990.
DOI : 10.1109/12.57058

F. Cottet and E. Grolleau, Systèmes temps réel de contrôle de commande :conception et implémentation, 2005.

M. Chen and K. Lin, Dynamic priority ceilings: A concurrency control protocol for real-time systems, Real-Time Systems, vol.11, issue.4, pp.625-346, 1990.
DOI : 10.1007/BF01995676

T. Baker, Stack-based scheduling of real-time processesJournal of real-time systems, pp.67-99, 1999.

J. Lehoczky, Fixed priority scheduling of periodic task sets with arbitrary deadlines, [1990] Proceedings 11th Real-Time Systems Symposium, 1990.
DOI : 10.1109/REAL.1990.128748

M. Joseph and P. Pandya, Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, pp.390-395, 1986.
DOI : 10.1093/comjnl/29.5.390

M. Spuri, Analysis of deadline scheduled real-time systems, INRIA Research Report, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073920

A. Rahni, Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF, Thèse de doctorat, 2008.

K. Traore, Analyse et validation des applications temps réel en présence de transactions : Applications au pilotage d'un drône miniature, Thèse de doctorat, 2007.

J. Lehoczky, L. Sha, J. Strosnider, and H. Tokuda, Fixed priority scheduling theory for hard real-time systems. Foundations of Real-time Computing : scheduling and resource management, pp.1-30, 1991.

S. Baruah, A. Mok, and L. Rosier, The preemptive scheduling of sporadic real-time tasks on one processor, Proceedings of 11 th Real-time Systems Symposium, pp.182-190, 1990.

S. Baruah, The uniprocessor scheduling of sporadic real-time tasks, 1993.

J. Palencia and M. G. Harbour, Schedulability analysis for tasks with static and dynamic offsets, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998.
DOI : 10.1109/REAL.1998.739728

J. Maki-turja and M. Nolin, Faster response time analysis of tasks with offsets, proceedings of the 10 th Real-Time Technology and Application Symposuim, 2004.

J. Maki-turja and M. Nolin, Tighter response time analysis of tasks with offsets, proceedings of the 10 th International conference on real-time computing and applications, 2004.

J. Maki-turja and M. Nolin, Fast and Tight Response-Times for Tasks with Offsets, 17th Euromicro Conference on Real-Time Systems (ECRTS'05)
DOI : 10.1109/ECRTS.2005.15

A. K. Mok and D. Chen, A multiframe model for real-time tasks, proceedings of the 17 th real-time systems symposium, 1996.

Y. Lee, Y. Altenbasak, and R. M. Mersereau, Multiframe error concealment for MPEGcoded video delivery over error-prone, IEEE transactions image processing, pp.1314-1331, 2002.

S. K. Baruah, D. Chen, and A. Mok, Static-priority scheduling of multiframe tasks, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, 1999.
DOI : 10.1109/EMRTS.1999.777448

A. Zuhily, Exact response time analysis for multiframe tasks, 2007.

A. Zuhily and A. Burns, Exact Scheduling analysis of non-accumulatively monotonic multiframe tasks. Real-Time systems journal, pp.119-146, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00336464

S. Baruah, D. Chen, S. Gorinsky, and A. Mok, Generalized multiframe tasks. Real-time Systems: the international journal of time-critical Computing, pp.5-22, 1999.

H. Takada and K. Sakamura, Schedulability of generalized multiframe task sets under static priority assignment, Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications, 1997.
DOI : 10.1109/RTCSA.1997.629177

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a Flexible real-time scheduling framework, ACM SIGAda Ada Letters, vol.24, pp.1-8, 2004.

M. G. Harbour, J. J. Garcia, J. M. Drake, and . Moyano, MAST : Modeling and Analysis Suite for real-time applications, proceedings of the 13 th Euromicro Conference On Real-Time Systems, 2001.

R. Rapid and . Tutorial, Tri Pacific software inc

G. Gailliard, Towards a common component and middleware approach for reconfigurable distributed real-time embedded systems, Thèse de doctorat, 2009.

N. C. Audsley, K. Tindell, and A. Burns, The end of the road for static cyclic scheduling, proceedings of 5 th Euromicro Workshop on Real-time Systems, pp.36-41, 1993.

J. C. Palencia and M. G. Harbour, Offset-based response time analysis of distibuted systems scheduled under EDF, proceedings of the 15 th Euromicro Conference on Real-Time Systems, 2003.

R. Pellizzoni and G. Lipari, Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling, 11th IEEE Real Time and Embedded Technology and Applications Symposium, 2005.
DOI : 10.1109/RTAS.2005.28

K. Traore, E. Golleau, A. , A. Rahni, and M. Richard, Response-Time Analysis of tasks with offsets, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006.
DOI : 10.1109/ETFA.2006.355182

S. Baruah, Preemptive Uniprocessor Scheduling of Non-cyclic GMF Task Systems, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications, 2010.
DOI : 10.1109/RTCSA.2010.25

S. Baruah, The Non-cyclic Recurring Real-Time Task Model, 2010 31st IEEE Real-Time Systems Symposium, 2010.
DOI : 10.1109/RTSS.2010.19

A. H. Nijenhius and . Wilf, Combinatorial algorithms for computers and calculators, 1978.

M. Lawley and J. Steel, Practical Declarative Model Transformation with Tefkat, In Lecture Notes in Computer Science, vol.3844, pp.139-150, 2006.
DOI : 10.1007/11663430_15

M. Gries, Methods for evaluating and covering the design space during early design development, Integration, the VLSI Journal, vol.38, issue.2, pp.131-183, 2004.
DOI : 10.1016/S0167-9260(04)00032-X

J. Bickle, Waveform portability and reuse across operating environments: an experience report, proceedings of SDR Forum Technical conference, 2008.

F. Bordeleau and T. Mcclean, Model Driven testing framework for SCA applications, proceedings of SDR Forum Technical conference, 2008.

C. Haubelt, J. Keinert, T. Schlichter, M. Streubuhr, A. Deyhle et al., A SystemC-Based Design methodology for digital signal processins systems, Eurasip Journal on Embedded Systems, 2007.

M. Saksena and P. Karvelas, Designing for schedulability: integrating schedulability analysis with object-oriented design, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 2000.
DOI : 10.1109/EMRTS.2000.853997

C. Bartolini and G. Lipari, An algorithm for process portioning and deadline assignment of dataflow application. ( Unpublished manuscript

S. Baruah, A general model for recurring real-time tasks. In proceedings of the realtime systems symposium, 1998.

A. Burns and A. J. Wellings, HRT-HOOD: A structured design method for hard real-time systems, Real-time Systems, vol.36, issue.1, pp.73-114, 1994.
DOI : 10.1007/BF01245300

H. Gomaa, Software design methods for concurrent and real-time systems, 1993.
DOI : 10.1007/BFb0017625

L. Kabous and W. Nebel, Modeling Hard Real Time Systems with UML The OOHARTS Approach, proceedings of international conference on unified modelling languages (UML'99), 1999.
DOI : 10.1007/3-540-46852-8_25

J. Mitola, Software Radio, IEEE National Telesystems Conference, vol.1, 1992.
DOI : 10.1002/0471219282.eot262

J. Jtrs, Software Communications Architecture specification, 2006.

S. Forum, The Transceiver Facility Specification, 2009.

C. Moy and M. Raulet, High-Level Design for Ultra-Fast Software Defined Radio Prototyping on Multi-Processors Heterogeneous Platforms, Journal on advances in electronics and telecommunications ? Radio communication series, pp.1-67, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00488485

J. Delahaye, C. Moy, P. Leray, and J. Palicot, Managing Dynamic Partial Reconfiguration on Heterogenous SDR platforms, the proceedings of the SDR Forum Technical conference, 2005.

J. Mitola, I. , G. Q. Maguire, and J. , Cognitive radio: making software radios more personal, IEEE Personal Communications, vol.6, issue.4, pp.13-18, 1999.
DOI : 10.1109/98.788210

C. Moy, High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs, Journal of Network and Systems Management, vol.7, issue.7, pp.64-96, 2010.
DOI : 10.1007/s10922-009-9151-3
URL : https://hal.archives-ouvertes.fr/hal-00465174

S. Rouxel, G. Gogniat, J. Diguet, J. Philippe, and C. Moy, From MDD concepts to experiments and illustrations. Chapter 7 of book Schedulability Analysis and MDD. International Scientific and Technical Encyclopedia, pp.111-130, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00270008

L. Godard, C. Moy, and J. Palicot, An executable Meta-Model of a hierarchical and distributed architecture management for the design of cognitive radio equipments, Annals of Telecommunications, Special Issue on Cognitive Radio, vol.64, pp.463-482, 2009.

A. Koudri, D. Vojtisek, P. Soulard, C. Moy, J. Champeau et al., Using MARTE in a co-design methodology. MARTE Workshop at DATE Conference, Munich, [100] IEEE Standard for Information technology ? Telecommunications and information exchange between systems ? Local and metropolitan area networks ? Specific Requirements, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00354356

N. and T. Moyo, Développement d'un bus logiciel et d'un microframework pour DSP, portage et déploiement d'une forme d'onde couche physique générique sur DSP C5510, évolution de l'application sur DSP C6416, 2007.