{"id":"W2563522961","doi":"10.1109/issrew.2016.12","title":"On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification","year":2016,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure; Université du Québec à Montréal","funders":"","keywords":"Software engineering; Computer science; Software development; Avionics; Avionics software; Certification; Social software engineering; Software construction; Context (archaeology); Systems engineering; Life-critical system; Verification and validation; Model-driven architecture; Software system; Software; 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.02031681,0.0008790101,0.00102839,0.004316221,0.001220018,0.006267478,0.003389213,0.003584454,0.002513409],"category_scores_gemma":[0.0487788,0.0009133244,0.002138823,0.002525187,0.003382273,0.00735078,0.004295926,0.003107442,0.0005841895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003198598,"about_ca_system_score_gemma":0.006395737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004035148,"about_ca_topic_score_gemma":0.003779303,"domain_scores_codex":[0.9783956,0.00923652,0.001639915,0.001068281,0.008749787,0.0009099545],"domain_scores_gemma":[0.9419529,0.03276397,0.004386225,0.01272182,0.007504723,0.0006703219],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001205814,0.0003396696,0.00435651,0.001400333,0.0001732395,0.0004508091,0.001954739,0.07478017,0.005283182,0.7843029,0.002478662,0.1243592],"study_design_scores_gemma":[0.0001030772,0.0006804381,0.00314569,0.003609435,0.0002369171,0.001058999,0.001482176,0.4475181,0.01416894,0.4347408,0.09305871,0.0001967601],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.043622,0.004806282,0.905687,0.006767861,0.0001495333,0.0003598983,0.0001628122,0.001474936,0.03696968],"genre_scores_gemma":[0.5579729,0.004175354,0.4332813,0.0008417934,0.0001419962,0.0003943993,0.0005954725,0.0004104131,0.002186331],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02031681,"threshold_uncertainty_score":0.1074468,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05643150080069812,"score_gpt":0.234943772205635,"score_spread":0.1785122714049369,"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."}}