{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005220004,0.001107534,0.0009019657,0.001361478,0.001245222,0.003823319,0.003089103,0.001878871,0.001888552],"category_scores_gemma":[0.01197955,0.00100586,0.00224198,0.000873007,0.005678638,0.004295972,0.003562615,0.004320858,0.0004644576],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001741892,"about_ca_system_score_gemma":0.003095671,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00238764,"about_ca_topic_score_gemma":0.001843636,"domain_scores_codex":[0.9956671,0.001629494,0.0003133792,0.000523344,0.001535768,0.000330972],"domain_scores_gemma":[0.9884723,0.007578066,0.0006733377,0.001604688,0.001388739,0.0002829119],"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.00006294525,0.00006924097,0.0004571595,0.0002302527,0.00005344275,0.0004073035,0.0006378883,0.2339809,0.005521859,0.7384679,0.0007743078,0.01933673],"study_design_scores_gemma":[0.00003589354,0.00007154531,0.000114999,0.00009464574,0.00008182911,0.0001343505,0.0001215424,0.6218005,0.005195961,0.3645992,0.007711714,0.00003783424],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003983183,0.00009160522,0.9940079,0.0002356774,0.00003814342,0.00004710093,0.00001528311,0.0001167567,0.00146433],"genre_scores_gemma":[0.4493115,0.0009121777,0.5427144,0.000246311,0.000294194,0.0006004599,0.0001267318,0.0002801793,0.005514025],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005220004,"threshold_uncertainty_score":0.02760637,"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."}}