{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006608074,0.0009907188,0.0008762622,0.001604988,0.0008274698,0.00270541,0.001889019,0.001599393,0.002345369],"category_scores_gemma":[0.02149867,0.0007724922,0.002025594,0.0009044037,0.003113424,0.003440703,0.002212163,0.002313906,0.0006820078],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002660418,"about_ca_system_score_gemma":0.004044087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008381627,"about_ca_topic_score_gemma":0.004198275,"domain_scores_codex":[0.987569,0.004656144,0.0007760648,0.001249946,0.005179396,0.0005693493],"domain_scores_gemma":[0.9805787,0.01081839,0.001651438,0.003940218,0.002851587,0.000159521],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001835064,0.0002114552,0.003715061,0.001013028,0.0002003862,0.0005409512,0.0008091815,0.3594192,0.02646952,0.4506354,0.00275373,0.1540486],"study_design_scores_gemma":[0.00005722889,0.0002261235,0.0009857829,0.0006237961,0.00009820404,0.0002652602,0.0001342569,0.7833155,0.041713,0.145567,0.02695302,0.00006086461],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01333744,0.0008743093,0.9796702,0.0004563296,0.00008801676,0.0001328842,0.00009932809,0.001125301,0.004216208],"genre_scores_gemma":[0.4835383,0.001854265,0.5081062,0.0005615853,0.0001411356,0.0003920738,0.0007788891,0.0004458362,0.004181786],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.008381627,"threshold_uncertainty_score":0.03494722,"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."}}