{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0012524,0.0002337474,0.0003780924,0.0003732262,0.00004642518,0.0001112976,0.001176881,0.0001166729,0.00001579734],"category_scores_gemma":[0.00004061342,0.0001652882,0.0002669695,0.0002950419,0.00006119017,0.0005819495,0.0002345813,0.00040017,0.00004760936],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002125225,"about_ca_system_score_gemma":0.0001512558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001283119,"about_ca_topic_score_gemma":1.223344e-7,"domain_scores_codex":[0.9976043,0.00007117628,0.0008609894,0.0003285286,0.0007775897,0.0003574317],"domain_scores_gemma":[0.9989053,0.000113917,0.0002754588,0.0004618508,0.00004689248,0.0001965847],"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.00008910533,0.0002480128,0.0004190494,0.000268938,0.0001044781,0.00001576362,0.002558081,0.9751716,0.0007858275,0.0002309953,0.00254901,0.01755911],"study_design_scores_gemma":[0.0001800853,0.0005451462,0.00005441307,0.0004744901,0.00003013192,0.00007956779,0.00005191287,0.9452043,0.04676503,0.0009768618,0.005444598,0.000193488],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02234931,0.0004997281,0.9760243,0.0001764845,0.0004593684,0.0002980287,0.000001486053,0.00003584299,0.0001554555],"genre_scores_gemma":[0.7836635,0.00003797455,0.2157661,0.0001908308,0.00004432015,0.00001117167,8.251305e-7,0.00001728302,0.0002680177],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7613141,"threshold_uncertainty_score":0.6740256,"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."}}