{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.002618701,0.0009929105,0.001135564,0.0009179941,0.0006213054,0.001690242,0.007316029,0.0008968578,0.00003370269],"category_scores_gemma":[0.0006474415,0.0009178458,0.0002351313,0.0008821262,0.0008937484,0.001542902,0.001434367,0.001203077,0.0001686492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003906722,"about_ca_system_score_gemma":0.001324132,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001596972,"about_ca_topic_score_gemma":0.00005590171,"domain_scores_codex":[0.993135,0.0000960891,0.001075348,0.002886948,0.001469426,0.001337183],"domain_scores_gemma":[0.9918472,0.00322502,0.0008619716,0.002884038,0.0007958312,0.000385983],"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.000110157,0.0001945956,0.0001362893,0.0007414945,0.0001797866,0.0004521131,0.002173957,0.2038084,0.04933468,0.09805696,0.0003392081,0.6444723],"study_design_scores_gemma":[0.0009406051,0.0006011251,0.0002152039,0.001406794,0.00004283764,0.0001906022,2.313684e-7,0.5516502,0.02965121,0.411463,0.001310506,0.002527655],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006757025,0.000167682,0.993592,0.0004827883,0.002943807,0.001689073,0.00003941744,0.0006463712,0.0003712446],"genre_scores_gemma":[0.01029022,0.00002847993,0.9875506,0.0002912348,0.0009402761,0.00008373511,0.00003839587,0.00008289564,0.0006941569],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6419446,"threshold_uncertainty_score":0.9993461,"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."}}