{"id":"W4392383173","doi":"10.32920/25336336","title":"Executable Model-Based Systems Engineering for Aircraft Systems: Landing Gear Extension and Retraction Use Cases","year":2024,"lang":"en","type":"preprint","venue":"","topic":"Systems Engineering Methodologies and Applications","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Executable; Correctness; Computer science; Software engineering; Process (computing); Extension (predicate logic); Systems engineering; Unified Modeling Language; Programming language; Reliability engineering; Engineering; Software","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[{"model":"gemma","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"simulation_or_modeling","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"}],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005596735,0.0004949768,0.0006492938,0.0003522618,0.00008053066,0.000574454,0.0001474499,0.0006337434,0.000001020423],"category_scores_gemma":[0.0003433243,0.0004796181,0.0001420321,0.000152116,0.0000131017,0.0001107667,0.0001519846,0.0006306967,0.000006060945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002780572,"about_ca_system_score_gemma":0.00004913682,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002651722,"about_ca_topic_score_gemma":0.000002347512,"domain_scores_codex":[0.9981813,0.00002881543,0.0005693382,0.0006162524,0.0001898085,0.0004144867],"domain_scores_gemma":[0.9979605,0.001095055,0.000071398,0.0006275254,0.0001088816,0.000136606],"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.000006328817,0.00000551868,0.00001228519,0.009043396,0.00009077485,0.000008665084,0.00003685982,0.9780051,0.008858071,0.001448361,0.002412179,0.00007246866],"study_design_scores_gemma":[0.0001315228,0.00002091764,0.00001211227,0.001839728,0.0001221547,0.00007673772,0.0001275533,0.9917086,0.0005483265,0.00006000938,0.004837314,0.0005150682],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05752124,0.009019893,0.9241918,0.00002213412,0.004499068,0.001626483,0.000241334,0.002810159,0.00006786944],"genre_scores_gemma":[0.9523262,0.0003545426,0.04401777,0.000005758576,0.0005645556,0.00166236,0.0001446534,0.0002455984,0.0006785718],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.894805,"threshold_uncertainty_score":0.9997656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09738326484514055,"score_gpt":0.2893834558776767,"score_spread":0.1920001910325362,"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."}}