. Bondlib and . Junctions, J1p3 j1p3_2; BondLib.Passive.I i1; BondLib.SensorsDe de; BondLib.SensorsPbond pbond; BondLib.SensorsPbond pbond1, BondLib.Sensors.Pbond BondLib.Sensors.Pbond BondLib.Sensors.Pbond BondLib.Sensors.Pbond BondLib.Sensors, vol.2, issue.4

. Enfin, application de la méthodologie dans un cadre de contrat industriel pourrait aider à affiner les modèles, le processus et la méthode de vérification de la qualité des modèles

. H. Références-bibliographiques-[-aadl2006-]-p, D. P. Feiler, J. J. Gluch, and . Hudak, The Architecture Analysis & Design Language (AADL): An Introduction, Performance-Critical Systems, 2006.

D. W. Oliver, L. Apvrille, J. Courtiat, and C. , Document Number ANSI/GEIA EIA-632, Processes for Engineering a System, Government Electronics and Information Technology Association 01 Septembre 2003 [AP233] AP233 public and private information portal Draft #12 of Concept Model for Systems Engineering MDSD review, ANSI] American National Standards Institute: A Real-Time UML Profile Supported by a Formal Validation Toolkit, p.473, 2003.

]. L. Apvrille2006, P. Apvrille, F. De-saqui-sannes, and . Khendek, TURTLE-P: a UML profile for the formal validation of critical and distributed systems, Software & Systems Modeling, vol.42, issue.3, pp.449-466, 2006.
DOI : 10.1007/s10270-006-0029-5

J. [. Allilaire, F. Bézivin, I. Jouault, and . Kurtev, ATL -Eclipse Support for Model Transformation, Proceedings of the Eclipse Technology eXchange workshop (eTX), the ECOOP 2006 Conference, 2006.

]. A. Massiani2005 and F. Massiani, Méthodologie de conception appliquée aux systèmes de radiocommunications de quatrième génération. IETR rennes, MajecSTIC, 2005.

J. [. Miller and . Mukerji, MDA guide version 1.0.1, Object Management Group, Document n° omg, 2003.

]. K. Nguyen2004, Z. Dang-nguyen, P. P. Sun, and . Thiagarajan, Weng-Fai Wong, Model-driven design via executable UML to SystemC. School of computing, national university of Singapore, Real-Time Systems Symposium Proceedings. 25th IEEE International, pp.5-8, 2004.

]. I. Oliver2005 and . Oliver, Applying UML and MDA to Real Systems Design, Design, Automation and Test in Europe, pp.70-711530, 2005.
DOI : 10.1109/DATE.2005.65

M. Paludetto, J. Delatour, A. Benzinastevens1974, ]. Stevens, G. Myers et al., Vers une formalisation des besoins des systèmes embarqués, Structured Design, IBM Systems J. 13, pp.115-139, 1974.

S. Turki, T. Soriano, D. Mcao, S. Lismma-cesti-toulon, T. Turki et al., Description d'un méta-modèle pour une plate-forme de simulation temps-réel, mémoire, Toolkit in Open Source for Critical Applications & Systems Development SysML profile for mechatronics integrating Bond Graphs, 9th WSEAS International Conference on CIRCUITS, COMMUNICATIONS, COMPUTERS (CSCC'05), 2003.

. Uml and . Spt, OMG document. UML Profile for Schedulability, Performance, and Time Specification, 2005.

[. Page, OMG Unified Modeling Language Specification, version 1.4 september Unified Modeling Language : Superstructure version 2.1.1, formal 2007-02-03 Date, pp.4-10, 2001.