True False True False True False True False True False True False True False False Cheddar: a free real time scheduling simulator center 900 600 True False True False False True False _File True True False False True False New True False True False Open XML Project True False True False Save XML Project True False True False Save XML Project as 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 Deployment 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 New False True label4 gtk-new False True False True False True Open XML Projet False True gtk-directory False True False True False Save XML Projet False True label2 gtk-save False True False True False Save XML Projet as False True label3 gtk-save-as False True False True False Exit False True label1 gtk-quit False True False True False False True False True False True False Clear Workspace False label5 gtk-clear False True False True False Schedulability Feasibility tests False True label6 gtk-execute False True False True False Scheduling Simulation False True label7 gtk-media-play False True False True False Zoom in False Zoom in True gtk-zoom-in False True False True False Zoom out False Zoom out True gtk-zoom-out False True False True False Reset zoom False Reset zoom True gtk-zoom-100 False True False True False True Fit zoom Fit zoom False 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 True False False True True True True True False textbuffer2 True True True True 4