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 ,
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 ,
The Architecture Analysis & Design Language (AADL): An Introduction, Performance-Critical Systems, 2006. ,
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. ,
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
ATL -Eclipse Support for Model Transformation, Proceedings of the Eclipse Technology eXchange workshop (eTX), the ECOOP 2006 Conference, 2006. ,
Méthodologie de conception appliquée aux systèmes de radiocommunications de quatrième génération. IETR rennes, MajecSTIC, 2005. ,
MDA guide version 1.0.1, Object Management Group, Document n° omg, 2003. ,
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. ,
Applying UML and MDA to Real Systems Design, Design, Automation and Test in Europe, pp.70-711530, 2005. ,
DOI : 10.1109/DATE.2005.65
Vers une formalisation des besoins des systèmes embarqués, Structured Design, IBM Systems J. 13, pp.115-139, 1974. ,
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. ,
OMG document. UML Profile for Schedulability, Performance, and Time Specification, 2005. ,
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. ,