{"id":"W2044138490","doi":"10.1007/s10270-008-0084-1","title":"Model-driven assessment of system dependability","year":2008,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Dependability; Computer science; Formalism (music); Probabilistic logic; Reliability engineering; Software engineering; Embedded system; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001355727,0.0005972562,0.0005066069,0.0008417628,0.0002160979,0.000701673,0.0007253503,0.0007599063,0.001329253],"category_scores_gemma":[0.005818732,0.0003484906,0.0006149694,0.0003334469,0.000302379,0.0007437241,0.0003978382,0.0005785457,0.0002140175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001047744,"about_ca_system_score_gemma":0.0009479216,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002939153,"about_ca_topic_score_gemma":0.003449815,"domain_scores_codex":[0.9990393,0.0004013637,0.00002441175,0.00007169531,0.0004104303,0.00005286638],"domain_scores_gemma":[0.9976639,0.001548379,0.000144547,0.0002284747,0.000373383,0.0000414961],"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.00009199735,0.00008406688,0.001205273,0.00005351358,0.00003378601,0.00002823495,0.00002202582,0.971067,0.006914055,0.002831989,0.0002894567,0.01737854],"study_design_scores_gemma":[0.000004543892,0.00003730338,0.0003123889,0.000002288945,0.00000454946,0.0000118793,0.000002759418,0.9966362,0.001739481,0.001149079,0.00009586172,0.000003608493],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3821514,0.0002090767,0.6091391,0.0001774197,0.00004438,0.0001761689,0.0004037045,0.001154657,0.006544097],"genre_scores_gemma":[0.975298,0.00004063905,0.0238777,0.00001856864,0.000004603649,0.00008083606,0.0001501136,0.00004035069,0.0004890937],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002939153,"threshold_uncertainty_score":0.007601976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.062635797815128,"score_gpt":0.3059809079693298,"score_spread":0.2433451101542017,"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."}}