Portal of the Model Driven Engineering Community, 2007. ,
Model Transformation: The Heart and Soul of Model-Driven Software Development, IEEE Software, vol.20, issue.5, pp.42-45, 2003. ,
MADES: Embedded systems engineering approach in the avionics domain, First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES), 2010. ,
, , 2011.
, Final Adopted OMG SysML Specification, 2006.
Modeling and Analysis of Real-time and Embedded systems (MARTE), 2010. ,
Using MARTE in the MOPCOM SoC/SoPC CoMethodology, MARTE Workshop at DATE'08, 2008. ,
, ARTEMIS project, 2011.
The Open Source Toolkit for Critical Systems, 2010. ,
The SATURN Approach to SysML-based HW/SW Codesign, IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2010. ,
Model-based Design Space Exploration for RTES with SysML and MARTE, Forum on Specification, Verification and Design Languages, pp.203-208, 2008. ,
, OMEGA: Correct Development of Real-Time Embedded Systems, 2009.
Projet Omega : Un profil UML et un outil pour la modelisation et la validation de systemes temps reel, vol.73, pp.33-38, 2005. ,
, EU FP7 Project, 2011.
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems, ECMDA-FA'09, pp.98-113, 2009. ,
Eclipse development tools for Epsilon, Eclipse Summit Europe, Eclipse Modeling Symposium, 2006. ,
D4.1: Model Transformation and Code Generation Tools Specification, 2010. ,
D3.1: Domain-specific and User-centred Verification, 2010. ,
, D3.3: Formal Dynamic Semantics of the Modelling Notation, 2010.
The Symmetry of the Past and of the Future: Biinfinite Time in the Verification of Temporal Properties, ESEC-FSE'07, pp.312-320, 2007. ,
Exposing non-standard architectures to embedded software using compile-time virtualisation, International conference on Compilers, architecture, and synthesis for embedded systems (CASES'09), 2009. ,
Model-based hardware generation and programming -the MADES approach, 14th International Symposium on Object and Component-Oriented Real-Time Distributed Computing Workshops, 2011. ,
UML Modeling tool, 2011. ,
Open source tool for UML modeling, 2011. ,
New vlsi tools, IEEE Computer, vol.16, pp.11-14, 1983. ,
MicroBlaze Soft Processor Core, 2011. ,
D1.3: MADES Initial Approach Guide, 2010. ,