try another color:
try another fontsize: 60% 70% 80% 90%

Publications related to MARTE

Title Summary
Harmonizing MARTE, EAST-ADL2, and AUTOSAR to Improve the Modelling of Automotive Systems Presented to the Standards workshop (Satellite workshop of the 21st Euromicro Conference on Real-Time Systems), Dublin, Ireland, June 30, 2009.
MARTE: UML-based Hardware Design from Modelling to Simulation Forum on specification & Design Languages (FDL) 2007, pp. 274-279, Barcelona, Spain, September 18-20, 2007.
Software Real-time Resource Modeling FORUM on Specification & Design Languages with Industrial Workshops, in proceedings of the Forum on Specification and Design Languages (FDL'2007), LNCS Volume 10, pp. 231-236, Springer Netherlands, Barcelone, Spain, 2007.
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems In proceeding of the international conference Model Driven Architecture - Foundations and Applications (ECMDA'2009), LNCS Volume 5562, pp. 98-113, Enschede, The Netherlands, June 23-26, 2009.
Generating Execution Infrastructures for Component-oriented Specifications With a Model Driven Toolchain: A case study for MARTE’s GCM and real-time annotations In proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE 2009), pp. 127-136, Denver, Colorado, October 4-5, 2009.
MARTE : le futur standard OMG pour le développement dirigé par les modèles des systèmes embarqués temps réel Génie Logiciel journal, n° 80, pp. 27-31, Mars 2007.
Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM Revue L'Objet de RTSI, numéro spéciale, Ingénierie dirigée par les modèles, sous la direction de Antoine Beugnard, Volume 13/4, pp. 9-31.
Étude comparative pour la modélisation de plates-formes d'exécution: Application au temps réel embarqué Technique et Science Informatiques, Hermès Science, volume 29.
Verification of clock constraints: CCSL Observers in Esterel INRIA, http://hal.inria.fr/docs/00/45/88/47/PDF/RR-7211.pdf
Syntax and Semantics of the Clock Constraint Specification Language (CCSL) INRIA Report, http://hal.inria.fr/inria-00458847/fr/.
Executing AADL Models with UML/MARTE ICECCS 14th Int. Conf. on Engineering of Complex Computer Systems (ICECCS'09) - UML & AADL, IEEE Computer Society, pp. 371-37.
On the Semantics of UML/MARTE Clock Constraints Published in Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09).
MARTE CCSL to execute East-ADL Timing Requirements Published in Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), pp. 249-253.
Specification and verification of time requirements with CCSL and Esterel Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 167-176.
IP-XACT components with abstract time characterization Forum on specification and design languages, FDL 2009.
Modèles de contraintes temporelles pour systèmes polychrones Journal Européen des Systèmes Automatisés (JESA), pp. 725-739.
Modèles de temps de MARTE et CCSL Published in journal Génie Logiciel, pp. 44-49.
Marte: a profile for RT/E systems modeling, analysis (and simulation?) International Conference on Simulation tools and techniques for communications, networks and systems (SIMULTools) ICST, ACM DL., pp. 1-8.
First Experiments Using the UML Profile for Marte 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), IEEE Computer Society, pp. 50-57.
Dealing with AADL End-to-end Flow Latency with UML Marte 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), IEEE Computer Society, pp. 228-233.
Event-triggered vs. time-triggered communications with UML MARTE Specification, Verification and Design Languages (FDL 2008), pp. 154-159.
CCSL: specifying clock constraints with UML/MARTE Innovations in Systems and Software Engineering Innovations in Systems and Software Engineering (ISSE), Special Issue on UML & Formal Methods, 2008, Vol. 4(3), pp. 309-314.
Modeling AADL Data Communications with UML MARTE Embedded Systems Specification and Design Languages Selected contributions from FDL’07, Lecture Notes in Electrical Engineering Volume 10 , pp. 150-170.
MARTE: Also a UML Profile for Modeling AADL Applications 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand July 11-July 14, 2007.
Modeling Time(s) ACM IEEE (ed.) MODELS 2007 10th international conference on Model Driven Engineering Languages and Systems.
A multiform time approach to real-time system modeling: Application to an automotive system Universidade Nova de Lisboa (ed.), Int. Symp. on Industrial Embedded Systems IEEE, pp. 234-241.
Semi-Automatic FMEA supporting complex systems with combinations and sequences of failures AE 2009 World Congress, also accepted for publication in SAE Transactions - Journal of Passenger Cars. This paper describes safety annotation of EAST-ADL2 models making advanced failure analysis possible. The implementation of these concepts in an MARTE compliant EAST-ADL2 profile would make them accessible to the automotive community.
Engineering Support for Automotive Embedded Systems – Beyond AUTOSAR Invited technical article published in ATZautotechnology 2-2009. This paper explains the role of abstract and early-phase modelling information to complement the AUTOSAR model that represent the concrete software architecture.
Model Based Architecting and Construction of Embedded Systems Report on the ACES-MB'08 workshop, hold in conjunction with he models'08 conference, Toulouse, October 2008, France.
Towards a Traceability Model in a MARTE-based Methodology for Real-Time Embedded Systems in journal Innovations in Systems and Software Engineering, Volume 4, Number 3, p. 180 to p 193, September 2008.