Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning.

Asier Larrucea, Irune Agirre, Carlos Fernando Nicols, Jon Prez, Mikel Azkarate-askasua, Ton Trapman

Browse the full FDL paper archive.