Periodic Reporting for period 2 - MASTECS (Multicore Analysis Service and Tools for Embedded Critical Systems)

Embedded computers are ubiquitous in embedded domains like automotive and avionics to run advanced software that implements complex algorithms including artificial intelligence, increasingly used to control safety-critical functionality such as steering, driver assist...