{"id":"W2079084512","doi":"10.1109/ecrts.2012.30","title":"Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines","year":2012,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Finite-state machine; Automotive industry; Software; Model checking; Distributed computing; Task (project management); State (computer science); Embedded system; Algorithm; Programming language; Systems engineering; Engineering","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.001983967,0.0005495512,0.0004972523,0.0006912196,0.000328888,0.0006569665,0.0009008084,0.0004058111,0.0007601673],"category_scores_gemma":[0.006682588,0.0003347519,0.0006242626,0.000342949,0.0007530751,0.0007720786,0.0004278363,0.0004653627,0.0001147096],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009542702,"about_ca_system_score_gemma":0.001377303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0022515,"about_ca_topic_score_gemma":0.001858869,"domain_scores_codex":[0.9988126,0.0003319505,0.00007364836,0.0001590209,0.0004466294,0.0001761972],"domain_scores_gemma":[0.9958829,0.002830478,0.0004779102,0.0003534521,0.0003590719,0.0000961573],"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.0003074072,0.0001109892,0.002234025,0.0001129025,0.00004905796,0.0001864972,0.0001581238,0.8874901,0.03992418,0.04720457,0.0002992424,0.02192298],"study_design_scores_gemma":[0.00001002316,0.00003527023,0.0001825615,0.000003107338,0.00000696551,0.000009408736,0.000008375943,0.9901069,0.003810684,0.005689974,0.0001329295,0.000003710562],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2625415,0.0001495994,0.734354,0.00007449812,0.00001716954,0.00005847536,0.00004244961,0.0003948765,0.002367464],"genre_scores_gemma":[0.9595389,0.00007420839,0.03958976,0.00001673349,0.00002005178,0.00007983644,0.00006735141,0.00004860183,0.0005645407],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0022515,"threshold_uncertainty_score":0.01049238,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01577734835978346,"score_gpt":0.2791402087930392,"score_spread":0.2633628604332558,"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."}}