View Full Document

Static Analysis of Autocoded Software for Aerospace Systems



View the full content.
View Full Document
View Full Document

3 views

Unformatted text preview:

Static Analysis of Autocoded Software for Aerospace Systems Eric Feron Arnaud Venet School of Aerospace Engineering Georgia Institute of Technology Atlanta GA 30332 Kestrel Technology LLC 4984 El Camino Real 230 Los Altos CA 94022 feron gatech edu Phone 404 894 3062 arnaud kestreltechnology com Phone 650 967 4408 I OVERVIEW OF OUR A PPROACH Embedded software based control systems are commonly constructed using model based design environments such as MATLAB SimulinkTM from MathWorks These environments allow the system designer to establish critical properties ensuring the reliability of the system stability disturbance rejection etc directly at the model level using a rich mathematical toolset However the software implementation substantially transforms the mathematical model by introducing numerous programming artifacts aggregate data structures pointers and altering the numerical representation platform dependent floating fixed point arithmetic and in the most extreme cases conversion from continuous time dynamics to discrete time dynamics Verifying that the reliability properties of the system are preserved by the implementation is extremely challenging yet in many cases critically important Modelbased design environments usually come with an autocoder i e a code generation tool that automatically synthesizes an implementation of the embedded controller from the specification of its model Autocoders are getting increasingly used in practical applications for they greatly simplify the implementation process In aerospace industry however autocoding is essentially precluded because its properties are considered to be not adequately trustworthy Static program analysis tools have recently proven successful in tackling the certification of embedded software based control systems ASTREE 1 developed by P Cousot s team in France can automatically verify the consistency of floatingpoint arithmetic in the electric command control system of the A380 Airbus super jumbo carrier



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Static Analysis of Autocoded Software for Aerospace Systems and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Static Analysis of Autocoded Software for Aerospace Systems and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?