{"id":"W3139383966","doi":"10.1145/3259532","title":"Session details: Secure and safety-critical vs. insecure, non safety-critical embedded systems: Do they require completely different design approaches?","year":2004,"lang":"en","type":"article","venue":"International Conference on Hardware/Software Codesign and System Synthesis","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Session (web analytics); Life-critical system; Computer science; Critical system; Computer security; Critical design; Embedded system; Engineering; Software engineering; Operating system; Software","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.003022497,0.001150731,0.00215135,0.000527347,0.002769937,0.005186348,0.0009804346,0.004702682,0.3920617],"category_scores_gemma":[0.00527469,0.0003340629,0.001011632,0.000597771,0.0008220502,0.00311435,0.001828057,0.003304335,0.1374932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001176273,"about_ca_system_score_gemma":0.001333871,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001228237,"about_ca_topic_score_gemma":0.002861172,"domain_scores_codex":[0.9991608,0.0001808225,0.0000483534,0.0001698306,0.0002407636,0.000199494],"domain_scores_gemma":[0.9939214,0.001995968,0.0001881919,0.0004883325,0.001519033,0.001887207],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002458689,0.0003299248,0.001119948,0.0004016971,0.00005112088,0.0001263571,0.0001643471,0.0004363309,0.003098477,0.009395694,0.8776588,0.1047586],"study_design_scores_gemma":[0.0006333476,0.0004579671,0.007493978,0.000304075,0.0001070424,0.0003545983,0.0006587403,0.002992898,0.002963732,0.0205833,0.9633226,0.0001278102],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.02122461,0.01283702,0.02584861,0.1692032,0.1422558,0.002089554,0.01132544,0.004264649,0.610951],"genre_scores_gemma":[0.1339676,0.006598364,0.005469866,0.02374095,0.0370179,0.001102038,0.005377083,0.001632507,0.7850937],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.3920617,"threshold_uncertainty_score":0.8671502,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1039561636628054,"score_gpt":0.2963248502253129,"score_spread":0.1923686865625075,"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."}}