{"id":"W4298203295","doi":"","title":"Ensuring the Reliability of an Autonomous Vehicle: a Formal Approach based on Component Interaction Protocols","year":2017,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Flexible and Reconfigurable Manufacturing Systems","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Component (thermodynamics); Computer science; Reliability (semiconductor); Formal verification; Reliability engineering; Formal methods; Software engineering; Engineering; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005054517,0.0003283842,0.0004241829,0.0001429196,0.0003760263,0.0003733483,0.001332925,0.0002689858,0.00002355127],"category_scores_gemma":[0.0003431058,0.0002682121,0.0002082431,0.00007224186,0.0001571576,0.0002011358,0.0003253053,0.0008923684,0.000008883832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001956055,"about_ca_system_score_gemma":0.0001219665,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009603172,"about_ca_topic_score_gemma":0.00013121,"domain_scores_codex":[0.9962964,0.00191379,0.0006245393,0.0004945491,0.0003581565,0.0003125363],"domain_scores_gemma":[0.9949507,0.0005384247,0.0005004723,0.003242129,0.0006643617,0.0001038916],"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.0001035415,0.001429397,0.0004568648,0.004590688,0.0001531419,0.000003690702,0.007707736,0.8838182,0.004396207,0.002353814,0.0003436312,0.09464307],"study_design_scores_gemma":[0.0003936993,0.000001315326,0.003488715,0.002294261,0.00002033459,0.000004417178,0.0000668585,0.8702475,0.1188944,0.0001946476,0.004103324,0.0002905293],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7706773,0.0001149767,0.06405616,0.001384169,0.0008324151,0.01235827,0.0001091097,0.0008963388,0.1495712],"genre_scores_gemma":[0.9929061,0.00001223954,0.004138806,0.00001424231,0.00003651118,0.002143374,0.0001905647,0.00005226194,0.0005059223],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2222288,"threshold_uncertainty_score":0.999977,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02149075510302694,"score_gpt":0.2427126859993792,"score_spread":0.2212219308963523,"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."}}