True False True False True False True False True False True False True False False Cheddar: a free real time scheduling simulator center 1200 800 True False True False False True False _File True True False False True False New Model True False True False Open Model True False True False Save Model True False True False Save as Model True False True False AADL True True False False True False AADL Project Import True False True False AADL Project Export True False True False Export Cheddar Properties Set True False True False Export AADL Standard properties Set True False True False AADL Options True False True False Exit True False True False _Edit True True False False True False Software True True False False True False Task True False True False Address Space True False True False Resource True False True False Buffer True False True False Task Group True False True False Dependencies True True False False True False Precedencies True False True False Time triggered True False True False Queueing Buffer True False True False Black Board Buffer True False True False Message True False True False Resource True False True False Message True False True False Event Analyser True False True False Hardware True True False False True False Core True False True False Processor True False True False Cache True False True False Network True False True False _Tools True True False False True False Clear Workspace True False True False Scheduling True True False False True False Customize Scheduling Simulation True False True False Customize Scheduling Feasibility True False True False Task Priority Assignments True True False False True False Set Priorities According to Rate Monotonic True False True False Set Priorities According to Deadline Monotonic True False True False Set Priorities According to Audsley OPA True False True False Set Priorities According to CRPD with OPA-PT True False True False Set Priorities According to CRPD with OPA-PT-Simplified True False True False Set Priorities According to CRPD with OPA-Tree True False True False Transaction Worst Case Response Time True True False False True False Tindell transaction WCRT True False True False Audsley transaction WCRT True False True False Palencia transaction WCRT True False True False WCDOPS+ transaction WCRT True False True False WCDOPS+NIM transaction WCRT True False True False Event Table Service True True False False True False Draw Time Line from Event Table True False True False Run Analysis on Event Table True False True False Export Event Table True False True False Import Event Table True False True False Export XML ARINC 653 PST True False True False Partitioning True True False False True False With Best Fit True False True False With General Task True False True False With Next Fit True False True False With First Fit True False True False With Small Task True False True False Scheduling Options True False True False Feasibility test Options False True False Resource True True False False True False Worst Case Blocking Time True True False False True False Compute and Display True False True False Compute and Update Tasks True False True False Looking for Priority Inversion from Simulation True False True False Looking for Deadlock from Simulation True False True False Resource Ceiling Priority True True False False True False Compute and Display True False True False Compute and Update Resources True False True False Buffer True True False False True False Buffer Analysis with Feasibility Tests True False True False Buffer Analysis from Scheduling Simulation True False True False Precedencies True True False False True False Chetto/Blazewicz Modifications on Priorities True True False False True False Compute and Display True False True False Compute and Update Tasks True False True False Chetto/Blazewicz Modifications on Deadline True True False False True False Compute and Display True False True False Compute and Update Tasks True False True False End to End Response Time True True False False True False Compute and Display: one Step True False True False Compute and Update Tasks: one Step True False True False Compute and Display True False True False Compute and Update Tasks True False True False Memory Footprint Analysis True True False False True False Check Address Space True False True False Check and Update Address Space True False True False Probability Density Tools True True False False True False Compute Response Time Density True False True False Cache True True False False True False Import Control Flow Graphs True False True False Compute Cache Access Profiles True False True False MILS security True True False False True False Compute Chinese wall MILS verification True False True False Compute Bell Lapadula MILS verification True False True False Compute Warshall MILS verification True False True False Compute Biba MILS verification True False True False Communication analysis True True False False True False Compute SCM Spacewire transformation True False True False Set SCM Spacewire transformation True False True False ---------------------------------- True False True False Compute WCCTM Wormhole NoC transformation True False True False Set WCCTM Wormhole NoC transformation True False True False Compute WCCTM SAF NoC transformation True False True False Set WCCTM SAF NoC transformation True False True False Compute ECTM Wormhole NoC transformation True False True False Set ECTM Wormhole NoC transformation True False True False Compute ECTM SAF NoC transformation True False True False Set ECTM SAF NoC transformation True False True False ---------------------------------- True False True False Compute NoC communication delay True False True False Compute NoC path delay True False True False Compute NoC direct interference delay True False True False Compute NoC indirect interference delay True False True False Design Pattern Analysis False True False Scheduling Anomalies Analysis False True False _Help True True False False True False About Cheddar True False True False Manual True False True False Scheduling References True False True 0 True False False False True False True Create an empty model New True gtk-new False True False True False True Generate a simple model Wizard True gtk-edit False True False True False True Open an existing model Open True gtk-directory False True False True False Save the current model Save True gtk-save False True False True False Save as the current model Save as True gtk-save-as False True False True False Exit the tool Exit True gtk-quit False True False True False Clear the workspace Clear gtk-clear False True False True False Apply schedulability Feasibility tests Schedulability True gtk-execute False True False True False Compute scheduling Simulation Scheduling True gtk-media-play False True False True False Zoom in Zoom in True gtk-zoom-in False True False True False Zoom out Zoom out True gtk-zoom-out False True False True False Reset zoom at initial value Reset zoom True gtk-zoom-100 False True False True False True Fit zoom level to the windows size Fit zoom True gtk-zoom-fit False True False False 1 True False True False Model file name: True True 0 466 True True False textbuffer3 True True 1 True False Zoom level: True True 2 33 True True False textbuffer1 False True True 3 False False 2 True True True True True False 1200 800 True False True True True True True True textbuffer2 True True True True 4