{"id":"W2999284478","doi":"10.1109/tse.2020.2966994","title":"<i>checsdm</i>: A Method for Ensuring Consistency in Heterogeneous Safety-Critical System Design","year":2020,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure; Université du Québec à Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Consistency (knowledge bases); Set (abstract data type); Engineering design process; Component (thermodynamics); Software engineering; Programming language; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004547646,0.0003992025,0.0004983412,0.0002952916,0.0001276898,0.00009674647,0.0006640762,0.000193615,0.000003787854],"category_scores_gemma":[0.00006804958,0.000467941,0.0002295462,0.0005871976,0.00002226056,0.0003238566,0.0000102488,0.0004663896,0.00001111789],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002684348,"about_ca_system_score_gemma":0.00007466555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009630934,"about_ca_topic_score_gemma":0.000001107154,"domain_scores_codex":[0.9976899,0.00008975795,0.0005900851,0.0007384064,0.0003008147,0.0005910123],"domain_scores_gemma":[0.9979116,0.001112358,0.00004754814,0.0005462429,0.0001007454,0.0002815293],"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.00003489243,0.0000426148,0.000002853254,0.0003865259,0.00003799414,0.00006885445,0.0004054401,0.9719511,0.001191598,0.00557071,0.00001820381,0.02028926],"study_design_scores_gemma":[0.0004385299,0.0001996553,0.000005689538,0.0002716944,0.00002386519,0.0001009257,0.000004775822,0.9528366,0.04417897,0.00002323753,0.001441241,0.0004747669],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007552598,0.0001123286,0.9942408,0.0001850852,0.0005956668,0.0006987403,0.00003461613,0.004053832,0.000003404996],"genre_scores_gemma":[0.2697234,0.000007954732,0.7297232,0.0001046486,0.0000448192,0.0003261878,8.807151e-7,0.00006522433,0.000003661246],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2696479,"threshold_uncertainty_score":0.9997773,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02858974122118303,"score_gpt":0.2568440467938464,"score_spread":0.2282543055726634,"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."}}