{"id":"W4246930860","doi":"10.22215/etd/2007-08494","title":"A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software","year":2007,"lang":"en","type":"dissertation","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University; Canadian Heritage","funders":"","keywords":"Airworthiness; Engineering; Computer science; Aeronautics; Political science; Certification","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.006420539,0.001635002,0.0006818271,0.003510803,0.0008178127,0.003036197,0.002192123,0.002041154,0.004243978],"category_scores_gemma":[0.01352853,0.001386729,0.0008939996,0.001486676,0.0006470787,0.002388209,0.001507382,0.002368309,0.008835007],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001527895,"about_ca_system_score_gemma":0.006030943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005596024,"about_ca_topic_score_gemma":0.009908821,"domain_scores_codex":[0.9957108,0.001273373,0.0008096526,0.0002200544,0.001742673,0.000243305],"domain_scores_gemma":[0.9927744,0.001898271,0.0009567227,0.001481773,0.002361149,0.0005276397],"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.0004594827,0.001100569,0.006399635,0.002025008,0.00008011537,0.002067628,0.004440297,0.03564953,0.1161181,0.1053432,0.110698,0.6156183],"study_design_scores_gemma":[0.0002055311,0.0003701509,0.004173568,0.002706294,0.0000820287,0.003441453,0.0006540758,0.09555962,0.05154602,0.02904876,0.8119948,0.0002176748],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008964243,0.0005358448,0.940825,0.001087859,0.0001454166,0.00305342,0.003378004,0.02311588,0.01889423],"genre_scores_gemma":[0.03501036,0.001195413,0.9322572,0.000497388,0.00004246365,0.002385014,0.01050384,0.00277937,0.01532897],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006420539,"threshold_uncertainty_score":0.03395545,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03240232100401132,"score_gpt":0.3606787496752208,"score_spread":0.3282764286712095,"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."}}