STARS and Metropolis: static and dynamic RTOS modeling Felice Balarin Cadence Berkeley Labs RTOS modeling Any OS has two basic function: To create abstraction of computational…