{"id":"W4255813111","doi":"10.1109/snpd.2007.539","title":"A Software Architecture For Simplifying Verification of System Timing Properties","year":2007,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Scheduling (production processes); Embedded software; Software; Architecture; Embedded system; Software architecture; Processor scheduling; Software system; Static timing analysis; Reference architecture; Task (project management); Real-time computing; Computer architecture; Operating system; Engineering","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.001066557,0.0006818469,0.0004069799,0.0008029129,0.0006084832,0.0008829357,0.001347731,0.0007815485,0.002004098],"category_scores_gemma":[0.003316556,0.0007263733,0.0006735027,0.0004787847,0.0008583234,0.001539035,0.0008268306,0.002247885,0.0008560747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005858634,"about_ca_system_score_gemma":0.001718579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001259128,"about_ca_topic_score_gemma":0.002109229,"domain_scores_codex":[0.9990556,0.000207467,0.00009118233,0.0001406032,0.0004149386,0.00009014933],"domain_scores_gemma":[0.9978613,0.0005846884,0.0001939586,0.0008499784,0.0004311103,0.00007893573],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003471678,0.0002936786,0.001687929,0.0004872087,0.00009235941,0.0005920799,0.0004898835,0.1272069,0.343142,0.2805762,0.004550247,0.2405344],"study_design_scores_gemma":[0.0002491661,0.0009752201,0.001737644,0.0001806819,0.0002676448,0.001011462,0.00008832024,0.5709644,0.255738,0.06704766,0.1016352,0.0001045841],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01431172,0.0001553712,0.979901,0.0001043376,0.00005875635,0.00008204448,0.0000286366,0.002921632,0.002436484],"genre_scores_gemma":[0.1502246,0.0002908499,0.8467381,0.00007531302,0.00004862425,0.000176719,0.0001404217,0.000269941,0.002035408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002004098,"threshold_uncertainty_score":0.00670433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04301016030172697,"score_gpt":0.2619615841525505,"score_spread":0.2189514238508235,"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."}}