{"id":"W4399848067","doi":"10.1007/s40860-024-00225-z","title":"A formal model-based approach to design failure-aware Internet of Things architectures","year":2024,"lang":"en","type":"article","venue":"Journal of Reliable Intelligent Environments","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Internet of Things; World Wide Web","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.001986926,0.0009551416,0.0006599302,0.0009966424,0.001032476,0.002738689,0.002641083,0.001296847,0.003108259],"category_scores_gemma":[0.004236702,0.0009096473,0.001979263,0.0006043487,0.002066249,0.002653486,0.002117955,0.002507407,0.0006039375],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001635362,"about_ca_system_score_gemma":0.002805792,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004452669,"about_ca_topic_score_gemma":0.008867344,"domain_scores_codex":[0.9985216,0.0004509043,0.0001245886,0.000132096,0.0006173343,0.000153446],"domain_scores_gemma":[0.9983399,0.0007780648,0.0001630846,0.0002800063,0.0003675646,0.00007141252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003851013,0.0001534392,0.0004885701,0.0003153805,0.00009191067,0.0003049256,0.0003995463,0.4107884,0.005746313,0.5519827,0.002208598,0.02748162],"study_design_scores_gemma":[0.00003644406,0.00006740249,0.00009984869,0.0001243556,0.00007847063,0.0001115445,0.0001086388,0.762862,0.003180702,0.2177082,0.01559037,0.00003210995],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001912342,0.0001120332,0.9946499,0.0003022711,0.00005297145,0.00009057858,0.00004682857,0.0002153839,0.002617622],"genre_scores_gemma":[0.1837263,0.0006453912,0.8092679,0.0003501539,0.0001002237,0.0006482185,0.0002526909,0.0001977254,0.004811451],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004452669,"threshold_uncertainty_score":0.01186538,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01753412876515442,"score_gpt":0.2334853843987391,"score_spread":0.2159512556335847,"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."}}