{"id":"W2066363949","doi":"10.4271/2015-01-0265","title":"From Natural Language to Semi-Formal Notation Requirements for Automotive Safety","year":2015,"lang":"en","type":"article","venue":"SAE technical papers on CD-ROM/SAE technical paper series","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Infineon Technologies (Canada)","funders":"","keywords":"Computer science; Notation; Automotive industry; Natural language; Formal methods; Programming language; Natural language processing; Engineering; Linguistics","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.007590861,0.001147602,0.0006372067,0.002404075,0.0007068318,0.005571513,0.001844477,0.001992744,0.004589844],"category_scores_gemma":[0.01753588,0.0007525592,0.001274325,0.001558826,0.003824965,0.005239246,0.002404536,0.00347953,0.002313238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002289843,"about_ca_system_score_gemma":0.003572284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002063763,"about_ca_topic_score_gemma":0.001358086,"domain_scores_codex":[0.987685,0.005801647,0.001750748,0.0009656387,0.003466468,0.0003305764],"domain_scores_gemma":[0.9851156,0.009121479,0.00102295,0.001945486,0.002589705,0.0002047746],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005620928,0.00008765063,0.0002098775,0.0006449472,0.00001770155,0.0005992671,0.002793178,0.009686381,0.0116838,0.9152533,0.006618549,0.05234921],"study_design_scores_gemma":[0.00008495669,0.0002248821,0.0004307279,0.001240918,0.00005164668,0.001440607,0.001057713,0.102389,0.01470368,0.5927576,0.2854825,0.0001358077],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003134511,0.000544443,0.981605,0.001251166,0.0001638154,0.0002994663,0.0003724373,0.0008664367,0.01176262],"genre_scores_gemma":[0.07421704,0.001340097,0.9151207,0.0008126813,0.0002089719,0.001341919,0.001386753,0.0004469475,0.005124782],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007590861,"threshold_uncertainty_score":0.0401448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01372068644531268,"score_gpt":0.2536265607060303,"score_spread":0.2399058742607176,"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."}}