Automatic Flight Code Generation with Integrated Static Run-Time Error Checking and Code Analysis

Autor:	Chris Hote, Tom Erkkinen
Rok vydání:	2006
Předmět:	Dead code business.industry Computer science Real-time computing ComputerApplications_COMPUTERSINOTHERSYSTEMS Static program analysis Avionics Software Embedded system Code generation Software verification and validation Unreachable code business Redundant code
Zdroj:	AIAA Modeling and Simulation Technologies Conference and Exhibit.
DOI:	10.2514/6.2006-6257
Popis:	Model-Based Design with automatic flight code generation is used to develop a variety of aerospace electronic systems including integrated avionics, jet engine controls, and flight control systems. The software deployed in these systems undergoes rigorous verification and validation because the consequences of software failure are severe. New code checking and analysis tools have recently emerged with tight integrations to the modeling and code generation environment provided by Simulink.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a6d4f952a4165823df873573880b20f1 https://doi.org/10.2514/6.2006-6257 Zobrazit plný text záznamu