A Modeling Methodology and Scheduler Synthesis for Embedded Real-Time Software
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads
Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors
A Formal Modeling for Embedded Hard Real-Time Systems
Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets
CML: C Modeling Language
Raimundo da Silva Barreto
Meuse Nogueira de Oliveira Junior
Eduardo Tavares
Ricardo Massa Ferreira Lima
L. AMORIM
M. L. NEVES