{"id":"W2042922122","doi":"10.1109/rtas.2007.10","title":"Dynamic Patching of Embedded Software","year":2007,"lang":"en","type":"article","venue":"Proceedings - Real-Time Technology and Applications Symposium","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bombardier (Canada)","funders":"","keywords":"Computer science; Instrumentation (computer programming); Human multitasking; Code (set theory); Dead code; Source code; Software; Embedded system; Process (computing); Binary code; Task (project management); Object code; Operating system; Programming language; Binary number; Redundant code; Code generation; Engineering; Set (abstract data type)","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.0003436004,0.0005123973,0.0005276909,0.0004062649,0.0003404873,0.0005361885,0.001130885,0.0004633903,0.002479664],"category_scores_gemma":[0.002152554,0.0004261418,0.0003962243,0.0002147104,0.0007923866,0.00131508,0.001323776,0.0008932477,0.0005995821],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002225608,"about_ca_system_score_gemma":0.0002599497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003898916,"about_ca_topic_score_gemma":0.0003936459,"domain_scores_codex":[0.9993262,0.00007404338,0.00003776929,0.0002305223,0.0002521359,0.00007942241],"domain_scores_gemma":[0.9981598,0.0004565857,0.0001940244,0.000969849,0.0001533086,0.00006636076],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000433171,0.0001399398,0.005121326,0.0004517092,0.00007590446,0.001113908,0.0009994743,0.02443316,0.3463352,0.0170802,0.003843552,0.5999724],"study_design_scores_gemma":[0.0001187595,0.0007817158,0.008407521,0.0001661297,0.0001891021,0.003639275,0.0002168,0.2356674,0.6436276,0.01745018,0.08962449,0.0001108382],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1223907,0.0006089677,0.8572206,0.0001629896,0.0001426213,0.0001100374,0.00005701993,0.01454255,0.004764371],"genre_scores_gemma":[0.767964,0.000399337,0.2197504,0.00019019,0.00008570549,0.0001064854,0.0001784984,0.002937119,0.008388285],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002479664,"threshold_uncertainty_score":0.008295357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004854768791122099,"score_gpt":0.2418184874480322,"score_spread":0.2369637186569101,"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."}}