{"id":"W1483694396","doi":"10.1109/ictta.2006.1684961","title":"Two architectures for testing distributed real-time systems","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Common Object Request Broker Architecture; Formal specification; Factor (programming language); Distributed computing; Conformance testing; Timed automaton; Java; Process (computing); Software architecture; Real-time operating system; Real-time computing; Embedded system; Software; Software engineering; Programming language; Operating system; Theoretical computer science","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.00117479,0.0006863474,0.0004726005,0.0006741597,0.0004802227,0.001456146,0.001895653,0.001341506,0.004061952],"category_scores_gemma":[0.00348307,0.000325175,0.0005615315,0.0006250881,0.001351501,0.001716178,0.001545795,0.001461203,0.0007873395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001347669,"about_ca_system_score_gemma":0.001308736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001427047,"about_ca_topic_score_gemma":0.001584666,"domain_scores_codex":[0.9977216,0.0007372951,0.0001380404,0.0003289027,0.0009107479,0.0001634302],"domain_scores_gemma":[0.9977164,0.0006612863,0.0002618269,0.0007446331,0.0004523213,0.0001635873],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003793773,0.0005756141,0.003891208,0.0005566532,0.00006814858,0.001013417,0.001057025,0.1671603,0.04318939,0.5801485,0.005316729,0.1966436],"study_design_scores_gemma":[0.0003671329,0.0006414058,0.002198476,0.0002009965,0.00008207026,0.001138762,0.0002919344,0.746848,0.04328905,0.1553951,0.04944186,0.0001050568],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02308061,0.0004461106,0.9646137,0.0006015545,0.0001005065,0.0002658161,0.00006274394,0.001756167,0.009072636],"genre_scores_gemma":[0.4123109,0.0004732849,0.5770668,0.0002589138,0.00008023477,0.0008102041,0.0002279711,0.0001777852,0.008593929],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004061952,"threshold_uncertainty_score":0.01358861,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03091031168590685,"score_gpt":0.2954200830107124,"score_spread":0.2645097713248055,"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."}}