{"id":"W4392383142","doi":"10.32920/25336336.v1","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; Process (computing); Software engineering; Extension (predicate logic); Systems engineering; Reliability engineering; Programming language; Engineering","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.004430111,0.000829626,0.0004102746,0.0008338952,0.000689977,0.001793522,0.001100715,0.001631801,0.00266182],"category_scores_gemma":[0.01116168,0.000504123,0.000928737,0.0005270068,0.001875377,0.002541769,0.001898679,0.001815281,0.0003594461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001062237,"about_ca_system_score_gemma":0.001194243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002822112,"about_ca_topic_score_gemma":0.003751642,"domain_scores_codex":[0.9956632,0.001900182,0.0002146114,0.0001510867,0.00187904,0.0001918697],"domain_scores_gemma":[0.9941252,0.00381827,0.0003213019,0.001141908,0.0005100871,0.00008325068],"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.000492254,0.0007065808,0.009120793,0.0007313753,0.00006219895,0.007450921,0.005840973,0.4066709,0.05034853,0.3624326,0.004931654,0.1512112],"study_design_scores_gemma":[0.0001362588,0.0004815527,0.00187116,0.0002780431,0.00004904156,0.001964358,0.0008440583,0.8240063,0.06589525,0.0485255,0.05587784,0.00007069626],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1849529,0.0002114241,0.788174,0.0007567988,0.00005082373,0.0006549648,0.0002388372,0.001900407,0.02305979],"genre_scores_gemma":[0.5736802,0.0003005401,0.4182954,0.00008313859,0.00001371965,0.000475514,0.0003930908,0.0003540502,0.006404309],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004430111,"threshold_uncertainty_score":0.02342898,"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."}}