{"id":"W2802031355","doi":"10.1007/978-3-319-91271-4_18","title":"Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Formal specification; Programming language; Formal methods; Formal verification; Software engineering; Systems Modeling Language; Domain (mathematical analysis); Automated theorem proving; Unified Modeling Language","routes":{"ca_aff":true,"ca_fund":true,"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.001026339,0.0006984799,0.0005781723,0.0005541672,0.000216395,0.0002800578,0.00143519,0.0002414234,0.00001547924],"category_scores_gemma":[0.00004974879,0.0006018771,0.0001434102,0.0003124913,0.0002130962,0.0004958541,0.0004822825,0.0008837678,0.00001397845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0010544,"about_ca_system_score_gemma":0.0002046084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001406115,"about_ca_topic_score_gemma":0.00000401702,"domain_scores_codex":[0.9967142,0.00001018069,0.0006880863,0.0007468794,0.0008891293,0.0009514951],"domain_scores_gemma":[0.9985101,0.0001068201,0.00008769306,0.00100889,0.0001571823,0.0001293167],"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.000003319839,0.000002495056,0.000002001777,0.000156323,0.00003534484,0.000009501742,0.0004709919,0.9861174,0.0002253236,0.0001738566,0.00000700379,0.01279644],"study_design_scores_gemma":[0.0001917017,0.00003187324,0.000002679009,0.0006360183,0.00001961461,0.0001233044,5.06906e-7,0.9958238,0.0006961242,0.0008530088,0.0009627861,0.0006585827],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001401774,0.0005557265,0.9933581,0.00001544197,0.00275145,0.0005448888,0.00002826239,0.0004325108,0.000911816],"genre_scores_gemma":[0.629042,0.00002091353,0.3692605,0.00006953459,0.00132837,0.00002045342,0.00001083117,0.0001977593,0.00004968368],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6276402,"threshold_uncertainty_score":0.9996433,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04325637717332654,"score_gpt":0.2339521247348908,"score_spread":0.1906957475615642,"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."}}