Pasquale Antonante, Juan Valverde-Alcalá, Stylianos Basagiannis, Marco Di Natale. Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach. In Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. Volume 10489 of Lecture Notes in Computer Science, pages 141-156, Springer, 2017.
Abstract is missing.