{"id":"W4297094627","doi":"10.1109/tvt.2022.3209339","title":"Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Vehicular Technology","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Systems Modeling Language; Automaton; Compatibility (geochemistry); Formalism (music); Automotive industry; Distributed computing; Component (thermodynamics); Formal verification; Software engineering; Systems engineering; Unified Modeling Language; Theoretical computer science; Programming language; Engineering; Software","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.004598347,0.000985842,0.0005630648,0.001611763,0.001094643,0.003556657,0.002273292,0.001505912,0.001531319],"category_scores_gemma":[0.009825068,0.0009528447,0.002495922,0.0007747908,0.004192358,0.003698752,0.002876236,0.003012557,0.0004615046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001754145,"about_ca_system_score_gemma":0.004210989,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003673926,"about_ca_topic_score_gemma":0.0023824,"domain_scores_codex":[0.9941351,0.002310702,0.0005183945,0.0006876265,0.001976603,0.0003714614],"domain_scores_gemma":[0.9917241,0.004762218,0.0006801262,0.001480675,0.001193981,0.000159014],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006469958,0.0001430285,0.0008576075,0.0002502284,0.00007242418,0.0007708738,0.0008689397,0.1091556,0.01300998,0.8452466,0.00072562,0.02883456],"study_design_scores_gemma":[0.0000849409,0.0001860909,0.0003703417,0.0002881852,0.0001702462,0.0005899785,0.0002191091,0.5896155,0.0226058,0.3524731,0.03331156,0.0000850586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0036843,0.00008883574,0.9944685,0.0001213492,0.00002346693,0.00008625419,0.00002264964,0.0002656547,0.0012391],"genre_scores_gemma":[0.2087276,0.0006638535,0.7863218,0.0001718118,0.0001165693,0.0007122992,0.0001851296,0.0002130996,0.002887815],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004598347,"threshold_uncertainty_score":0.0243187,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04910544146674536,"score_gpt":0.2938913911046896,"score_spread":0.2447859496379443,"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."}}