{"id":"W4409865208","doi":"10.1007/978-3-031-87345-4_19","title":"A653MSim: An ARINC 653 Multicore Simulator","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Shriners Hospitals for Children - Canada; Polytechnique Montréal","funders":"","keywords":"Computer science; Multi-core processor; Embedded system; Operating system","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":[],"consensus_categories":[],"category_scores_codex":[0.0003429769,0.0002888411,0.0003660578,0.000267787,0.0009080132,0.0002997126,0.002800014,0.0002396794,6.237184e-7],"category_scores_gemma":[0.00006869755,0.0002414718,0.0001723586,0.0002563717,0.00028729,0.0004231397,0.001137473,0.0003824849,3.244694e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005865352,"about_ca_system_score_gemma":0.0002243152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002381157,"about_ca_topic_score_gemma":0.0000247242,"domain_scores_codex":[0.9987234,0.0000141707,0.000603589,0.0002058075,0.0002313676,0.000221675],"domain_scores_gemma":[0.9981356,0.0002983285,0.0004133536,0.0008659614,0.0002308788,0.00005591104],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[7.058052e-7,0.00001191779,0.000002066365,0.00009061416,0.00003367855,4.653604e-8,0.0005492404,0.8601189,0.000001393292,0.1166622,0.0001002191,0.02242895],"study_design_scores_gemma":[0.0001377282,0.00005301962,0.00001358763,0.0001814937,0.00002387589,0.000003479808,0.000001095954,0.9701078,0.00005527668,0.002008495,0.02715571,0.0002584399],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003540047,0.0002171754,0.994271,0.0004818297,0.0004289687,0.0004428768,0.00002905507,0.0002215862,0.003872115],"genre_scores_gemma":[0.008455584,0.00007107198,0.9908499,0.0002845826,0.00009010806,0.00001409092,0.00002837792,0.00001226803,0.0001940405],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1146538,"threshold_uncertainty_score":0.9846936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02292544783653874,"score_gpt":0.2619738916089205,"score_spread":0.2390484437723818,"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."}}