{"id":"W4390124985","doi":"10.18280/isi.280610","title":"Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking","year":2023,"lang":"en","type":"article","venue":"Ingénierie des systèmes d information","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Consistency (knowledge bases); Computer science; Model checking; Inheritance (genetic algorithm); Unified Modeling Language; Activity diagram; Layer (electronics); UML tool; Sequence diagram; Programming language; Artificial intelligence; Materials science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008950997,0.0002300757,0.0003543145,0.0003128338,0.0002528986,0.0002236554,0.0004758353,0.000149912,0.000001297485],"category_scores_gemma":[0.0001207034,0.0001885659,0.00007652223,0.001236113,0.0001376703,0.002307058,0.0001207839,0.0001337935,0.00008605406],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002774355,"about_ca_system_score_gemma":0.0001713125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001161066,"about_ca_topic_score_gemma":0.00001277963,"domain_scores_codex":[0.997885,0.00007319575,0.0009344313,0.0002405237,0.000501427,0.0003653697],"domain_scores_gemma":[0.9980714,0.00006009667,0.0006223722,0.0006276983,0.0005426778,0.00007573946],"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.00007205637,0.000125368,0.03648665,0.005829046,0.0001504759,0.000007563666,0.03014828,0.8112018,0.004491843,0.002419948,0.0001207707,0.1089462],"study_design_scores_gemma":[0.0004520328,0.00008810396,0.01390983,0.0004892239,0.000010157,0.00002840443,0.0004243875,0.9826369,0.001412455,0.0002774922,0.00002195411,0.0002491036],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4778637,0.00006548656,0.5207448,0.00001789415,0.0003349454,0.0004189023,0.000007362844,0.0003658865,0.000180991],"genre_scores_gemma":[0.9833771,0.00002093674,0.01632163,0.00002496055,0.0000194875,0.0001391294,0.00004404188,0.00001325263,0.00003946228],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5055134,"threshold_uncertainty_score":0.7689495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02487339872816686,"score_gpt":0.257841932608127,"score_spread":0.2329685338799602,"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."}}