The special issue on “Automotive Embedded Systems” intends to present novel research results in the broad area of automotive systems modeling, analysis, optimization, and development. We also expect that the presented theory and experiences be of interest to communities of developers and scientists other than automotive.
Reliable WCET
bounds are a necessary component for the construction and verification
of dependable real-time systems. They are an input for doing task CPU
allocation, creating task schedules, and performing schedulability analysis.