{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001923813,0.0008908873,0.0003389563,0.001392811,0.0007261816,0.002458729,0.001240524,0.0008406743,0.01171607],"category_scores_gemma":[0.006155229,0.001013937,0.000577311,0.0009963604,0.001549336,0.002687953,0.002059778,0.002294025,0.00214801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009851416,"about_ca_system_score_gemma":0.001120684,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009732322,"about_ca_topic_score_gemma":0.0009757594,"domain_scores_codex":[0.9976875,0.0005881364,0.00009525729,0.0001726055,0.001343688,0.0001128324],"domain_scores_gemma":[0.9978778,0.001223622,0.0001167225,0.0003850173,0.0003350445,0.00006175387],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006314784,0.00006462821,0.0002583026,0.0002403035,0.00001887076,0.0002210516,0.0005566932,0.01964316,0.004320696,0.7274556,0.01235725,0.2348003],"study_design_scores_gemma":[0.00006013723,0.0001039502,0.0003950809,0.0002796945,0.00003175247,0.0005083793,0.0002594673,0.1456639,0.01081023,0.6899373,0.1519066,0.00004348438],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01074976,0.000692378,0.9116567,0.0005452707,0.00009184369,0.0001337897,0.0001172738,0.001399316,0.07461367],"genre_scores_gemma":[0.2068532,0.00131655,0.752214,0.000175889,0.00008261318,0.0003126322,0.0007076615,0.0009994123,0.03733808],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01171607,"threshold_uncertainty_score":0.03919417,"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."}}