{"id":"W4241863337","doi":"10.1007/s10009-019-00542-2","title":"Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Computer science; Formal specification; Formal methods; Formal verification; Programming language; Software engineering; Systems Modeling Language; Domain (mathematical analysis); Unified Modeling Language","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.000419386,0.0003246845,0.0003274096,0.0005045307,0.0001086476,0.0001815926,0.0009059464,0.0001976665,0.00003663292],"category_scores_gemma":[0.0001143086,0.0002742417,0.000229044,0.0001700316,0.00002774698,0.0006814073,0.00004057169,0.0007352989,0.00001738316],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006140287,"about_ca_system_score_gemma":0.00005871387,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001397193,"about_ca_topic_score_gemma":2.578173e-7,"domain_scores_codex":[0.9981001,0.00000983813,0.0006115628,0.0002415388,0.0005158082,0.0005211257],"domain_scores_gemma":[0.9992425,0.0001029483,0.00003374217,0.0002978097,0.0002587547,0.00006422816],"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.00006027477,0.00001769326,0.0001075411,0.00005287371,0.0004314354,0.00001163242,0.00007697109,0.979688,0.001478346,0.002256454,0.00003181318,0.01578697],"study_design_scores_gemma":[0.001624946,0.000113273,0.0000492151,0.0001877134,0.00004103111,0.0006737341,0.00006835972,0.9823931,0.004574724,0.0003288028,0.009541732,0.0004033909],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2401267,0.0001438431,0.7561315,0.0001282421,0.002265518,0.000422667,0.0001162257,0.0005850988,0.00008017141],"genre_scores_gemma":[0.9577184,0.00003239567,0.04170436,0.0000624598,0.0002406703,0.00007885102,0.00002046573,0.0001149546,0.00002749414],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7175916,"threshold_uncertainty_score":0.999971,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04120826836569858,"score_gpt":0.2544398037154147,"score_spread":0.2132315353497161,"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."}}