ParetoSafe: Failure-Budget Multicore Scheduler for Safety-Critical Software

A design-time tool that automatically decides how many copies of each software task to run on a multicore chip so the system meets a safety standard's failure-rate budget with the fastest possible schedule, showing engineers a trade-off curve to pick from. It outputs the chosen schedule plus a per-task failure-budget report that can be attached to a safety case.