{"id":"W2016833942","doi":"10.1007/s10270-007-0050-3","title":"A modelling and simulation based process for dependable systems design","year":2007,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Process (computing); Systems engineering; Software engineering; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.004747268,0.0004106844,0.0006000063,0.0003683917,0.0005170329,0.0008876143,0.0006511832,0.0002742657,3.057666e-7],"category_scores_gemma":[0.0002750462,0.0004017534,0.000107798,0.0004628079,0.00001999911,0.001411518,0.00007790824,0.0001969858,0.00000724816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001994903,"about_ca_system_score_gemma":0.0002627075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005732239,"about_ca_topic_score_gemma":0.000002944886,"domain_scores_codex":[0.9960662,0.0001757028,0.00115622,0.001016075,0.0007129509,0.0008728547],"domain_scores_gemma":[0.996354,0.001468589,0.0004179953,0.0007264962,0.0007539818,0.000278946],"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.00003414356,0.00001960433,0.0001072326,0.0008749503,0.00002358063,0.000008659715,0.0005396959,0.9972042,0.00008735801,0.0006130341,0.000002509114,0.000484964],"study_design_scores_gemma":[0.0006712145,0.00007142139,3.154522e-7,0.0007744662,0.00002476219,0.00003075729,0.0003778728,0.9969363,0.0001233987,0.0004903819,0.00003403213,0.0004651228],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01972387,0.002011645,0.973956,0.00001098105,0.0009597907,0.002447115,0.000005296578,0.0008547611,0.00003046926],"genre_scores_gemma":[0.7718537,0.000001815221,0.2276047,0.00001293015,0.0002384235,0.0001809794,0.000006609689,0.00006329238,0.00003748633],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7521299,"threshold_uncertainty_score":0.9998434,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07356362033255823,"score_gpt":0.298298027996331,"score_spread":0.2247344076637728,"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."}}