Search results for "MARTE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Simona Bernardi 0001, José Merseguer, Dorina C. Petriu	A dependability profile within MARTE.	Softw. Syst. Model.	2011	DBLP DOI BibTeX RDF
20	Julio L. Medina, Álvaro Garcia Cuesta	From composable design models to schedulability analysis with UML and the UML profile for MARTE.	SIGBED Rev.	2011	DBLP DOI BibTeX RDF
20	Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser	Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture.	Tech. Sci. Informatiques	2011	DBLP DOI BibTeX RDF
20	Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard	Optimum: a MARTE-based methodology for schedulability analysis at early design stages.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
20	Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser	A Modeling Approach based on UML/MARTE for GPU Architecture	CoRR	2011	DBLP BibTeX RDF
20	Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser	Programming Massively Parallel Architectures using MARTE: a Case Study	CoRR	2011	DBLP BibTeX RDF
20	Wei Jin, Hanpin Wang, Meixia Zhu	Modeling MARTE Sequence Diagram with Timing Pi-Calculus.	ISORC	2011	DBLP DOI BibTeX RDF
20	Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic	Polychronous controller synthesis from MARTE CCSL timing specifications.	MEMOCODE	2011	DBLP DOI BibTeX RDF
20	Eduardo Augusto Silvestre, Michel dos Santos Soares	Multiple-View Architecture Model for Distributed Real-Time Systems Using MARTE.	ISD	2011	DBLP DOI BibTeX RDF
20	Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbani, Kamel Messaoudi	IP-XACT and marte based approach for partially reconfigurable systems-on-chip.	FDL	2011	DBLP BibTeX RDF
20	Fernando Herrera, Eugenio Villar	A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation.	FDL	2011	DBLP BibTeX RDF
20	Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena	An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE.	ICSOFT (Selected Papers)	2011	DBLP DOI BibTeX RDF
20	Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena	Model-driven Design of Performance Requirements with UML and MARTE.	ICSOFT (2)	2011	DBLP BibTeX RDF
20	Shaukat Ali 0001, Lionel C. Briand, Andrea Arcuri, Suneth Walawege	An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms.	MoDELS	2011	DBLP DOI BibTeX RDF
20	Arnaud Cuccuru, Sébastien Gérard, François Terrier	Defining MARTE's VSL as an Extension of Alf.	MoDELS	2011	DBLP DOI BibTeX RDF
20	Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier	Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal.	MoDELS	2011	DBLP DOI BibTeX RDF
20	Régis Gascon, Frédéric Mallet, Julien Deantoni	Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.	TIME	2011	DBLP DOI BibTeX RDF
20	Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier	AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications.	SDL Forum	2011	DBLP DOI BibTeX RDF
20	Mohd Z. M. Zaki, Mohd Adham Isa, Dayang N. A. Jawawi	Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software.	ICSECS (3)	2011	DBLP DOI BibTeX RDF
20	Ling Yin, Frédéric Mallet, Jing Liu 0012	Verification of MARTE/CCSL Time Requirements in Promela/SPIN.	ICECCS	2011	DBLP DOI BibTeX RDF
20	Julio L. Medina, Álvaro Garcia Cuesta	Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.	Ada-Europe	2011	DBLP DOI BibTeX RDF
20	Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Samy Meftali, Jean-Luc Dekeyser	Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation.	Int. J. Embed. Syst.	2010	DBLP DOI BibTeX RDF
20	Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar	Generating heterogeneous executable specifications in SystemC from UML/MARTE models.	Innov. Syst. Softw. Eng.	2010	DBLP DOI BibTeX RDF
20	Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone	The Time Model of Logical Clocks Available in the OMG MARTE Profile.	Synthesis of Embedded Software	2010	DBLP DOI BibTeX RDF
20	Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone	Polychronous Analysis of Timing Constraints in UML MARTE.	ISORC Workshops	2010	DBLP DOI BibTeX RDF
20	Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser	Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis.	DSD	2010	DBLP DOI BibTeX RDF
20	Subayal Khan, Kari Tiensyrjä, Jari Nurmi	Instantiating GENESYS Application Architecture Modeling via UML 2.0 Constructs and MARTE Profile.	DSD	2010	DBLP DOI BibTeX RDF
20	Pablo Peñil, Fernando Herrera, Eugenio Villar	Formal Foundations for MARTE-SystemC Interoperability.	FDL	2010	DBLP BibTeX RDF
20	Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand	Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies.	MoDELS (1)	2010	DBLP DOI BibTeX RDF
20	Imran Rafiq Quadri, Samy Meftali, Jean-Luc Dekeyser	Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation.	DASIP	2010	DBLP DOI BibTeX RDF
20	Cosmina Chise, Ioan Jurca	Phymss: performance hybrid model solver and simulator based on UML MARTE diagrams.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	simulation, performance, automation, uml, hybrid model
20	Yessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid	From UML/MARTE to RTDT: A model driven based method for scheduling analysis and HW/SW partitioning.	AICCSA	2010	DBLP DOI BibTeX RDF
20	Naoufel Machta, Mohamed Taha Bennani, Samir Ben Ahmed	Aspect oriented Modeling of Real-Time system with UML and MARTE.	AICCSA	2010	DBLP DOI BibTeX RDF
20	Lorea Belategi, Goiuria Sagardui, Leire Etxeberria	MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines.	SPLC	2010	DBLP DOI BibTeX RDF
20	Pablo Peñil, Hector Posadas, Eugenio Villar	Formal Modeling for UML/MARTE Concurrency Resources.	ICECCS	2010	DBLP DOI BibTeX RDF
20	Isabelle Perseil, Laurent Pautet	From MARTE to AADL with a Seamless Process.	ICECCS	2010	DBLP DOI BibTeX RDF
20	Imran Rafiq Quadri	MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs.		2010	RDF
20	Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André	Marte CCSL to Execute East-ADL Timing Requirements.	ISORC	2009	DBLP DOI BibTeX RDF
20	Frédéric Mallet, Charles André	On the Semantics of UML/MARTE Clock Constraints.	ISORC	2009	DBLP DOI BibTeX RDF
20	Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Philippe Soulard, Jean-Philippe Diguet	A co-design approach for embedded system modeling and code generation with UML and MARTE.	DATE	2009	DBLP DOI BibTeX RDF
20	Cosmina Chise, Ioan Jurca	Towards early performance assessment based on UML MARTE models for distributed systems.	SACI	2009	DBLP DOI BibTeX RDF
20	Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini	Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators.	FDL	2009	DBLP BibTeX RDF
20	Frédéric Mallet, Robert de Simone	MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.	FDL (Selected Papers)	2008	DBLP DOI BibTeX RDF
20	Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini	Model-based Design Space Exploration for RTES with SysML and MARTE.	FDL	2008	DBLP DOI BibTeX RDF
20	Frédéric Mallet, Robert de Simone, Laurent Rioux	Event-Triggered vs. Time-Triggered Communications with UML MARTE.	FDL	2008	DBLP DOI BibTeX RDF
20	Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger	Generating MARTE Allocation Models from Activity Threads.	FDL	2008	DBLP DOI BibTeX RDF
20	Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, Ulrich Nageldinger	Generation of MARTE Allocation Models from Activity Threads.	FDL (Selected Papers)	2008	DBLP DOI BibTeX RDF
20	Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser	MARTE-based Design of a Multimedia Application and Formal Analysis.	FDL	2008	DBLP DOI BibTeX RDF
20	Howard N. Cannon, Carol R. Stoker, Stephen E. Dunagan, Kiel Davis, Javier Gómez-Elvira, Brian J. Glass, Lawrence G. Lemke, David P. Miller, Rosalba Bonaccorsi, Mark Branson, Scott Christa, José Antonio Rodríguez Manfredi, Erik Mumm, Gale Paulsen, Matt Roman, Alois Winterholler, Jhony R. Zavaleta	MARTE: Technology development and lessons learned from a Mars drilling mission simulation.	J. Field Robotics	2007	DBLP DOI BibTeX RDF
20	Safouan Taha, Ansgar Radermacher, Sébastien Gérard, Jean-Luc Dekeyser	MARTE: UML-based Hardware Design from Modelling to Simulation.	FDL	2007	DBLP BibTeX RDF
20	Robert de Simone, Charles André	Time Modeling in MARTE.	FDL	2007	DBLP BibTeX RDF
20	Pierre Boulet, Philippe Marquet, Éric Piel, Julien Taillard	Repetitive Allocation Modelling with MARTE.	FDL	2007	DBLP BibTeX RDF
20	Frédéric Mallet, Charles André, Robert de Simone	Modeling of immediate vs. delayed data communications: from AADL to UML Marte.	FDL	2007	DBLP BibTeX RDF
16	Brahim Hamid, Fatma Krichen	Model-based engineering for dynamic reconfiguration in DRTES.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	model driven engineering, dynamic reconfiguration, meta-model, UML profiles, component-based architecture, distributed real time embedded systems
16	Isaac Lera, Ramón Puigjaner	Semantic layered architecture to integrate FR/NFR in software performance engineering.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	performance, requirements, semantic modeling
16	Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier	Automating the Generation of Platform Specific Models.	ICECCS	2009	DBLP DOI BibTeX RDF
16	Mirco Tribastone, Stephen Gilmore	Automatic Translation of UML Sequence Diagrams into PEPA Models.	QEST	2008	DBLP DOI BibTeX RDF
16	Osmar Marchi dos Santos, Andy J. Wellings	Run Time Detection of Blocking Time Violations in Real-Time Systems.	RTCSA	2008	DBLP DOI BibTeX RDF
16	Osmar Marchi dos Santos, Andy J. Wellings	Blocking time monitoring in the real-time specification for Java.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, real-time specification for Java, timing errors
16	Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao	A MDE Based Approach for Bridging Formal Models.	TASE	2008	DBLP DOI BibTeX RDF	formal methods, MDE
16	Matthias Brun 0001, Jérôme Delatour, Yvon Trinquet	Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.	ICECCS	2008	DBLP DOI BibTeX RDF
16	Marco Di Natale	Design and Development of Component-Based Embedded Systems for Automotive Applications.	Ada-Europe	2008	DBLP DOI BibTeX RDF
16	Bran Selic	Challenges in generating qos-constrained software implementations.	GPCE	2007	DBLP DOI BibTeX RDF	model-driven development
16	Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser	An Open Framework for Detailed Hardware Modeling.	SIES	2007	DBLP DOI BibTeX RDF
16	Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati	A multiform time approach to real-time system modeling; Application to an automotive system.	SIES	2007	DBLP DOI BibTeX RDF
16	Charles André, Frédéric Mallet, Robert de Simone	Modeling Time(s).	MoDELS	2007	DBLP DOI BibTeX RDF	real-time embedded, UML profile
16	Simona Bernardi 0001, José Merseguer	A UML profile for dependability analysis of real-time embedded systems.	WOSP	2007	DBLP DOI BibTeX RDF	dependability, UML profiles, real-time embedded systems
16	Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001	Managing Complexity of Automotive Electronics Using the EAST-ADL.	ICECCS	2007	DBLP DOI BibTeX RDF
16	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Synchronous, Reactive
16	Arnaud Cuccuru, Jean-Luc Dekeyser, Philippe Marquet, Pierre Boulet	Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies.	MoDELS	2005	DBLP DOI BibTeX RDF
16	José María Martínez, Michael González Harbour	RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Schedulability, Modelling, Distributed Systems, Embedded Systems, Real-Time, Networks, Ethernet, Ada 95
16	Mario Aldea Rivas, Michael González Harbour	Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms.	ECRTS	2003	DBLP DOI BibTeX RDF
16	Mario Aldea Rivas, Michael González Harbour	A POSIX-Ada Interface for Application-Defined Scheduling.	Ada-Europe	2002	DBLP DOI BibTeX RDF	Scheduling, Real-Time Systems, Operating Systems, Kernel, Ada 95, POSIX
16	Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo	An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard.	Ada-Europe	2002	DBLP DOI BibTeX RDF