A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC
A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads
Eduardo Tavares
Meuse Nogueira de Oliveira Junior
Paulo Romero Martins Maciel
Ricardo Massa Ferreira Lima
Raimundo da Silva Barreto
L. AMORIM