Papers by Divyesh Divakar
2022 International Interdisciplinary Humanitarian Conference for Sustainability (IIHC)
2017 Third International Conference on Advances in Electrical, Electronics, Information, Communication and Bio-Informatics (AEEICB), 2017
There are many ways of modeling the behavior of systems, and the use of state machines is one of ... more There are many ways of modeling the behavior of systems, and the use of state machines is one of the oldest and best known. The behavior of the system at a given point in time depends upon the current state and the input or events that occur at that time. For each state the system may be in, behavior is defined for each possible input or event. Here we design a FSM serial adder in SIMULINK.
Mathematical models are available/developed that adequately describes the behavior of a test spec... more Mathematical models are available/developed that adequately describes the behavior of a test specimen. Thus, a realtime computer simulation can be conceived by the test systems. 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. MEX file creation was explored to test the code and Model. This is the concept of Software in the Loop. To be precise and efficacious, high-fidelity test scenarios are to be explored. Processor In the Loop (PIL) test method is used for checking the functional differences between the model and the generated and compiled object code to identify any potential deviations in the performance introduced by the compilation process.
Aviation safety has come a long way in over one hundred years of implementation. In aeronautics, ... more 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 a...
Aviation safety has come a long way in over one hundred years of implementation. Avionics industr... more Aviation safety has come a long way in over one hundred years of implementation. Avionics industry is now a billion-dollar industry in its own right, and made safety a major selling point realizing that a poor safety record in the aviation industry is a threat to corporate survival. 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. To be precise and efficacious, high-fidelity test scenarios are to be explored. Processor in the Loop (PIL) test method is used for checking the functional differences between the model and the generated and compiled object code to identify any potential deviations in the performance introduced by the compilation process.. This paper suggests a development workflow starting with a model created in Simulink and proceeding through generating verified and profiled code for the processor.
System development in the aerospace and automotive industry uses a model-based approach. Model-ba... more System development in the aerospace and automotive industry uses a model-based approach. Model-based development provides a development process from requirements to code. It ensures that the implemented systems are complete and behave as expected. Model-based testing relies on models of a system under test to derive test cases for the system. A complete system has been developed from requirements given as text. A truth table based system definition is generated from the text requirement. Assertions are developed from the table. The Simulink model is made based on the requirements and tested against the assertion using random testing. A Matlab and C code has been generated and tested for code coverage. The test cases are optimized using a selective algorithm. Two cases give the complete assertion and code coverage for the model. The C and Matlab code are verified using these two tests.
International journal of engineering research and technology, 2018
Logic gates are circuits used to implement a Boolean function. It is a digital circuit which may ... more Logic gates are circuits used to implement a Boolean function. It is a digital circuit which may have been more than one input but only one output. It has a set of two elements 0 and 1, with operations are applicable to gate type circuits.
Uploads
Papers by Divyesh Divakar