{"id":"W4399886290","doi":"10.1145/3625223.3649278","title":"ReDaML: A Modeling Language for DO-178C High-Level Requirements in Airspace Systems","year":2023,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Mitacs","keywords":"Computer science; Aeronautics; Systems engineering; Software engineering; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.003160381,0.001539815,0.0008490462,0.00130078,0.0008292727,0.003198717,0.00359534,0.002362957,0.005976176],"category_scores_gemma":[0.005434801,0.001465935,0.003074021,0.0007792016,0.00141524,0.003143576,0.002752451,0.003245895,0.002556541],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001292817,"about_ca_system_score_gemma":0.003455814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008225211,"about_ca_topic_score_gemma":0.009495534,"domain_scores_codex":[0.9979327,0.0006135599,0.0004068127,0.0002674082,0.0005899037,0.0001895416],"domain_scores_gemma":[0.9972855,0.001446763,0.0003229427,0.000443895,0.0003954702,0.0001055861],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002840091,0.0002422513,0.002380213,0.002006042,0.0001847896,0.001377075,0.003185201,0.372514,0.02063295,0.4817392,0.02999229,0.08546206],"study_design_scores_gemma":[0.0001293853,0.00009674459,0.0004244289,0.0004526285,0.0001040675,0.00068603,0.0002238196,0.5554596,0.01686578,0.0712515,0.3541679,0.000138207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002493404,0.0001244623,0.9845749,0.0002951513,0.00006169472,0.0001964755,0.001202631,0.007728502,0.003322799],"genre_scores_gemma":[0.05959607,0.0007227556,0.9207098,0.0004937991,0.00006507723,0.001400064,0.004222499,0.004504657,0.008285367],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008225211,"threshold_uncertainty_score":0.01999229,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.4535142223067382,"score_gpt":0.5138809966180931,"score_spread":0.0603667743113549,"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."}}