{"id":"W4417282444","doi":"10.1109/mesa68091.2025.11278875","title":"Hypervisor-Mediated Co-Design of Cybersecurity and Functional Safety in Vehicle E/E Architectures: A Cross-Domain Assurance Framework","year":2025,"lang":"","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hypervisor; Architecture; Functional safety; Vulnerability (computing); Fault tolerance; Debugging; Isolation (microbiology); System safety; Safety assurance","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.002430367,0.0006030431,0.0002869607,0.0005150837,0.0005499916,0.002396942,0.001555798,0.0009059837,0.001623613],"category_scores_gemma":[0.002443357,0.0003301625,0.0004942557,0.0002110446,0.001851284,0.002570782,0.002503105,0.001554981,0.000261418],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009156181,"about_ca_system_score_gemma":0.002404527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0018277,"about_ca_topic_score_gemma":0.002441832,"domain_scores_codex":[0.9987034,0.0004343169,0.00006275754,0.0001784047,0.0003875339,0.0002336825],"domain_scores_gemma":[0.9978018,0.0004546878,0.0002999376,0.0008104257,0.0004345568,0.0001985357],"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.0005431873,0.0008319183,0.008380949,0.0005160328,0.0002612193,0.0005997785,0.001907524,0.4260123,0.1079096,0.2283066,0.002678912,0.2220519],"study_design_scores_gemma":[0.00007582911,0.0005518924,0.001073396,0.0001016474,0.0001002039,0.000200391,0.0003306007,0.862659,0.06787656,0.04857802,0.01841119,0.00004114979],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1320658,0.000493182,0.8563435,0.0005372927,0.00005086738,0.0002164045,0.00002512965,0.00177623,0.008491636],"genre_scores_gemma":[0.8792166,0.0002347389,0.117265,0.0001373711,0.00001814283,0.0001295563,0.00005783885,0.0001317339,0.002809086],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002430367,"threshold_uncertainty_score":0.01285315,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009544760268052494,"score_gpt":0.2369400840514336,"score_spread":0.2273953237833811,"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."}}