{"id":"W4388561737","doi":"10.1109/dasc58513.2023.10311167","title":"Certification Considerations of Software-Defined Radio Using Model-Based Development and Automated Testing","year":2023,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Computer science; Certification; Avionics; Integration testing; Development testing; Software engineering; Process (computing); Context (archaeology); Unit testing; White-box testing; Conformance testing; Domain (mathematical analysis); Software; Embedded system; Verification and validation; System integration; Software development; Software quality; Software construction; Programming language; Operating system; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005397837,0.00007252714,0.0001298627,0.0002464807,0.0002235112,0.0000967965,0.000141373,0.00003818753,0.00000467741],"category_scores_gemma":[0.001331495,0.00006644159,0.00002378395,0.001103088,0.00005651834,0.0001638691,0.00009736223,0.00005001539,0.000008938402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004218891,"about_ca_system_score_gemma":0.000494841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004817994,"about_ca_topic_score_gemma":0.000007156761,"domain_scores_codex":[0.9989663,0.00005473376,0.0002894111,0.0002628953,0.0002568446,0.0001698093],"domain_scores_gemma":[0.998476,0.0008577716,0.00005996016,0.0002749585,0.0002696885,0.00006156461],"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.000003231372,0.0001096052,0.01911764,0.0001417386,0.0000476204,0.000006182048,0.0008970166,0.9195538,0.02276378,0.005800427,0.0003190851,0.03123994],"study_design_scores_gemma":[0.0001052263,0.000007454864,0.004357744,0.00001789382,0.00000397041,0.000001725572,0.000009236081,0.9820188,0.01177843,0.001618495,0.000006232537,0.00007483293],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2491288,0.00001183797,0.7495941,0.0002887672,0.00001106031,0.00007955671,7.516464e-7,0.0008609203,0.00002422495],"genre_scores_gemma":[0.5367002,5.394471e-7,0.463247,0.00002059589,0.000001744893,0.000006040639,0.000003087516,0.000002870698,0.00001790485],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.2875714,"threshold_uncertainty_score":0.270941,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1355616914969321,"score_gpt":0.3272776044751659,"score_spread":0.1917159129782338,"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."}}