AIAA Modeling and Simulation Technologies Conference · 2009 · 28 citations · 1 references
ComputingAerospace EngineeringSystems EngineeringEmbedded SystemsModel-based Systems EngineeringSoftware EngineeringModel-based DesignModel-driven DevelopmentModel-driven Software EngineeringSoftware DesignSoftware ModelingVerificationEmbedded System VerificationModel VerificationModel-based VerificationTesting
Model-Based Design with automatic code generation is an important and established technology for developing aerospace embedded control systems. Early verification, validation, and test of models and generated code using software tools with accompanying workflows are increasingly used. In 2009, The MathWorks released tool qualification kits for verification tools based on the commercial aviation software standard DO-178B. The use of Model-Based Design for DO-178B applications using qualified verification tools is described herein. I.
1