%0 Journal Article %1 divakar2013systematic %A Divakar, Divyesh %A G, Ashwini K %D 2013 %E ACEEE, %J ACEEE Int. J. on Electrical and Power Engineering %K Coverage Embedded MATLAB Safety Software analysis critical safety software system %N 1 %T Systematic Model based Testing with Coverage Analysis %U /brokenurl#doi.searchdl.org/01/IJEPE/4/1/1079.pdf %V 4 %X Aviation safety has come a long way in over one hundred years of implementation. In aeronautics, commonly, requirements are Simulink Models. Considering this, many conventional low level testing methods are adapted by various test engineers. This paper is to propose a method to undertake Low Level testing/ debugging in comparatively easier and faster way. As a first step, an attempt is made to simulate developed safety critical control blocks within a specified simulation time. For this, the blocks developed will be utilized to test in Simulink environment. What we propose here is Processor in loop test method using RTDX. The idea is to simulate model (requirement) in parallel with handwritten code (not a generated one) running on a specified target, subjected to same inputs (test cases). Comparing the results of model and target, fidelity can be assured. This paper suggests a development workflow starting with a model created in Simulink and proceeding through generating verified and profiled code for the processor.

@article{divakar2013systematic, abstract = {Aviation safety has come a long way in over one hundred years of implementation. In aeronautics, commonly, requirements are Simulink Models. Considering this, many conventional low level testing methods are adapted by various test engineers. This paper is to propose a method to undertake Low Level testing/ debugging in comparatively easier and faster way. As a first step, an attempt is made to simulate developed safety critical control blocks within a specified simulation time. For this, the blocks developed will be utilized to test in Simulink environment. What we propose here is Processor in loop test method using RTDX. The idea is to simulate model (requirement) in parallel with handwritten code (not a generated one) running on a specified target, subjected to same inputs (test cases). Comparing the results of model and target, fidelity can be assured. This paper suggests a development workflow starting with a model created in Simulink and proceeding through generating verified and profiled code for the processor. }, added-at = {2013-03-09T06:42:11.000+0100}, author = {Divakar, Divyesh and G, Ashwini K}, biburl = {https://www.bibsonomy.org/bibtex/2615638284629c718be984d20bd7ba87e/ideseditor}, editor = {ACEEE}, interhash = {ddc9d36b77ddbd68820e4be70df9e510}, intrahash = {615638284629c718be984d20bd7ba87e}, journal = {ACEEE Int. J. on Electrical and Power Engineering}, keywords = {Coverage Embedded MATLAB Safety Software analysis critical safety software system}, month = feb, number = 1, timestamp = {2013-03-09T06:42:11.000+0100}, title = {Systematic Model based Testing with Coverage Analysis }, url = {/brokenurl#doi.searchdl.org/01/IJEPE/4/1/1079.pdf}, volume = 4, year = 2013 }