{"id":"W2047729406","doi":"10.4271/2015-01-0156","title":"Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers","year":2015,"lang":"en","type":"article","venue":"SAE International journal of passenger cars. Electronic and electrical systems","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decomposition; Automotive industry; Structural integrity; Computer science; Reliability engineering; Automotive engineering; Engineering; Chemistry; Structural engineering","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.001567318,0.001541476,0.0010483,0.001066216,0.0006828224,0.002337063,0.00175063,0.001648875,0.009780929],"category_scores_gemma":[0.005419968,0.0008528531,0.001430344,0.0008871576,0.001173678,0.001470694,0.00189126,0.001680948,0.001545722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001540431,"about_ca_system_score_gemma":0.003346617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009574653,"about_ca_topic_score_gemma":0.01173308,"domain_scores_codex":[0.998926,0.0003394884,0.00006018054,0.0001718811,0.0002831716,0.0002193015],"domain_scores_gemma":[0.99722,0.001878813,0.0002014897,0.0002428138,0.0003581642,0.0000987058],"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.00007618013,0.000108708,0.000687153,0.0001738739,0.00003229022,0.00008248128,0.0001131502,0.9155674,0.002197294,0.01581073,0.002643312,0.06250741],"study_design_scores_gemma":[0.00003941363,0.00001698313,0.0000622019,0.00001456793,0.000008074785,0.0000105766,0.00003639155,0.9909853,0.00123396,0.006101109,0.001486191,0.000005261474],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02185847,0.0001388732,0.9625821,0.0002847747,0.00004937225,0.0001836651,0.0002862873,0.002067749,0.01254874],"genre_scores_gemma":[0.1570753,0.0001446293,0.83762,0.0001572661,0.00003055405,0.0003613162,0.000598621,0.0005028881,0.003509494],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009780929,"threshold_uncertainty_score":0.03272051,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03325067339439326,"score_gpt":0.336915422498884,"score_spread":0.3036647491044907,"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."}}