{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01718148,0.001308508,0.0008561764,0.001866657,0.001361194,0.004667428,0.003174735,0.001832156,0.003834947],"category_scores_gemma":[0.02813641,0.001101652,0.002865666,0.000871447,0.00740552,0.004466276,0.004440714,0.00509243,0.001327988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003054215,"about_ca_system_score_gemma":0.008658946,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003733659,"about_ca_topic_score_gemma":0.002999099,"domain_scores_codex":[0.9873103,0.005297727,0.00107676,0.0009058032,0.004889873,0.0005195591],"domain_scores_gemma":[0.9759191,0.01575657,0.001267034,0.002810912,0.003895113,0.0003513028],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001377566,0.0000548655,0.0004282964,0.0005266191,0.00003384691,0.000240379,0.0007866014,0.04725146,0.002038239,0.9160377,0.001743095,0.03084523],"study_design_scores_gemma":[0.00004704239,0.00005306751,0.0001600858,0.0007579594,0.0000351948,0.0001932144,0.0002283284,0.1062472,0.005042265,0.8294253,0.05775557,0.00005470697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001254673,0.0004600992,0.9913906,0.0009787251,0.0001000512,0.0001870241,0.00005538485,0.0001820759,0.005391302],"genre_scores_gemma":[0.05902308,0.001795385,0.9329667,0.0004443728,0.0001686314,0.00080227,0.0002663489,0.0002556551,0.004277498],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01718148,"threshold_uncertainty_score":0.09086549,"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."}}