{"id":"W3095179637","doi":"","title":"Runtime Verification of Real-Time Applications Using Trace Data and Model Requirements","year":2016,"lang":"en","type":"article","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec; Polytechnique Montréal","keywords":"Humanities; Computer science; Political science; Philosophy","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":[],"consensus_categories":[],"category_scores_codex":[0.0009313188,0.0001719074,0.0002456819,0.0001725853,0.0001612528,0.00006488823,0.001262248,0.0001428505,0.00000410325],"category_scores_gemma":[0.00006831538,0.0001331354,0.00004309086,0.0003696236,0.0001067803,0.001198486,0.0005654136,0.00007507077,0.00001088715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001732769,"about_ca_system_score_gemma":0.0002148258,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009049383,"about_ca_topic_score_gemma":0.00003253496,"domain_scores_codex":[0.9982714,0.00006715269,0.0004722213,0.0005754199,0.0002919764,0.0003218481],"domain_scores_gemma":[0.9969305,0.00008628386,0.0002835186,0.002431042,0.0001336619,0.0001350376],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005545617,0.0004988803,0.07348301,0.0002194759,0.00008712083,0.000003168075,0.0005721043,0.00220479,0.7156232,0.02991815,0.001251595,0.176083],"study_design_scores_gemma":[0.0002982825,0.00003675571,0.01122727,0.00006946323,0.00001950272,0.0000201161,0.0000082659,0.9740416,0.01159751,0.002125604,0.000341123,0.0002145152],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1189183,0.0002142842,0.8789642,0.000820545,0.00002605672,0.0005838913,0.00006231192,0.0003151046,0.00009528759],"genre_scores_gemma":[0.6720479,0.0002547651,0.3272729,0.00006388952,0.00002993324,0.0001268869,0.000009907805,0.0000170218,0.0001768384],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9718368,"threshold_uncertainty_score":0.5429103,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02739614063036727,"score_gpt":0.2717085944399609,"score_spread":0.2443124538095936,"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."}}