{"id":"W1571653778","doi":"10.1007/978-3-642-16561-0_32","title":"Design Choices for High-Confidence Distributed Real-Time Software","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Control reconfiguration; Resource (disambiguation); Reservation; Predictability; Distributed computing; Dependency (UML); Architecture; Systems design; Software engineering; Embedded system; Computer network","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.002297328,0.0008968906,0.0004798973,0.0005457896,0.0005253655,0.001909281,0.001600013,0.001220381,0.007294144],"category_scores_gemma":[0.007078348,0.0007863449,0.0005488273,0.0004364189,0.0007311298,0.002046548,0.001091849,0.001634356,0.002006026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005818997,"about_ca_system_score_gemma":0.0004039831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002159393,"about_ca_topic_score_gemma":0.0005817896,"domain_scores_codex":[0.9980029,0.0004698578,0.0001351295,0.0002441969,0.00097863,0.0001691312],"domain_scores_gemma":[0.9977709,0.001007659,0.0001817156,0.0004546551,0.0004960147,0.00008905318],"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.0006531983,0.0001413104,0.001276451,0.0007771352,0.0001167205,0.0004157813,0.0006841826,0.1278537,0.06280434,0.4308524,0.005896803,0.3685279],"study_design_scores_gemma":[0.0002174782,0.000480781,0.0004341779,0.0002115395,0.0001668585,0.0006889553,0.000194881,0.5232601,0.05924471,0.3681687,0.04685343,0.00007831134],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01216171,0.0006013578,0.977485,0.0002732745,0.00007089211,0.0000387518,0.00003083799,0.0007553752,0.008582766],"genre_scores_gemma":[0.5121217,0.0005987082,0.4753576,0.0002406033,0.00006766139,0.0001447318,0.00009714838,0.0005065387,0.01086545],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007294144,"threshold_uncertainty_score":0.02440137,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01856621854428506,"score_gpt":0.2472318341508662,"score_spread":0.2286656156065812,"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."}}