{"id":"W2464337848","doi":"10.1007/978-3-319-31311-5_4","title":"A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet","year":2016,"lang":"en","type":"book-chapter","venue":"Advances in intelligent systems and computing","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure; Polytechnique Montréal","funders":"","keywords":"Avionics; Integrated modular avionics; Computer science; Modular design; Bisimulation; Architecture; Embedded system; Engineering; Programming language","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.001493597,0.0009653369,0.0008705524,0.0009247996,0.001193328,0.002654691,0.002792536,0.0008862819,0.004794951],"category_scores_gemma":[0.002491668,0.0008075501,0.002150736,0.001828807,0.001960422,0.001948652,0.001575196,0.002676957,0.0006887091],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001671925,"about_ca_system_score_gemma":0.003142802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01635517,"about_ca_topic_score_gemma":0.02379838,"domain_scores_codex":[0.9991589,0.0001580358,0.00005727494,0.000136667,0.0004011378,0.00008804922],"domain_scores_gemma":[0.9992048,0.0004638739,0.00005142533,0.0000916073,0.0001405534,0.00004775718],"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.00005777048,0.00009399457,0.000241317,0.0002368275,0.00007863096,0.000361303,0.0002271452,0.3166068,0.008254427,0.5991675,0.003287545,0.07138672],"study_design_scores_gemma":[0.00002315041,0.00002016135,0.0001158397,0.00004765818,0.00004517151,0.00007467429,0.00003613131,0.7110036,0.002303446,0.2685702,0.01772736,0.00003271066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002277681,0.000301106,0.9910439,0.00009052482,0.00008711143,0.00006411585,0.00009682893,0.0002365713,0.005802087],"genre_scores_gemma":[0.1174308,0.0009063217,0.8697716,0.0001652398,0.0001444032,0.000249142,0.0003151284,0.0003454448,0.01067193],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01635517,"threshold_uncertainty_score":0.03251994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02446478627517007,"score_gpt":0.2954535038096596,"score_spread":0.2709887175344895,"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."}}