Description
The integration of software components with different criticality levels onto a common execution platform has been a priority topic on many European funded research projects, including the space community, in order to manage system complexity and reduce development cost. The research challenges that need to be addressed expand through a wide range of categories: Multicore SOCs, System modelling, Scheduling, Timing analysis, etc.
Many publications have been produced since this topic was introduced and many questions have been raised: How to approach the trade-off between separation (for safety) and sharing (for efficient resource usage)? Which assumptions can be made during the static verification of the system? Do we have the state-of-the art methodology for providing sufficient determinism in hardware and software? Are statistical techniques compatible with our safety requirements? How can we deal with failure management and how to return to full functionality after a functional degradation?
Do we have the answers to these questions? What can we learn from experiences gained in other application domains? Are we ready for tomorrow's platforms?
