{"id":"W2567563269","doi":"10.1109/dasc.2016.7777999","title":"Partition modeling and optimization of ARINC 653 operating systems in the context of IMA","year":2016,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec","keywords":"Avionics; Computer science; Partition (number theory); Integrated modular avionics; Integer programming; Schedule; Modular design; Scheduling (production processes); Distributed computing; Linear programming; Mathematical optimization; Software; Engineering; Algorithm; Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.0007123035,0.001054928,0.0007090468,0.0006459044,0.0004398264,0.001188108,0.0007832525,0.0007167212,0.00166594],"category_scores_gemma":[0.001117317,0.0004783732,0.0006558804,0.0006465763,0.0006049103,0.0006492288,0.0005776038,0.0008254923,0.0002007176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001924922,"about_ca_system_score_gemma":0.001935579,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.02404745,"about_ca_topic_score_gemma":0.01767801,"domain_scores_codex":[0.9996288,0.0001241881,0.00001072645,0.00005662112,0.00008168494,0.00009807363],"domain_scores_gemma":[0.9996293,0.0001952488,0.00006715353,0.00001566628,0.00006100601,0.00003163884],"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.00001122218,0.000005275313,0.00006274039,0.000006129148,0.000002584264,0.000005906104,0.000006851502,0.9975598,0.0002077176,0.001171432,0.00004898484,0.0009113799],"study_design_scores_gemma":[0.000001463422,0.000008261755,0.00005168519,0.000001074613,0.000001934578,0.000001648467,0.00000451889,0.99925,0.00007838109,0.0004873881,0.0001124752,0.000001125213],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2472662,0.001072723,0.7330465,0.0003773106,0.00007239798,0.0001424613,0.0002977182,0.0003311596,0.01739351],"genre_scores_gemma":[0.9565499,0.000419317,0.03786466,0.00004068567,0.00002365243,0.0001477155,0.0001560483,0.00008035361,0.004717804],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02404745,"threshold_uncertainty_score":0.04781491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02467418408834775,"score_gpt":0.2413119178460899,"score_spread":0.2166377337577421,"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."}}