Seol mar théacs é seo: High-performance and time-predictable embedded computing /