{"id":"W1973518623","doi":"10.1023/b:ause.0000017742.47984.6c","title":"Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System","year":2004,"lang":"en","type":"article","venue":"Automated Software Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Control reconfiguration; Computer science; Unified Modeling Language; Software; Payload (computing); Embedded system; Distributed computing; Programming language; Network packet; Computer network","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.003304925,0.000612486,0.0007346894,0.0006790228,0.001558081,0.001022527,0.001437122,0.001738722,0.001813148],"category_scores_gemma":[0.01322743,0.0004311939,0.0005341989,0.0006364353,0.00217421,0.001370843,0.001052938,0.001295335,0.0002663638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008303999,"about_ca_system_score_gemma":0.001790895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009911713,"about_ca_topic_score_gemma":0.006532308,"domain_scores_codex":[0.9976419,0.0007384767,0.0001391228,0.0004380795,0.0007920319,0.0002503151],"domain_scores_gemma":[0.9836829,0.01090914,0.001160956,0.00239728,0.001405518,0.0004441972],"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.003518083,0.0008412285,0.01716456,0.0004083772,0.0001517349,0.003666742,0.002104143,0.5752292,0.1393952,0.02947745,0.001970863,0.2260724],"study_design_scores_gemma":[0.0001776757,0.0003097971,0.001719177,0.00001381513,0.00004925516,0.0003801147,0.0001717403,0.9535652,0.03668889,0.00612913,0.0007669636,0.00002823102],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4972529,0.00008167168,0.495692,0.0002127401,0.00003560656,0.0001532522,0.00007917664,0.004774464,0.001718269],"genre_scores_gemma":[0.9329273,0.00002325014,0.06646865,0.00002815935,0.000009607947,0.00002358476,0.00004863384,0.0001058874,0.0003649521],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009911713,"threshold_uncertainty_score":0.01970804,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00948485757950351,"score_gpt":0.2531919913532006,"score_spread":0.2437071337736971,"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."}}