{"id":"W6997374744","doi":"","title":"Validation and Verification of Safety-Critical Systems in Avionics","year":2023,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec","keywords":"Component (thermodynamics); Reliability (semiconductor); Interchangeability; Software; Quality (philosophy); Automatic test equipment","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006573261,0.0002309254,0.0004265414,0.001713902,0.0001199226,0.00006546952,0.0003260046,0.000416085,0.000004085056],"category_scores_gemma":[0.0001380158,0.0003124724,0.00007127423,0.00125054,0.0001004542,0.0002098688,0.00004420915,0.0008010918,0.00002084303],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009840464,"about_ca_system_score_gemma":0.000253209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0042302,"about_ca_topic_score_gemma":0.001041299,"domain_scores_codex":[0.9979563,0.00024728,0.0004695786,0.0003980506,0.0004905132,0.0004383231],"domain_scores_gemma":[0.9986851,0.0004954812,0.00007352979,0.0004408271,0.0001733059,0.000131757],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"observational","study_design_scores_codex":[0.00234685,0.0005372324,0.0715642,0.05739005,0.002097137,0.003291403,0.01552022,0.3148743,0.3183515,0.202982,0.003369067,0.007676015],"study_design_scores_gemma":[0.00333142,0.0006744176,0.6526784,0.007768025,0.000319968,0.0001214882,0.02520059,0.1407209,0.1195664,0.0006551942,0.04577102,0.003192334],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9652016,0.001004357,0.0002420742,0.00003398058,0.00328667,0.0007989113,0.00002739811,0.0004283376,0.02897669],"genre_scores_gemma":[0.993378,0.0004684069,0.0000164603,1.142155e-7,0.0001314596,0.00001111029,0.0001542777,0.00008598828,0.005754201],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5811141,"threshold_uncertainty_score":0.9999328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02155878353030706,"score_gpt":0.2657856002660364,"score_spread":0.2442268167357294,"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."}}