{"id":"W2289681073","doi":"10.1109/rsp.2015.7416543","title":"Performance verification for ESL design methodology from AADL models","year":2015,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Functional verification; Formal verification; Embedded system; Key (lock); Software; Programming language; Computer architecture; Operating system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005470325,0.001227576,0.0005152318,0.001811248,0.0006812746,0.002645968,0.001969014,0.001046876,0.007881626],"category_scores_gemma":[0.01380148,0.0009173484,0.001799691,0.000578105,0.00156442,0.002673183,0.001541428,0.001872217,0.002430351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001803437,"about_ca_system_score_gemma":0.002791021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003782206,"about_ca_topic_score_gemma":0.002404024,"domain_scores_codex":[0.9904171,0.002602181,0.0008448842,0.0007786143,0.004855272,0.0005019893],"domain_scores_gemma":[0.9929912,0.002606079,0.0006638714,0.001633588,0.00201974,0.00008563881],"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.0002627163,0.000185806,0.001233335,0.001280159,0.0001374073,0.0006971764,0.0008379716,0.3328216,0.04363848,0.4289497,0.006090344,0.1838654],"study_design_scores_gemma":[0.000100263,0.0002558185,0.0003133198,0.0003699285,0.00009138559,0.0003705644,0.0001334523,0.7497243,0.08386692,0.09247696,0.0722165,0.00008056087],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002224538,0.00006469212,0.9918917,0.00007965179,0.00003084028,0.0001153629,0.0001234193,0.002325044,0.003144651],"genre_scores_gemma":[0.1886726,0.0005516344,0.8011411,0.0002569927,0.00006797217,0.001025935,0.0009814792,0.001496735,0.005805618],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007881626,"threshold_uncertainty_score":0.02893019,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.5002810235991151,"score_gpt":0.3584106975022434,"score_spread":0.1418703260968717,"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."}}