{"id":"W3158084603","doi":"10.1007/978-3-030-83903-1_9","title":"Towards Certified Analysis of Software Product Line Safety Cases","year":2021,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"General Motors (Canada); University of Toronto","funders":"","keywords":"Correctness; Computer science; Certification; Mathematical proof; Gas meter prover; Software product line; Automated theorem proving; Software engineering; Product (mathematics); Formal methods; Proof assistant; Software; Lift (data mining); Programming language; Software development; Data mining; Mathematics","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.0006707509,0.0004464804,0.001024333,0.001260016,0.00004951203,0.0001474471,0.001178464,0.0002276392,0.00002673676],"category_scores_gemma":[0.000612394,0.0004517398,0.0002712392,0.00416165,0.0001928131,0.000130275,0.0008978628,0.0007328353,0.000001628357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005300294,"about_ca_system_score_gemma":0.0004478332,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002290074,"about_ca_topic_score_gemma":0.0001806921,"domain_scores_codex":[0.9971253,0.00004901171,0.0007929609,0.0009670185,0.0005799623,0.0004857072],"domain_scores_gemma":[0.9975655,0.0003988364,0.0001351219,0.001525607,0.0002732322,0.0001016839],"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.000002651808,0.00001840653,0.0009765641,0.0004032399,0.0002374008,0.00003799548,0.0007704537,0.9056764,0.0006816903,0.000002170435,0.000001791858,0.09119128],"study_design_scores_gemma":[0.000083782,0.0000161408,0.01370628,0.0003838705,0.0001455682,0.00002025935,9.054927e-7,0.9605848,0.02452479,0.0000551817,0.00003810157,0.0004403194],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06638571,0.001423122,0.9282493,0.00008360502,0.003117995,0.0003050685,0.00004043127,0.0003814547,0.00001333697],"genre_scores_gemma":[0.7652712,0.00003252537,0.2343538,0.00002647003,0.0002183952,0.00001930359,0.00004648407,0.00003135233,5.304732e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6988855,"threshold_uncertainty_score":0.9997934,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02050509128542166,"score_gpt":0.2478515588565338,"score_spread":0.2273464675711122,"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."}}