{"id":"W2562025441","doi":"","title":"Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures","year":2015,"lang":"fr","type":"preprint","venue":"Espace ÉTS (ETS)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal; Concordia University; École de Technologie Supérieure","funders":"","keywords":"Avionics; Integrated modular avionics; DEVS; Computer science; Embedded system; Modular design; Ethernet; Formal verification; FlexRay; Event (particle physics); Systems engineering; Model checking; Software engineering; Computer architecture; Modeling and simulation; Engineering; Operating system; Automotive industry; Simulation; Programming language","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.001805567,0.000637262,0.0004985717,0.0006337644,0.0004226587,0.0008829164,0.0009485342,0.0006672118,0.002312894],"category_scores_gemma":[0.004698245,0.0003869931,0.0009769389,0.0002627218,0.001266346,0.0006250824,0.001006929,0.0007293028,0.0002845361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001160405,"about_ca_system_score_gemma":0.001347389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006854241,"about_ca_topic_score_gemma":0.004508207,"domain_scores_codex":[0.9983075,0.0007696658,0.0000895272,0.000150175,0.0005176564,0.0001654818],"domain_scores_gemma":[0.9972379,0.00182867,0.0001861029,0.0003784637,0.0003079784,0.00006085258],"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.0001503789,0.00005259202,0.00149301,0.0001399911,0.00003416649,0.0001769007,0.0001222451,0.9481826,0.01243078,0.02782706,0.0003740911,0.009016135],"study_design_scores_gemma":[0.00002783508,0.00003481473,0.0002163159,0.00002044754,0.00001076696,0.00002470451,0.00001393222,0.9837002,0.01012764,0.0038791,0.001936937,0.000007215585],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1460356,0.0002539468,0.8390635,0.0002449666,0.00007837879,0.0001809016,0.0004666647,0.00401265,0.009663332],"genre_scores_gemma":[0.883942,0.0002153064,0.1122288,0.00005757555,0.0000154526,0.0002186922,0.0004280923,0.0002702106,0.002623857],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006854241,"threshold_uncertainty_score":0.01362866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.058753216034119,"score_gpt":0.3293123019052087,"score_spread":0.2705590858710897,"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."}}