{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007158805,0.000174955,0.000454068,0.000396443,0.0001374203,0.00008860027,0.0006034995,0.0000706053,0.0002850914],"category_scores_gemma":[0.00008224837,0.0001609906,0.0003072582,0.002351657,0.00004271819,0.0008796502,0.0001413757,0.00004679098,0.00004386665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008744527,"about_ca_system_score_gemma":0.00004918386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008294862,"about_ca_topic_score_gemma":0.00005916866,"domain_scores_codex":[0.9977739,0.0001358831,0.0007916679,0.0005576977,0.0003701995,0.0003705918],"domain_scores_gemma":[0.9977705,0.0002881482,0.0002820695,0.001070846,0.0004647581,0.0001237032],"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.00003641036,0.001539526,0.02137426,0.00035515,0.00483368,0.000006524053,0.009806577,0.4643129,0.08031872,0.4047992,0.006875036,0.005741985],"study_design_scores_gemma":[0.0004115406,0.00006196383,0.002015232,0.00000608465,0.0001147469,0.00000153352,0.00009470518,0.9930443,0.003173175,0.0008964988,0.00001936379,0.0001608593],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1125273,0.00001406956,0.8794283,0.000188009,0.00006507795,0.0006201782,0.00002911311,0.000869525,0.00625837],"genre_scores_gemma":[0.6501135,0.000002812445,0.3493784,0.00001400366,0.00001118589,0.00006056324,0.00002004865,0.000008011427,0.0003914878],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5375862,"threshold_uncertainty_score":0.6565008,"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."}}