An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints
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
Paulo Romero Martins Maciel
Eduardo Tavares
Ricardo Massa Ferreira Lima
L. AMORIM
Arthur Ramos de Bessa