{"id":"W2590113509","doi":"10.4271/2017-01-0063","title":"PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems","year":2017,"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":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Réseau Québécois en Innovation Sociale","funders":"","keywords":"Computer science; Automotive industry; Stateflow; Software engineering; Context (archaeology); Formal methods; Process (computing); Systems engineering; Functional safety; Original equipment manufacturer; Process management; Manufacturing engineering; Engineering management; Engineering; Operating system","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.003647049,0.001005965,0.0004526273,0.001336297,0.0006805476,0.00204131,0.001247438,0.0009476587,0.01060709],"category_scores_gemma":[0.008475589,0.0007158602,0.0008471314,0.0006246396,0.002050171,0.001828507,0.001798426,0.001341371,0.001448179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001107521,"about_ca_system_score_gemma":0.001731535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002127456,"about_ca_topic_score_gemma":0.001285178,"domain_scores_codex":[0.9966162,0.001622266,0.0002173868,0.0002849022,0.001137485,0.0001217489],"domain_scores_gemma":[0.9951355,0.003371622,0.0002326277,0.0007241672,0.0004631893,0.00007286316],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002702104,0.0001947914,0.001650481,0.00120852,0.00008709701,0.0008262998,0.00205129,0.2192258,0.02100708,0.2839726,0.01070658,0.4587993],"study_design_scores_gemma":[0.0002538355,0.0004117165,0.0006948971,0.0007027652,0.00004763646,0.0008578645,0.0003728448,0.5434961,0.02393841,0.1555291,0.273607,0.00008783858],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009870061,0.000610067,0.9648109,0.0004635032,0.0001921407,0.0002965886,0.0001191669,0.006732321,0.01690528],"genre_scores_gemma":[0.196667,0.001019575,0.7875567,0.0002145428,0.0001229815,0.0005707125,0.0004084165,0.001190254,0.0122498],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01060709,"threshold_uncertainty_score":0.03548425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0148615400476456,"score_gpt":0.3046002783952788,"score_spread":0.2897387383476332,"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."}}