{"id":"W2401072665","doi":"","title":"An Extension for AADL to Model Mixed-criticality Avionic Systems Deployed on IMA architectures with TTEthernet","year":2014,"lang":"en","type":"preprint","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; École de Technologie Supérieure","funders":"","keywords":"Avionics; Extension (predicate logic); Integrated modular avionics; Computer science; Criticality; Engineering; Programming language; Physics; Aerospace 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002840014,0.001195416,0.001456985,0.0009233832,0.0004247508,0.001709721,0.003675298,0.001016767,0.000001315059],"category_scores_gemma":[0.0003955816,0.001041465,0.0004100606,0.0004694141,0.0001197308,0.0003290724,0.001294847,0.001338246,0.00001574465],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001009298,"about_ca_system_score_gemma":0.0007988025,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01563716,"about_ca_topic_score_gemma":0.002717707,"domain_scores_codex":[0.9922227,0.0009236424,0.001256326,0.002715341,0.001263557,0.001618382],"domain_scores_gemma":[0.9912918,0.0005669529,0.0006410645,0.005671143,0.0006750247,0.001154048],"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":[0.0002928608,0.0003505232,0.0003799033,0.0004341865,0.00008493881,0.00004510057,0.0003866304,0.9163249,0.004448446,0.06532393,0.001233945,0.01069466],"study_design_scores_gemma":[0.0005302575,0.000819869,0.001942789,0.001061164,0.00006603533,0.0001568863,0.00003435595,0.9734806,0.004878367,0.01567834,0.0001365717,0.001214751],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1460117,0.0003603985,0.8451978,0.002094812,0.0004930613,0.003585078,0.0001139056,0.002070447,0.00007281402],"genre_scores_gemma":[0.6422274,0.000008085286,0.3526963,0.001485458,0.0003102497,0.002962699,0.00004891312,0.0001799047,0.00008097485],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4962157,"threshold_uncertainty_score":0.9993266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01763047263771235,"score_gpt":0.2657725053121329,"score_spread":0.2481420326744206,"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."}}