{"id":"W4404278173","doi":"10.1007/978-3-031-76554-4_6","title":"PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Product (mathematics); Software engineering; Engineering drawing; Engineering; 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.0003427773,0.0005781718,0.0006502674,0.0008094808,0.00003019588,0.00009381515,0.0008104683,0.0002295186,0.00001239685],"category_scores_gemma":[0.000125382,0.0005747632,0.0001236036,0.0004717963,0.0001835125,0.000173096,0.0001855228,0.0007255956,0.00004005594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003111766,"about_ca_system_score_gemma":0.0001417236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000139044,"about_ca_topic_score_gemma":0.00002013715,"domain_scores_codex":[0.9976591,0.000003955604,0.0006285305,0.0007359696,0.0004942172,0.0004781868],"domain_scores_gemma":[0.9984778,0.0004483282,0.00008025058,0.0007981317,0.00010713,0.00008837744],"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.000001426335,0.000003478863,0.0000128428,0.001075889,0.00003570501,0.00012039,0.0001865708,0.9747336,0.001175067,0.0008192331,0.00002230966,0.02181348],"study_design_scores_gemma":[0.0001192048,0.0000552751,0.00007168965,0.003238649,0.00002682323,0.0003930482,1.352708e-7,0.9703499,0.01355078,0.001365839,0.009950419,0.0008782555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006575151,0.01004288,0.9782441,0.00005843848,0.007180694,0.000475682,0.00003644768,0.0009504796,0.002353711],"genre_scores_gemma":[0.9187704,0.0001195018,0.07886487,0.00002115493,0.001503906,0.00002606288,0.000008046377,0.0002128191,0.0004731991],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9181129,"threshold_uncertainty_score":0.9996704,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009877653156459854,"score_gpt":0.2047391053997159,"score_spread":0.1948614522432561,"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."}}