{"id":"W4376622659","doi":"10.1007/978-3-031-33163-3_10","title":"Modelling an Automotive Software System with TASTD","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Programming language; Compiler; Abstraction; Modular design; Notation; Algebraic specification; Modularity (biology); Representation (politics); State (computer science); Formal specification; Theoretical computer science","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.001695415,0.0005902258,0.0005565525,0.0009620625,0.0003755865,0.0006825826,0.004189953,0.0003473414,0.000002723562],"category_scores_gemma":[0.00008371509,0.0005026764,0.00008538237,0.001111443,0.0005979533,0.001422889,0.0009482172,0.0008989339,0.00008780789],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005588452,"about_ca_system_score_gemma":0.0006156215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000474884,"about_ca_topic_score_gemma":0.00002875406,"domain_scores_codex":[0.9952777,0.0000880173,0.0005332081,0.001988143,0.001369263,0.0007436398],"domain_scores_gemma":[0.9962931,0.0003557749,0.0004038423,0.002141128,0.0005738768,0.0002322888],"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.000005436227,0.00001045221,0.000006841193,0.00006903496,0.00000803287,0.00007539379,0.0008555031,0.7648865,0.000004407599,0.07796572,0.000001783782,0.1561109],"study_design_scores_gemma":[0.0001362204,0.000291819,0.00001911476,0.0007476216,0.000007753051,0.0001073102,8.603875e-7,0.9714338,0.000346861,0.02623686,0.00006959304,0.0006021419],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004042692,0.0000575638,0.9953018,0.00007594117,0.001809005,0.0004902622,0.000008737637,0.001237491,0.0009787624],"genre_scores_gemma":[0.01454022,0.000007587472,0.9845977,0.000208312,0.0003003405,0.00002086679,0.000007904278,0.00006945791,0.0002476025],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2065473,"threshold_uncertainty_score":0.9997425,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03950963102736293,"score_gpt":0.2665967223775131,"score_spread":0.2270870913501502,"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."}}