{"id":"W2318672080","doi":"10.2514/6.2009-6813","title":"Space Vehicle Flight Software Analysis via Monte Carlo Driven Simulation","year":2009,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Lockheed Martin (Canada)","funders":"","keywords":"Monte Carlo method; Computer science; Software; Space vehicle; Simulation; Aerospace engineering; Operating system; Engineering; Mathematics; Statistics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008581566,0.0004616998,0.0004162756,0.001073563,0.0005531193,0.0009201952,0.0008962781,0.0008124432,0.003963301],"category_scores_gemma":[0.003237993,0.0004666668,0.0006804356,0.000637607,0.0005159088,0.0005511572,0.000492993,0.0007544085,0.0005013458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001225308,"about_ca_system_score_gemma":0.002121935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02019898,"about_ca_topic_score_gemma":0.01496138,"domain_scores_codex":[0.9995552,0.0001266579,0.00001478819,0.00003735677,0.0002128605,0.00005321603],"domain_scores_gemma":[0.9982092,0.00123623,0.0001332385,0.0001094628,0.0002676403,0.00004413688],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008818133,0.00001359479,0.0004972856,0.00001590323,0.000008611051,0.00001873608,0.00001627431,0.9893004,0.0003471404,0.00589887,0.0002406102,0.003633632],"study_design_scores_gemma":[0.000002024756,0.000003507057,0.00005552433,0.000002574785,0.0000013734,0.000004441495,0.000004046365,0.9981256,0.0001558145,0.001196405,0.0004468567,0.000001845127],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05808499,0.000252199,0.924681,0.0002168941,0.00004746169,0.0001836879,0.0003159671,0.001676444,0.01454145],"genre_scores_gemma":[0.6666399,0.000459495,0.3258325,0.00009326178,0.00003142227,0.0004908881,0.0005897599,0.0003900663,0.005472756],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02019898,"threshold_uncertainty_score":0.0401628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01017716733887253,"score_gpt":0.2486833723359485,"score_spread":0.238506204997076,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}