{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004837748,0.0001510875,0.0002033657,0.0005254773,0.0003148987,0.0000512009,0.0008004055,0.0002341252,0.00000436136],"category_scores_gemma":[0.00003663991,0.0001609591,0.00003814487,0.001426849,0.0002137233,0.0002499571,0.0003048736,0.0002155623,0.00002380048],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003586957,"about_ca_system_score_gemma":0.00003151127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005554068,"about_ca_topic_score_gemma":5.040276e-7,"domain_scores_codex":[0.998687,0.000003869246,0.0003952828,0.0004775216,0.0001416964,0.0002945727],"domain_scores_gemma":[0.9989914,0.00009307005,0.0002795859,0.0003361453,0.0002328801,0.00006687611],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006379631,0.0001304011,0.002640117,0.0001062083,0.00002404267,7.186816e-7,0.000816172,0.000004622238,0.1955758,0.7551539,0.0001063972,0.04543526],"study_design_scores_gemma":[0.001940575,0.0005827222,0.009267984,0.0004158993,0.0001459667,0.0007274071,0.002255308,0.1252244,0.3233449,0.5095645,0.0243229,0.002207387],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1802836,0.0001642702,0.8090776,0.001681066,0.00005008865,0.000547795,0.000003486756,0.001464113,0.006728014],"genre_scores_gemma":[0.8209841,0.0001027418,0.1785844,0.00004147775,0.0000261683,0.00009368505,0.000004039136,0.00001278268,0.0001505934],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6407005,"threshold_uncertainty_score":0.6563723,"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."}}