{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.003138343,0.0007177905,0.0008677815,0.0005744367,0.0002166077,0.0003663386,0.002070176,0.0007308179,0.0000288041],"category_scores_gemma":[0.003142436,0.0007440717,0.0003067664,0.0008866558,0.000348541,0.0002550384,0.0004307282,0.001069687,0.0003064581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008035779,"about_ca_system_score_gemma":0.001103753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000434797,"about_ca_topic_score_gemma":0.00002283088,"domain_scores_codex":[0.9933268,0.001929941,0.001219548,0.001433846,0.001453635,0.0006362235],"domain_scores_gemma":[0.9914693,0.001775854,0.001788181,0.003373678,0.001262335,0.0003307149],"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.0002206656,0.0002595587,0.0003777626,0.0004607588,0.0000516357,0.000004631538,0.002021377,0.913213,0.0007869844,0.07166491,0.000222887,0.0107159],"study_design_scores_gemma":[0.000681935,0.0003664139,0.008194126,0.00100209,0.00007544852,0.000004168061,0.00007647777,0.9745172,0.005528959,0.001717987,0.007179841,0.000655321],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09824616,0.001183354,0.8901528,0.001211755,0.005882371,0.001838112,0.00007887833,0.000334806,0.001071752],"genre_scores_gemma":[0.8438866,0.00001645914,0.1543034,0.00009043184,0.0003700435,0.0001786302,0.00007574633,0.00007731112,0.001001418],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7456405,"threshold_uncertainty_score":0.999501,"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."}}