{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006228004,0.0002047538,0.0002925525,0.0004050386,0.0005004624,0.00002006611,0.001089477,0.0001106956,0.000004615436],"category_scores_gemma":[0.00003581955,0.0001755071,0.0001352264,0.001222432,0.0001092162,0.0002382784,0.00002081275,0.001038559,0.000002613907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002527957,"about_ca_system_score_gemma":0.00005396142,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001514829,"about_ca_topic_score_gemma":9.447941e-7,"domain_scores_codex":[0.9981416,0.0003232681,0.0003704409,0.0004597755,0.000358098,0.0003468478],"domain_scores_gemma":[0.998222,0.0004519972,0.0001830615,0.001042043,0.00007890434,0.00002199436],"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.00006316129,0.0004615542,0.00001266496,0.00002857423,0.00002645718,0.000004111181,0.0001466961,0.956398,0.01198887,0.001182634,0.000002936889,0.02968439],"study_design_scores_gemma":[0.0006382487,0.0009259935,0.0002257885,0.00002400431,0.00001366757,0.00005719891,0.000104455,0.7817276,0.2121821,0.003322488,0.0005498851,0.0002285598],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06759139,0.00001475116,0.9280619,0.0003488863,0.0001872815,0.002920155,0.000006886812,0.0008410164,0.00002775273],"genre_scores_gemma":[0.8564395,0.000001453266,0.1383586,0.00008946344,0.000004984461,0.005084067,0.000001432799,0.00001564814,0.00000480919],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7897032,"threshold_uncertainty_score":0.7156971,"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."}}