SoCDep2: A framework for dependable task deployment on many-core systems under mixed-criticality constraints | IEEE Conference Publication | IEEE Xplore