{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01064454,0.000867456,0.0008473845,0.002038577,0.0009348673,0.00263161,0.001957408,0.001018034,0.001495397],"category_scores_gemma":[0.03428458,0.0008238766,0.002360145,0.0007448288,0.00257712,0.002419417,0.003022787,0.001763768,0.0002138945],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002069859,"about_ca_system_score_gemma":0.005411854,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01218709,"about_ca_topic_score_gemma":0.01355337,"domain_scores_codex":[0.988003,0.005230951,0.0009560239,0.001086196,0.003919995,0.0008037643],"domain_scores_gemma":[0.9666128,0.01999199,0.003130589,0.005918507,0.004038567,0.0003076661],"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.0004976354,0.000345021,0.01385447,0.00047719,0.0003028082,0.0009142002,0.001777994,0.6924886,0.03169516,0.1697902,0.0009667434,0.08689006],"study_design_scores_gemma":[0.00005429529,0.00009036715,0.000552011,0.00009787862,0.0000813169,0.00008626718,0.00009438486,0.95608,0.01744191,0.0235964,0.001791508,0.00003357302],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04786329,0.00006765794,0.9483877,0.0001238852,0.00002836477,0.0001443969,0.0000798365,0.001872486,0.001432322],"genre_scores_gemma":[0.6564218,0.00013608,0.3411701,0.00009244458,0.00001553925,0.0003285787,0.0003140373,0.0003826689,0.001138605],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01218709,"threshold_uncertainty_score":0.05629438,"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."}}