{"id":"W2958851162","doi":"10.1109/compsac.2019.00015","title":"Supporting Consistency in the Heterogeneous Design of Safety-Critical Software","year":2019,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure; Université du Québec à Montréal","funders":"","keywords":"Stateflow; Computer science; Unified Modeling Language; Consistency (knowledge bases); Avionics; Software engineering; Process (computing); Certification; Software; Programming language; Systems engineering; Engineering; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004789863,0.0001304073,0.0002284356,0.00007376843,0.00001313033,0.00001161021,0.0002212657,0.0000700329,0.0001818814],"category_scores_gemma":[0.0001575761,0.0001039125,0.00005620622,0.000150412,0.00002616787,0.00005942857,0.00001891909,0.0001369903,0.00009546337],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004884931,"about_ca_system_score_gemma":0.00002224651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001084871,"about_ca_topic_score_gemma":0.000001943656,"domain_scores_codex":[0.9989113,0.00004877424,0.0004771865,0.0001243319,0.00014941,0.000288978],"domain_scores_gemma":[0.9988078,0.0007764416,0.00002168465,0.0003400341,0.00002457868,0.0000294504],"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.000007036345,0.0000206572,0.006517297,0.0004038601,0.00003211599,0.00002730422,0.0006790677,0.985798,0.002434927,0.002701259,0.0001689287,0.001209567],"study_design_scores_gemma":[0.001570401,0.0002664256,0.01322222,0.0005519776,0.00005261456,0.0006626582,0.001290987,0.9568549,0.01493416,0.0007740855,0.008537063,0.001282514],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07543419,0.0009779747,0.9043559,0.000147705,0.001249306,0.001297108,0.00001154465,0.0008301985,0.01569605],"genre_scores_gemma":[0.9871697,0.000004596349,0.01265566,0.00003864449,0.00002207305,0.00001934638,0.000001910734,0.00003028216,0.00005778791],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9117355,"threshold_uncertainty_score":0.423743,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01227433511313563,"score_gpt":0.2365493659763364,"score_spread":0.2242750308632007,"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."}}