{"id":"W4402493452","doi":"","title":"Rigorous Safety-Critical Cyber-Physical Systems Development using Formal Methods","year":2024,"lang":"en","type":"other","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Japan Science and Technology Agency; Engineering and Physical Sciences Research Council; National Institute of Informatics; Newcastle University; McMaster University; Norges Teknisk-Naturvitenskapelige Universitet; University of Southampton; Université de Lorraine","keywords":"Cyber-physical system; Computer science; Formal methods; Critical system; Life-critical system; Risk analysis (engineering); Systems engineering; Computer security; Business; Software engineering; Engineering; Programming language; Operating system; Software","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00306741,0.0005767105,0.0006830531,0.0004088338,0.0001283163,0.000295337,0.0007332628,0.0004120943,0.0001264033],"category_scores_gemma":[0.0003601105,0.0006269328,0.0001928589,0.0004464798,0.0001299626,0.0001301688,0.0003351381,0.0006493251,0.0004824628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00048935,"about_ca_system_score_gemma":0.0001597192,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003380412,"about_ca_topic_score_gemma":0.00009481287,"domain_scores_codex":[0.9961917,0.001470814,0.00067535,0.0006040501,0.0004101559,0.0006479137],"domain_scores_gemma":[0.9970773,0.0009250423,0.0001246043,0.001337923,0.0002985611,0.0002365234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001908079,0.0008828446,0.00006961952,0.0177748,0.00327073,0.0001546687,0.02999164,0.02344244,0.009155836,0.5878845,0.1477081,0.1796458],"study_design_scores_gemma":[0.0001680737,1.66451e-7,0.00001545033,0.004286662,0.00007304727,0.00005118516,0.00005286562,0.2276693,0.002613009,0.00007618251,0.764358,0.0006360939],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007883592,0.00577948,0.5962929,0.00008506169,0.001358184,0.0003454589,0.00004167307,0.001750618,0.3942677],"genre_scores_gemma":[0.02723192,0.0002126981,0.6057769,0.00001568469,0.0004398625,0.0002205237,0.000241755,0.002021699,0.3638389],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6166499,"threshold_uncertainty_score":0.9996182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01368463924935964,"score_gpt":0.2582966062328904,"score_spread":0.2446119669835307,"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."}}