Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Model-based Method to Automate the Design of IMA Avionics System Based on Cosimulation

Journal Article
2015-01-2531
ISSN: 1946-3855, e-ISSN: 1946-3901
DOI: https://doi.org/10.4271/2015-01-2531
Published September 15, 2015 by SAE International in United States
Model-based Method to Automate the Design of IMA Avionics System Based on Cosimulation
Sector:
Citation: Bao, L., Bois, G., Boland, J., and Savard, J., "Model-based Method to Automate the Design of IMA Avionics System Based on Cosimulation," SAE Int. J. Aerosp. 8(2):234-242, 2015, https://doi.org/10.4271/2015-01-2531.
Language: English

References

  1. Bieber P. , Boniol F. , Boyer M. , Noulard E. , Pagetti C. New challenges for future avionics architectures Aerospace Lab Journal 04 11 May 2012
  2. Chu W. K. , Zhang F. M. , Fan X. G. Overview on Software Architecture of Integrated Modular Avionic Systems Press of Chinese Journal of Aeronautics 30 1912 17 October 2009
  3. Mellor S. J. , Clark A. N. and Futagami T. Model-driven development IEEE Software 20 5 14 18 2003
  4. Aeronautical Radio Inc. Avionics Application Software Standard Interface PART 1- Required Services Airlines Electronic Engineering Committee, ARINC653 P1-3 2010
  5. Aeronautical Radio Inc. Avionics Application Software Standard Interface PART 2- Extended Services Airlines Electronic Engineering Committee, ARINC653P2-1 2008
  6. Aeronautical Radio Inc. Avionics Application Software Standard Interface PART 3-Conformity Test Specification Airlines Electronic Engineering Committee, ARINC653P3 2006
  7. Savard , J. , Bao , L. , Bois , G. , and Boland , J. Model-Based Design Flow Driven by Integrated Modular Avionic Simulations SAE Technical Paper 2013-01-2211 2013 10.4271/2013-01-2211
  8. Delange J. , Plantec A. , Pautet L. , Kerboeuf M. , Singhoff F. and Kordon F. Validate, simulate, and implement ARINC653 systems using the AADL Ada Letters 29 3 31 44 2009
  9. GMV IMA research group SIMA command line tools-application development and configuration guide GMV, version 0.9.2.5 2010
  10. Rufino J. , Craveiro J. , Schoofs T. , Tatibana C. , and Windsor J. AIR Technology: a step towords ARINC653 in space Proceedings of the DASIA 2009 : Data Systems in Aerospace Conference Turkey 2009
  11. Fons-Albert B. , Usach-Molina H. , Vila-Carbo J. and Crespo-Lorente A. Development of integrated modular avionics applications based on Simulink and XTRATUM DASIA 2013 Data Systems in Aerospace 2013 47 52
  12. Delange J. and Lec L. POK, an ARINC 653- compliant operating system released under the BSD license 13 th Real-time Linux Workshop, Faculté de genie électrique de l'Université Technique Tchèque de Prague 2011 https://lwn.net/images/conf/rtlws-2011/proc/Delange_POK.pdf 4 November 2014
  13. GMV IMA Research group SIMA command line tools-application development and configuration guide GMV, version 0.9.2.5 2009 2010
  14. Zalila B. , Pautet L. , Lasnier G. and Hugues J. OCARINA- An environment for AADL models analysis and automatic code generation for high integrity applications Proceedings of the 14 th Ada-Europe International Conference on Reliable Software Technologies France 2009 237 250
  15. SAE International Aerospace Architecture Analysis & Design Language (Aadl) SAE Standard AS5506A, Issued Nov. 2009
  16. Erkkinen T. and Potter B. Model-based design for DO-178B with qualified tools AIAA Modeling and Simulation Technologies Conference 2009
  17. GMV Innovating Solutions Configuima: System Description http://www.gmv.com/en/aeronautics/products/configuima/ 19 December 2014
  18. SYSGO AG PikeOS Fundamentals PikeOS v3.2, version S2872-1.7 2005 2011
  19. SYSGO Embedded Innovations PikeOS Hypervisor RTOS Technology http://www.sysgo.com/ 2 July 2014
  20. SYSGO Embedded Innovations PikeOS Hypervisor Eclipse based CODEO http://www.sysgo.com/en/products/pikeos-rtos-and-virtualization-concept/eclipse-based-codeo/ 27 July 2014
  21. Aeronautical Radio Inc. Part 1: Systems Concepts and Overview Airlines Electronic Engineering Committee, ARINC664 2002
  22. Alena R. , Ossenfort J. , Laws K. and Goforth A. , F. Figueroa Communications for integrated modular avionics 2007 IEEE Aerospace Conference 2006 1 18
  23. The MathWorks Inc. DO Qulification Kit for DO-178 http://www.mathworks.com/products/do-178/ 2 March 2015
  24. RTCA Inc. Software Considerations in Airborne Systems and Equipment Certification RTCA DO-178C December 13 2011
  25. Fons-Albert B. , Usach-Molina H. , Vila-Carbo J. and Crespo-Lorente A. Development of integrated modular avionics applications based on Simulink and XTRATUM DASIA 2013 Data Systems in Aerospace 2013 47 52
  26. QEMU - Open Source Processor Emulator About QEMU http://wiki.qemu.org/Main_Page 7 December 2014
  27. Stringhamm G. Hardware/firmware interface design: best practices for improving embedded systems development Burlington, MA Newnes 2010
  28. SAE Annex document F ARINC653 Society of Automotive Engineers , AS5506/2, Annexe document 42 60
  29. MathWorks Implement first-order representation of turbofan engine with controller http://www.mathworks.com/help/aeroblks/turbofanenginesystem.html 9 July 2014
  30. MathWorks Compute Mach number using velocity and speed of sound http://www.mathworks.com/help/aeroblks/machnumber.html 9 July 2014
  31. MathWorks Implement 1976 COESA lower atmosphere http://www.mathworks.com/help/aeroblks/coesaatmospheremodel.html 9 July 2014
  32. MathWorks Compute dynamic pressure using velocity and air density http://www.mathworks.com/help/aeroblks/dynamicpressure.html 9 July 2014
  33. MathWorks Calculate Earth's magnetic field at specific location and time using World Magnetic Model http://www.mathworks.com/help/aeroblks/worldmagneticmodel2010.html 9 July 2014
  34. MathWorks Implement 1984 World Geodetic System representation of Earth's gravity http://www.mathworks.com/help/aeroblks/wgs84gravitymodel.html 9 July 2014
  35. Rahman M. A. Abdul , Mizukawa M. Modeling and design of mechatronics system with SysML, Simscape and Simulink IEEE/ASME International Conference on Advanced Intelligent Mechatronics 2013 1767 73

Cited By

Recommended Content

Technical Paper A Discussion on the Use of an Integrated Modular Avionics (IMA) Architecture to Simulate an Aerospace Control System
Technical Paper Design and Verification for Complex Deterministic Ethernet Networks in IMA Systems
Aerospace Standard Managing the Development of Artificial Intelligence Software