System-level Verification of Multi-Core Embedded Systems using Timed-Automata ⋆

@inproceedings{Madsen2008SystemlevelVO,
  title={System-level Verification of Multi-Core Embedded Systems using Timed-Automata ⋆},
  author={Jan Madsen and Michael R. Hansen and Kristian S. Knudsen and Jens E. Nielsen and Aske Wiid Brekling},
  year={2008}
}
A key challenge of implementing an embedded systems application on a heterogeneous multi-core platform is to find the right mapping of the application onto the execution platform. The right mapping is dependent on the characteristics of the platform, i.e. processors and the network connecting them, as well as the application. As embedded systems are heavily… CONTINUE READING