{"id":"W2460645475","doi":"10.1109/acvi.2016.5","title":"Will the ICDs Please Stand Up? An Attempt to Reason about Subsystem Interfaces in Avionics System Integration","year":2016,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec","keywords":"Avionics; Computer science; Context (archaeology); Software engineering; Abstraction; Interface (matter); Domain (mathematical analysis); Systems engineering; Engineering; Operating system","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.008627893,0.0006822232,0.0006126766,0.002537539,0.002026591,0.009613633,0.001761813,0.003343522,0.001880595],"category_scores_gemma":[0.0124353,0.001147649,0.001704263,0.002192533,0.00549668,0.01658044,0.005376241,0.006186971,0.0007823801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0029334,"about_ca_system_score_gemma":0.003173692,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008037121,"about_ca_topic_score_gemma":0.005162686,"domain_scores_codex":[0.9952981,0.001791621,0.000531518,0.0005670122,0.001452337,0.0003593782],"domain_scores_gemma":[0.9934796,0.002827059,0.0004637711,0.001646069,0.001313459,0.0002700583],"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.00006859835,0.00006078583,0.001741087,0.0001406002,0.0000269807,0.0005187794,0.009756497,0.009830665,0.003388432,0.9176437,0.003950136,0.05287365],"study_design_scores_gemma":[0.00006653401,0.0001579221,0.001068005,0.0005270492,0.0001473926,0.0008026143,0.005416228,0.1078793,0.01755052,0.5895392,0.2766747,0.0001705706],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02611023,0.0009832452,0.9557379,0.004293001,0.0002396685,0.00009547392,0.0001297355,0.001170779,0.01124],"genre_scores_gemma":[0.2379649,0.001016731,0.7483698,0.001442374,0.0001370024,0.0001613184,0.0003746181,0.0004669986,0.0100663],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009613633,"threshold_uncertainty_score":0.0456292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00924747198007445,"score_gpt":0.2127759461838023,"score_spread":0.2035284742037279,"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."}}