{"id":"W2118021850","doi":"10.1109/real.1998.739734","title":"Schedulability analysis for automated implementations of real-time object-oriented models","year":2002,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal; Concordia University","funders":"","keywords":"Computer science; Implementation; Object-oriented programming; Modeling language; Programming language; A priori and a posteriori; Software; Semantics (computer science); Code generation; Embedded software; Real-time computing; Key (lock); 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.004843194,0.0008257177,0.0007466634,0.001437214,0.0006669451,0.001326417,0.001521081,0.0008065911,0.001542079],"category_scores_gemma":[0.01753529,0.0007087823,0.001415017,0.0007542127,0.001052957,0.001881542,0.0007220615,0.001156458,0.000301365],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001524972,"about_ca_system_score_gemma":0.002039364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00274407,"about_ca_topic_score_gemma":0.003028899,"domain_scores_codex":[0.9949949,0.001966835,0.0003873523,0.0003832837,0.001816093,0.0004515308],"domain_scores_gemma":[0.9883817,0.007604424,0.001326634,0.001551723,0.001021132,0.0001144149],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004841098,0.0002834803,0.004495086,0.0003259712,0.0001433002,0.0005303164,0.000761132,0.7116538,0.03480746,0.1452992,0.001459227,0.09975695],"study_design_scores_gemma":[0.00005762542,0.0000826783,0.0004330548,0.00002346118,0.00003603614,0.0000515227,0.00005146112,0.9507,0.01154114,0.03535858,0.001642111,0.00002226831],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04443347,0.00008950911,0.9534561,0.00008404082,0.00001727924,0.00006764258,0.00003814618,0.0007617997,0.001051967],"genre_scores_gemma":[0.4846034,0.0001625267,0.5125977,0.00008314299,0.00006033859,0.0004752984,0.0002735349,0.000377529,0.001366657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004843194,"threshold_uncertainty_score":0.02561355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03742572420501637,"score_gpt":0.2977489612383571,"score_spread":0.2603232370333408,"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."}}