{"id":"W2991395850","doi":"10.2298/csis190430040e","title":"Verification and testing of safety-critical airborne systems: A model-based methodology","year":2019,"lang":"en","type":"article","venue":"Computer Science and Information Systems","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Natural Sciences and Engineering Research Council of Canada; Consortium de Recherche et d’innovation en Aérospatiale au Québec","keywords":"Computer science; Avionics; Verification and validation; Software verification; Non-regression testing; Formal verification; Verification; Formal methods; Life-critical system; Functional verification; Certification; Reliability engineering; Conformance testing; Software engineering; Software reliability testing; Model checking; Test strategy; Software; Software system; Software construction; Programming language; Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.004813579,0.001374405,0.0009528914,0.001848243,0.0006332459,0.002348278,0.003325124,0.001676563,0.001601255],"category_scores_gemma":[0.01049332,0.0009652376,0.002623717,0.000992459,0.003242055,0.002966691,0.00168267,0.002235467,0.0004409414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00178015,"about_ca_system_score_gemma":0.003659358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004550799,"about_ca_topic_score_gemma":0.002720684,"domain_scores_codex":[0.9943968,0.002147298,0.0003936694,0.0005965874,0.002241655,0.000223989],"domain_scores_gemma":[0.9914113,0.006087406,0.0005418962,0.001292867,0.0005737402,0.00009276906],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00006830829,0.0003252134,0.001787519,0.0007513661,0.0002832813,0.0005803605,0.0005450254,0.4750794,0.01659963,0.3874212,0.001106825,0.1154518],"study_design_scores_gemma":[0.00006983477,0.0001326635,0.0002338578,0.0002290801,0.0001196243,0.0002148811,0.00005643001,0.8662903,0.00921794,0.1161908,0.007209521,0.00003493339],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00163075,0.00008822908,0.9972184,0.0001008173,0.000007043327,0.00006449488,0.00002004091,0.0002418518,0.0006283737],"genre_scores_gemma":[0.1051347,0.0004088474,0.8928368,0.0001143656,0.00003325188,0.0004418668,0.0001536597,0.0001171661,0.0007593136],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004813579,"threshold_uncertainty_score":0.02545696,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0294303140580155,"score_gpt":0.2395138664829168,"score_spread":0.2100835524249013,"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."}}