UC14_R_3
Embedded real-time properties
https://repo.valu3s.eu/use-cases/cardiowheel/requirements/uc14_r_3
https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png
UC14_R_3
Embedded real-time properties
Task execution scheduling must always guarantee the correct system state.