MARTE

Modeling and Analysis for Real-Time and Embedded Systems

A modeling framework used to analyze and simulate the behavior of real-time and embedded systems, often applied in software and hardware development.