Modeling and Auto-generation of C code on SCADE bench
Sun Quan-yan · Computer engineering & Software · 2011
With the increasing functional complexity of the flight control software,the traditional design of airborne software is realized by writing code manually,which is lower in efficiency and cannot ensure the security of development.A solution to design and realize airborne software is studied in this paper based on SCADE (Safety Critical Application Development Environment) and taking the navigation software for example,according to the design flow of SCADE,namely through the intuitionistic modeling builds the model of navigation and simulation,it generates safe embeddable code which faces the engineering directly.The result of the test indicates that SCADE realizes the automatization and saves the costs and time of program design greatly.