{"id":"W2895208382","doi":"10.1145/3239372.3239413","title":"Assurance via model transformations and their hierarchical refinement","year":2018,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Ontario Centres of Excellence","keywords":"Correctness; Computer science; Hierarchy; Process (computing); Structuring; Information assurance; Software security assurance; Theoretical computer science; Software engineering; Algorithm; Programming language; Computer security; Information security","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008787698,0.001031573,0.0007334051,0.002383812,0.001785101,0.003682826,0.001949133,0.001765629,0.002998106],"category_scores_gemma":[0.01828406,0.001107901,0.003859414,0.001673909,0.008700685,0.007573061,0.005876885,0.005355556,0.0008593848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002789406,"about_ca_system_score_gemma":0.002369995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005244344,"about_ca_topic_score_gemma":0.003897667,"domain_scores_codex":[0.9914032,0.003447311,0.0006520396,0.001064366,0.002889193,0.0005440386],"domain_scores_gemma":[0.988204,0.004845641,0.000938074,0.004432627,0.001313184,0.0002664387],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001805511,0.0000266954,0.0004019287,0.00004956831,0.00002079579,0.000153801,0.000778213,0.01498496,0.001613321,0.9707708,0.0003208791,0.01086101],"study_design_scores_gemma":[0.00001682868,0.00003492795,0.0001504343,0.00003013496,0.0000238137,0.00008231747,0.0001199713,0.0779769,0.002604458,0.9117469,0.007192652,0.00002066273],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006146025,0.000090521,0.9876112,0.0003779522,0.00001889752,0.00008473579,0.00003584409,0.0004020967,0.005232722],"genre_scores_gemma":[0.2912722,0.0003636917,0.7030156,0.0001936759,0.00007666947,0.0003872685,0.0002181604,0.0002910371,0.004181786],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008787698,"threshold_uncertainty_score":0.04647434,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00789282033411196,"score_gpt":0.1905563170122364,"score_spread":0.1826634966781244,"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."}}