Slide 1 1 Embedded Computer System Laboratory RTOS Modeling in Electronic System Level Design Slide 2 Embedded Computer System Laboratory 2 Contents References Introduction…