![](/jspui/image/dspace_header.jpg)
Please use this identifier to cite or link to this item:
https://idr.nitk.ac.in/jspui/handle/123456789/7387
Title: | Arguing formally about flight control laws |
Authors: | Jeppu, N.Y. Jeppu, Y. Murthy, N. |
Issue Date: | 2015 |
Citation: | 2015 International Conference on Industrial Instrumentation and Control, ICIC 2015, 2015, Vol., , pp.378-383 |
Abstract: | Flight control law software have errors. Some are found during the extensive testing and certification process and others pass through causing accidents. The testing of flight control software indicates that the code and the model match. But it is very difficult to ensure if the model was correct in the first place. Model checkers like Mathworks Simulink Design Verifier check the models against formally defined conditions and system behavior. The tool can come up with counterexamples that can fail an assertion or proof. A study is done on how easy or difficult it is to teach engineering students this formal process. The problem statement, the Simulink models and the outcome of the study in terms of advantages and disadvantages of using Simulink Design Verifier is highlighted in this preliminary study. � 2015 IEEE. |
URI: | http://idr.nitk.ac.in/jspui/handle/123456789/7387 |
Appears in Collections: | 2. Conference Papers |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.