{"id":"W2086340664","doi":"10.5555/2755753.2757191","title":"Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking","year":2015,"lang":"en","type":"article","venue":"Design, Automation, and Test in Europe","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Concordia University","funders":"","keywords":"Maintainability; Computer science; Markov chain; Erlang distribution; Avionics; Reliability engineering; Probabilistic logic; Geostationary orbit; Model checking; Reliability (semiconductor); Satellite system; Exponential distribution; Real-time computing; Satellite; Markov model; Geostationary Operational Environmental Satellite; Algorithm; Global Positioning System; GNSS applications; Engineering; Telecommunications; Aerospace engineering; Statistics","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.004021147,0.001281979,0.001045261,0.001836433,0.0005837596,0.001939376,0.002607879,0.001119901,0.001559347],"category_scores_gemma":[0.0114161,0.001132488,0.00287155,0.0008593537,0.001163731,0.002385164,0.001670281,0.002334805,0.0004089158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00155823,"about_ca_system_score_gemma":0.004550099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008402041,"about_ca_topic_score_gemma":0.009244142,"domain_scores_codex":[0.9963445,0.001041535,0.0002465251,0.0003800035,0.001701411,0.0002859654],"domain_scores_gemma":[0.9922534,0.004666467,0.0008594089,0.001143274,0.0009829586,0.00009449707],"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.00004314652,0.00006667511,0.001112318,0.000120168,0.00007754634,0.0001198868,0.00008311245,0.9546337,0.0057136,0.01936593,0.0002629395,0.01840095],"study_design_scores_gemma":[0.000006139339,0.00001545181,0.00006517526,0.00001005604,0.00001782812,0.00002405503,0.000004795931,0.9937909,0.00143489,0.004352117,0.0002742199,0.000004256665],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006943012,0.00006451445,0.9915221,0.00005986172,0.000009689335,0.0000478118,0.00006188994,0.0008401542,0.0004508684],"genre_scores_gemma":[0.487141,0.0004027321,0.5101639,0.0001175011,0.00004063821,0.0003569876,0.000437092,0.0003229351,0.001017164],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008402041,"threshold_uncertainty_score":0.02126616,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07319186676392403,"score_gpt":0.3070104834331236,"score_spread":0.2338186166691996,"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."}}