Modeling and Analysis of Real Time and Embedded systems

Known as: Marte 
Modeling and Analysis of Real Time and Embedded systems also known as MARTE is the OMG standard for modeling real-time and embedded applications with… (More)
Wikipedia

Related topics

Related topics

10 relations
Clock Constraints Specification LanguageEclipseEmbedded systemModelio
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Modeling Dependability Features for Real-Time Embedded Systems
Ensuring dependability is significant in the development process of Real-Time Embedded Systems (RTESs). The dependability of a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Environment modeling and simulation for automated testing of soft real-time embedded software
Given the challenges of testing at the system level, only a fully automated approach can really scale up to industrial real-time… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time Systems
In this paper, we present a method for (a) profiling of individual components at high accuracy level, (b) modeling of the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing
Testing real-time embedded systems (RTES) is in many ways challenging. Thousands of test cases can be potentially executed on an… (More)
  • figure 1
  • table 1
  • table 2
  • table 4
  • table 5
Is this relevant?
2010
2010
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies
The behavior of real-time embedded systems (RTES) is driven by their environment. Independent system test teams normally focus on… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
A co-design approach for embedded system modeling and code generation with UML and MARTE
In this paper we propose a UML/MDA approach, called MoPCoM methodology, to design high quality real-time embedded systems. We… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2009
2009
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints
In this paper we use the Activity diagram of the System Modeling Language (SysML) in combination with the new UML profile for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Modeling Time(s)
Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in… (More)
Is this relevant?
2007
2007
A UML profile for dependability analysis of real-time embedded systems
In this paper, we aim at giving a contribution toward the definition of a UML profile supporting the dependability analysis of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
Review
2005
Review
2005
Modeling and Analysis of Real-Time and Embedded Systems
This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken… (More)
Is this relevant?