E-cast: Enabling Certified Safety Critical Software Reuse on Next Generation Avionics and Multi-core Systems
Summary: Developers of safety-critical software face many challenges. One key challenge arises when software developed for one system is reused in another system.