{"id":"W4210477369","doi":"10.21203/rs.3.rs-1264268/v1","title":"Applying Declarative Analysis to Industrial Automotive Software Product Line Models","year":2022,"lang":"en","type":"preprint","venue":"Research Square","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Automotive industry; Product line; Software product line; Computer science; Product (mathematics); Software; Software engineering; Manufacturing engineering; Programming language; Engineering; Software development; 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.001513175,0.0006693428,0.0002960099,0.0008399623,0.0003269837,0.001142043,0.001034116,0.0004242941,0.0009118284],"category_scores_gemma":[0.005184556,0.0003867736,0.0007605923,0.0007786527,0.0006103776,0.0008133162,0.001060387,0.000995414,0.0001885332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007713271,"about_ca_system_score_gemma":0.0007078578,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009282469,"about_ca_topic_score_gemma":0.01135407,"domain_scores_codex":[0.9982473,0.0006814257,0.0001194907,0.0001882831,0.0006591447,0.0001044077],"domain_scores_gemma":[0.9948495,0.003258854,0.0003366175,0.0007009869,0.0008036948,0.00005033868],"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.0002061718,0.0003614964,0.01170967,0.0002674465,0.00009428814,0.0008279646,0.001423434,0.8087907,0.03700306,0.02536531,0.001628061,0.1123223],"study_design_scores_gemma":[0.000009307045,0.00004389066,0.0006982638,0.000008774316,0.00001275622,0.00003025178,0.00009139561,0.9841706,0.01024909,0.003527253,0.001151833,0.000006513334],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2791136,0.0001020891,0.7143682,0.0001705528,0.00001393012,0.00008842105,0.0003096455,0.00365821,0.002175408],"genre_scores_gemma":[0.7023586,0.0001142573,0.2949236,0.00006381789,0.000009308763,0.00008040255,0.001072303,0.0002775027,0.001100211],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009282469,"threshold_uncertainty_score":0.01845688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.330741444825577,"score_gpt":0.4569148006708244,"score_spread":0.1261733558452474,"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."}}