{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02025212,0.0007281146,0.000645342,0.001521204,0.001204942,0.003513892,0.002256131,0.001495808,0.0009995516],"category_scores_gemma":[0.04741034,0.001169816,0.001131116,0.0007285154,0.002639061,0.004164634,0.005138139,0.001634477,0.0002992549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001581213,"about_ca_system_score_gemma":0.004129822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001893106,"about_ca_topic_score_gemma":0.001640519,"domain_scores_codex":[0.9738809,0.01345684,0.001987824,0.002315787,0.007172142,0.001186536],"domain_scores_gemma":[0.9595088,0.01967496,0.00381372,0.01203186,0.004457034,0.0005136641],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009216365,0.0006475574,0.02247451,0.0009298709,0.0003679373,0.002624945,0.01202148,0.3451383,0.1126741,0.2593832,0.001772577,0.2410439],"study_design_scores_gemma":[0.0002478761,0.0007111733,0.003456525,0.0004806158,0.0002738594,0.0007102664,0.001337193,0.6839223,0.114811,0.1670118,0.02686136,0.0001759743],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0873521,0.0001246519,0.9091455,0.000236446,0.00002635931,0.0002419262,0.00004094596,0.0009387809,0.001893336],"genre_scores_gemma":[0.6292441,0.0001612249,0.3681982,0.0001301617,0.00001932633,0.0004626845,0.0001903136,0.0004188482,0.001175113],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02025212,"threshold_uncertainty_score":0.1071047,"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."}}