{"id":"W2208792883","doi":"10.1007/978-3-642-41707-8_14","title":"Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Avionics; Computer science; Certification; Conformance testing; Embedded system; Test (biology); Layer (electronics); Programming language; Reliability engineering; Software engineering; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002287415,0.0004615636,0.0006957162,0.001110866,0.000148009,0.0003642367,0.003151912,0.0003854632,0.000004919603],"category_scores_gemma":[0.0004316714,0.0004371759,0.00007770982,0.0009096229,0.0006469078,0.0009602057,0.001092533,0.0007623371,0.00001391503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004163884,"about_ca_system_score_gemma":0.000539441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001223337,"about_ca_topic_score_gemma":0.00002663525,"domain_scores_codex":[0.9961379,0.0001269319,0.0008900606,0.001283065,0.0009682126,0.0005938487],"domain_scores_gemma":[0.9967057,0.0005509473,0.000692322,0.00152654,0.0004186341,0.0001058324],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000228121,0.0000341338,0.0001504511,0.0003231913,0.000007061865,0.00002788208,0.001649652,0.1461201,0.0009482303,0.1061673,0.000001390834,0.7445683],"study_design_scores_gemma":[0.0001364583,0.0001286812,0.0006946021,0.001535643,0.000005076575,0.00009414112,0.000001464774,0.9726574,0.0007854365,0.02342495,0.00007023012,0.0004659324],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009109721,0.004568893,0.9883714,0.0001139288,0.001751377,0.0005311825,0.000001717787,0.00008508941,0.00366539],"genre_scores_gemma":[0.1629626,0.0001338967,0.8366166,0.0000543283,0.0001469334,0.0000128434,6.23689e-7,0.00002749152,0.00004470695],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8265373,"threshold_uncertainty_score":0.999808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0933684558747225,"score_gpt":0.3042184143432304,"score_spread":0.2108499584685079,"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."}}