Search results for "MARTE"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki	Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.	Comput. Informatics	2016	DBLP BibTeX RDF
20	Jinho Choi 0002, Eunkyoung Jee, Doo-Hwan Bae	Timing consistency checking for UML/MARTE behavioral models.	Softw. Qual. J.	2016	DBLP DOI BibTeX RDF
20	Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed	Towards a MARTE Extension to Address Adaptation Mechanisms.	HASE	2016	DBLP DOI BibTeX RDF
20	Aamir M. Khan, Muhammad Rashid	Generation of SystemVerilog Observers from SysML and MARTE/CCSL.	ISORC	2016	DBLP DOI BibTeX RDF
20	Judith Peters, Nils Przigoda, Robert Wille, Rolf Drechsler	Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models.	MEMOCODE	2016	DBLP DOI BibTeX RDF
20	Min Zhang 0002, Frédéric Mallet, Huibiao Zhu	An SMT-Based Approach to the Formal Analysis of MARTE/CCSL.	ICFEM	2016	DBLP DOI BibTeX RDF
20	Mohamed Naija, Samir Ben Ahmed	Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View.	ENASE	2016	DBLP DOI BibTeX RDF
20	Mohamed Naija, Samir Ben Ahmed	A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View.	ENASE (Selected Papers)	2016	DBLP DOI BibTeX RDF
20	Aamir M. Khan, Frédéric Mallet, Muhammad Rashid	Natural interpretation of UML/MARTE diagrams for system requirements specification.	SIES	2016	DBLP DOI BibTeX RDF
20	Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid	From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool.	ICSOFT-EA	2016	DBLP DOI BibTeX RDF
20	Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang	MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.	FACS	2016	DBLP DOI BibTeX RDF
20	Raoudha Saida, Yessine Hadj Kacem, Mohammed S. BenSaleh, Mohamed Abid	A UML/MARTE Extension for Designing Energy Harvesting in Wireless Sensor Networks.	IIMSS	2016	DBLP DOI BibTeX RDF
20	Heike S. Rolfs	Partitionierung und Bewertung MARTE-spezifizierter Hardware/Software-Systeme.		2016	RDF
20	Emad Ebeid, Franco Fummi, Davide Quaglia	HDL code generation from UML/MARTE sequence diagrams for verification and synthesis.	Des. Autom. Embed. Syst.	2015	DBLP DOI BibTeX RDF
20	Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié	Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE.	Des. Autom. Embed. Syst.	2015	DBLP DOI BibTeX RDF
20	Muhammad Zohaib Iqbal, Shaukat Ali 0001, Tao Yue 0002, Lionel C. Briand	Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
20	Adel Mahfoudhi, Walid Karamti	Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets.	J. Supercomput.	2015	DBLP DOI BibTeX RDF
20	Maria Vasilevskaya, Simin Nadjm-Tehrani	Support for cross-domain composition of embedded systems using MARTE models.	SIGBED Rev.	2015	DBLP DOI BibTeX RDF
20	Abdelmouttalib Maqil, Abdeslam En-Nouaary, Hicham Bensaid	Towards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML.	Int. J. Comput. Sci. Appl.	2015	DBLP BibTeX RDF
20	Frédéric Mallet, Robert de Simone	Correctness issues on MARTE/CCSL constraints.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
20	Yesheng Chai, Xueyang Zhu, Rongjie Yan, Guangquan Zhang 0002	基于MARTE模型的系统可靠性预测 (MARTE Models Based System Reliability Prediction).	计算机科学	2015	DBLP BibTeX RDF
20	Aymen Louati, Kamel Barkaoui, Chadlia Jerad	Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
20	Tayfun Gezgin, Raphael Weber, Matthias Büker	State-Based Real-Time Analysis for Function Networks and Marte.	ISORC	2015	DBLP DOI BibTeX RDF
20	Lulu Yao, Jing Liu 0012, Yan Zhang 0072, Yuejun Wang	Hybrid Marte.	APSEC	2015	DBLP DOI BibTeX RDF
20	Lulu Yao, Jing Liu 0012, Yan Zhang 0072, Yuejun Wang, Haiying Sun, Qingsheng Wang, Dehui Du, Xiaohong Chen 0007	HSD: Hybrid MARTE Sequence Diagram.	QRS	2015	DBLP DOI BibTeX RDF
20	Fernando Herrera, Pablo Peñil, Eugenio Villar	Enhancing analysability and time predictability in UML/MARTE component-based application models.	FDL	2015	DBLP DOI BibTeX RDF
20	Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi	Extensions to the UML profile for MARTE for distributed embedded systems.	FDL	2015	DBLP DOI BibTeX RDF
20	Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid	Automatic Generation of S-LAM Descriptions from UML/MARTE for the DSE of Massively Parallel Embedded Systems.	SNPD (revised selected papers)	2015	DBLP DOI BibTeX RDF
20	Frédéric Mallet	MARTE/CCSL for Modeling Cyber-Physical Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
20	Judith Peters, Rolf Drechsler	Analyzing and Simulating Time Descriptions from UML/MARTE CCSL.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
20	Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler	A generic representation of CCSL time constraints for UML/MARTE models.	DAC	2015	DBLP DOI BibTeX RDF
20	Judith Peters	Exploiting MARTE/CCSL in modern design flows.		2015	RDF
20	Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet	Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling.	ACM Trans. Reconfigurable Technol. Syst.	2014	DBLP DOI BibTeX RDF
20	Héctor Posadas, Pablo Peñil, Alejandro Nicolás, Eugenio Villar	Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation.	Microelectron. J.	2014	DBLP DOI BibTeX RDF
20	Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero 0002, Raúl Valencia, Gianluca Palermo	The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems.	J. Syst. Archit.	2014	DBLP DOI BibTeX RDF
20	Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard	Schedulability Analysis at Early Design Stages with MARTE.	Embedded Systems Development, From Functional Models to Implementations	2014	DBLP DOI BibTeX RDF
20	Akshay K. C., Ashalatha Nayak, Balachandra Muniyal	Modeling data races using UML/MARTE profile.	ICACCI	2014	DBLP DOI BibTeX RDF
20	Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li	Formal Throughput and Response Time Analysis of MARTE Models.	ICFEM	2014	DBLP DOI BibTeX RDF
20	Dmitriy Shorin, Armin Zimmermann	Extending the software tool TimeNET by power consumption estimation of UML MARTE models.	SIMULTECH	2014	DBLP BibTeX RDF
20	Minh Chau Nguyen, Eunkyoung Jee, Jinho Choi 0002, Doo-Hwan Bae	Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software.	SAC	2014	DBLP DOI BibTeX RDF
20	Alejandro Nicolás, Pablo Peñil, Héctor Posadas, Eugenio Villar	Automatic Synthesis over Multiple APIs from Uml/Marte Models for Easy Platform Mapping and Reuse.	DSD	2014	DBLP DOI BibTeX RDF
20	Marco Aurélio Wehrmeister, Marcela Leite	On Generating VHDL Descriptions from Aspect-Oriented UML/MARTE Models.	SBESC	2014	DBLP DOI BibTeX RDF
20	Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid	MARTE to ΠSDF transformation for data-intensive applications analysis.	DASIP	2014	DBLP DOI BibTeX RDF
20	Aymen Louati, Kamel Barkaoui, Chadlia Jerad	Time properties verification of UML/MARTE real-time systems.	IRI	2014	DBLP DOI BibTeX RDF
20	Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf	A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis.	WETICE	2014	DBLP DOI BibTeX RDF
20	Marcela Leite, Cristiano D. Vasconcellos, Marco Aurélio Wehrmeister	Enhancing automatic generation of VHDL descriptions from UML/MARTE models.	INDIN	2014	DBLP DOI BibTeX RDF
20	Milena Rota Sena Marques, Eliane Siegert, Lisane B. de Brisolara	Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain.	INDIN	2014	DBLP DOI BibTeX RDF
20	Judith Peters, Robert Wille, Rolf Drechsler	Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.	ICECCS	2014	DBLP DOI BibTeX RDF
20	Yu Zhou 0010, Luciano Baresi, Matteo Rossi 0001	Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.	J. Comput. Sci. Technol.	2013	DBLP DOI BibTeX RDF
20	Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario	Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.	IEEE Trans. Ind. Informatics	2013	DBLP DOI BibTeX RDF
20	Gianmaria De Tommasi, Riccardo Vitelli, Luca Boncagni, Andre C. Neto	Modeling of MARTe-Based Real-Time Applications With SysML.	IEEE Trans. Ind. Informatics	2013	DBLP DOI BibTeX RDF
20	Antonio Wendell De Oliveira Rodrigues, Frédéric Guyomarc'h, Jean-Luc Dekeyser	An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL.	Comput. Sci. Eng.	2013	DBLP DOI BibTeX RDF
20	Hajar Omrana, Fatima-Zahra Belouadha, Ounsa Roudiès	MARTE Profile-based MDA approach for semantic NFP-aware Web services.	CoRR	2013	DBLP BibTeX RDF
20	Jing Liu 0012, Ziwei Liu, Jifeng He 0001, Frédéric Mallet, Zuohua Ding	Hybrid MARTE statecharts.	Frontiers Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Nada Louati, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg	Managing data freshness with MARTE in real-time databases.	ISORC	2013	DBLP DOI BibTeX RDF
20	Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López 0001	UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications.	DSD	2013	DBLP DOI BibTeX RDF
20	Yichen Wang, Xinsheng Lan, Yikun Wang	Modeling Embedded Software Test Requirement Based on MARTE.	SERE (Companion)	2013	DBLP DOI BibTeX RDF
20	Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid	Fine-grain adaptation for real time embedded systems using UML/MARTE profile.	FDL	2013	DBLP BibTeX RDF
20	Frédéric Mallet	UML Profile for MARTE: Time Model and CCSL.	ICTERI	2013	DBLP BibTeX RDF
20	Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi	Extending UML/MARTE-GRM for Integrating Tasks Migrations in Class Diagrams.	SERA (selected papers)	2013	DBLP DOI BibTeX RDF
20	Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson	Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.	SEFM	2013	DBLP DOI BibTeX RDF
20	Fabíola Gonçalves C. Ribeiro, Michel S. Soares	An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
20	Evelina Koycheva	Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen.		2013	RDF
20	Majdi Elhaji, Pierre Boulet, Abdelkrim Zitouni, Samy Meftali, Jean-Luc Dekeyser, Rached Tourki	System level modeling methodology of NoC design from UML-MARTE to VHDL.	Des. Autom. Embed. Syst.	2012	DBLP DOI BibTeX RDF
20	Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié	Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte.	Des. Autom. Embed. Syst.	2012	DBLP DOI BibTeX RDF
20	Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Philippe Soulard, Sana Cherif	A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile.	Des. Autom. Embed. Syst.	2012	DBLP DOI BibTeX RDF
20	José Merseguer, Simona Bernardi 0001	Dependability analysis of DES based on MARTE and UML state machines models.	Discret. Event Dyn. Syst.	2012	DBLP DOI BibTeX RDF
20	Ning Ge 0002, Marc Pantel, Xavier Crégut	Time properties dedicated transformation from UML-MARTE activity to time transition system.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
20	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.	IEEE Trans. Software Eng.	2012	DBLP DOI BibTeX RDF
20	Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser	Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives.	J. Syst. Archit.	2012	DBLP DOI BibTeX RDF
20	Tero Arpinen, Erno Salminen, Timo D. Hämäläinen, Marko Hännikäinen	MARTE profile extension for modeling dynamic power management of embedded systems.	J. Syst. Archit.	2012	DBLP DOI BibTeX RDF
20	Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi	Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.	DDECS	2012	DBLP DOI BibTeX RDF
20	Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo	Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.	HASE	2012	DBLP DOI BibTeX RDF
20	Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni	Refinement of UML/MARTE models for the design of networked embedded systems.	DATE	2012	DBLP DOI BibTeX RDF
20	Nada Louati, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg	A UML/MARTE Profile for Real-Time Databases.	ACIS-ICIS	2012	DBLP DOI BibTeX RDF
20	Manel Ammar, Mouna Baklouti, Mohamed Abid	Extending MARTE to Support the Specification and the Generation of Data Intensive Applications for Massively Parallel SoC.	DSD	2012	DBLP DOI BibTeX RDF
20	Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi	Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis.	DSD	2012	DBLP DOI BibTeX RDF
20	Fernando Herrera, Hector Posadas, Eugenio Villar, Daniel Calvo	Enhanced IP-XACT Platform Descriptions for Automatic Generation from UML/MARTE of Fast Performance Models for DSE.	DSD	2012	DBLP DOI BibTeX RDF
20	Gilberto Ochoa-Ruiz, Ouassila Labbani-Narsis, El-Bay Bourennane, Sana Cherif, Samy Meftali, Jean-Luc Dekeyser	Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: A Xilinx EDK case study.	ReConFig	2012	DBLP DOI BibTeX RDF
20	Qingqing Sun, Xiaopu Huang, Jiangwei Li, Tian Zhang 0001	Timing Aspects Construction Using UML-MARTE Profile.	ISCTCS	2012	DBLP DOI BibTeX RDF
20	Jinho Choi 0002, Eunkyoung Jee, Doo-Hwan Bae	Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software.	SERE	2012	DBLP DOI BibTeX RDF
20	Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet	Designing formal reconfiguration control using UML/MARTE.	ReCoSoC	2012	DBLP DOI BibTeX RDF
20	Leandro Soares Indrusiak, Imran Rafiq Quadri, Ian Gray, Neil C. Audsley, Andrey Sadovykh	A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems.	ReCoSoC	2012	DBLP DOI BibTeX RDF
20	Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh	MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.	ReCoSoC	2012	DBLP DOI BibTeX RDF
20	Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid	A MARTE Extension for Global Scheduling Analysis of Multiprocessor Systems.	ISSRE	2012	DBLP DOI BibTeX RDF
20	Zhike Wu, Jing Liu 0012, Xiaohong Chen 0007, Mingsong Chen	An approach to communicating process modeling of MARTE.	Internetware	2012	DBLP DOI BibTeX RDF
20	Roberto de Medeiros, Marcilyanne Moreira Gois, Vanderlei Bonato	Designing FPGA-based embedded systems with MARTE: A PIM to PSM converter.	IECON	2012	DBLP DOI BibTeX RDF
20	Roberto de Medeiros, Miguel Góis, Drausio Linardi Rossi, Vanderlei Bonato	Designing embedded systems with MARTE: A PIM to PSM converter.	SIES	2012	DBLP DOI BibTeX RDF
20	Gilberto Ochoa-Ruiz, Ouassila Labbani, El-Bay Bourennane, Sana Cherif, Samy Meftali, Jean-Luc Dekeyser	Enabling partially reconfigurable IP cores parameterisation and integration using MARTE and IP-XACT.	RSP	2012	DBLP DOI BibTeX RDF
20	Frédéric Mallet	Automatic generation of observers from MARTE/CCSL.	RSP	2012	DBLP DOI BibTeX RDF
20	Carlos Gomez, Julien DeAntoni, Frédéric Mallet	Multi-view Power Modeling Based on UML, MARTE and SysML.	EUROMICRO-SEAA	2012	DBLP DOI BibTeX RDF
20	Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With	Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time Systems.	EUROMICRO-SEAA	2012	DBLP DOI BibTeX RDF
20	Pablo Peñil, Héctor Posadas, Alejandro Nicolás, Eugenio Villar	Automatic synthesis from UML/MARTE models using channel semantics.	ACES-MB@MoDELS	2012	DBLP DOI BibTeX RDF
20	Muhammad Zohaib Z. Iqbal, Shaukat Ali 0001, Tao Yue 0002, Lionel C. Briand	Experiences of Applying UML/MARTE on Three Industrial Projects.	MoDELS	2012	DBLP DOI BibTeX RDF
20	Rafik Henia, Laurent Rioux, Thomas Vergnaud	Industrial adaptation of MARTE for early scheduling analysis of component-based applications.	NFPinDSML@MoDELS	2012	DBLP DOI BibTeX RDF
20	Eduardo Augusto Silvestre, Michel dos Santos Soares	Modeling Road Traffic Signals Control Using UML and the MARTE Profile.	ICCSA (4)	2012	DBLP DOI BibTeX RDF
20	Fernando Herrera, Hector Posadas, Pablo Peñil, Eugenio Villar, Francisco Ferrero 0002, Raúl Valencia	The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems.	DASIP	2012	DBLP BibTeX RDF
20	Jinho Choi 0002, Doo-Hwan Bae	An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software.	FGIT-EL/DTA/UNESST	2012	DBLP DOI BibTeX RDF
20	Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Frédéric Mallet, Miaomiao Zhang	Formal Specification of Hybrid MARTE Statecharts.	TASE	2012	DBLP DOI BibTeX RDF
20	Ning Ge 0002, Marc Pantel	Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems.	ECMFA	2012	DBLP DOI BibTeX RDF