On the design of integrated modular avionics assisted by formal modeling.
AUTOR(ES)
Fabiano Costa Carvalho
FONTE
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia
DATA DE PUBLICAÇÃO
18/03/2009
RESUMO
Avionics system manufacturers are currently facing the problem of developing highly-integrated systems under economic pressures. In this scenario, the empirical approach, characterized by trial and error techniques, is not adequate since the correction of design flaws is often related to expensive re-work and schedule overruns. The evolution of airborne systems toward Integrated Modular Avionics (IMA) pushes the need for advanced methods that could enforce correctness of complex designs while minimizing the chances of introducing errors. Considering this problem, this work proposes a systematic conceptual design strategy based on formal methods, aiming at improving the development processes for IMA systems. The basic idea is to concentrate efforts on the construction, simulation, and formal analysis of a mathematical model for the new system at early development lifecycle phases. The proposed approach was exercised on a case study of practical avionics project in order to evaluate the drawbacks and advantages. Results suggest that this work could contribute to the aeronautics industry by offering alternative means to cope with complexity in modern avionics projects.
ASSUNTO(S)
aviônica verificação formal integração de sistemas complexidade computacional modelos matemáticos engenharia de sistemas engenharia aeronáutica
ACESSO AO ARTIGO
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2168Documentos Relacionados
- Determination of the mechanism of retrotransfer by mechanistic mathematical modeling.
- Proposta de traduÃÃo dos princÃpios da coordenaÃÃo modular em parÃmetros aplicÃveis ao building information modeling.
- An O(N log N) algorithm for shape modeling.
- Modular modeling approach for FDM printed structures and piezo disks for metamaterial design
- Choices and pitfalls concerning mixture-of-experts modeling.