Publications

CAST-32A strategy for MCP certification builds upon the key terms of robust resource partitioning, robust timing partitioning, and robust partitioning. In this work, we provide technical insight on the interpretation of these terms by building on derivative terms such as resource capacity, capacity allocation, and capacity verification and violation. We discuss on the scope of applicability of these terms from the low-level hardware components up to the complete MCP platform. We also dig into the complexities in implementing robust resource and time partitioning, and show that those concepts must be applied bottom-up from hardware-shared resources up to the whole platform. We also show that, while robust resource partitioning is the preferred choice, it can only be realistically applied to some resources and, in many cases, robust time partitioning is the only choice. These considerations help to homogenize these terms, so far indistinctly used by software, hardware, and certification experts, as a building block to derive satisfactory approaches and tools to achieve CAST-32A objectives.

Roger Pujol, Hamid Tabani, Jaume Abella, Mohamed Hassan, and Francisco J. Cazorla. Empirical evidence for MPSoCs in critical systems: The case of NXP’s T2080 cache coherence. 

Alejandro Serrano Cases, Juan M. Reina, Jaume Abella Ferrer, Enrico Mezzetti, and Francisco Javier Cazorla Almeida. Leveraging hardware QoS to control contention in the Xilinx Zynq UltraScale+ MPSoC.

Enrico Mezzetti, Jaume Abella Ferrer, Francisco Javier Cazorla Almeida, Hamid Tabani, Leonidas Kosmidis. On the Definition of Resource Sharing Levels to  Understand and Control the Impact of Contention in Multicore Processors.

Juan Valverde. Safety-Critical Heterogeneous Computing for Aerospace.

Francisco J. Cazorla, Enrico Mezzetti, Ian Broster, Juan Valverde, Stefania Botta, Jaume Abella, Christos Evripidou, Javier Mora de Sambricio. Ensuring software timing behavior in critical multicore-based embedded systems.

Steven H. VanderLeest; Samuel R. Thompson. Measuring the Impact of Interference Channels on Multicore Avionics.

Francisco J. Cazorla, Enrico Mezzetti, Ian Broster, Juan Valverde, Stefania Botta, Jaume Abella, Christos Evripidou, Javier Mora de Sambricio. Multicore Analysis Service and Tools for Embedded Critical Systems (MASTECS).

Juan Valverde. Safety-Critical Heterogeneous Computing for Aerospace.