* Embedded Systems software development and verification
* Autocode generation tool development
* Requirements engineering for DO178B qualification and Saftey critical software development
* Formal verification using Theorem proving, Model checking and Static program analysis
* Distributed systems verification and analysis
* Development of Model Based Test tool for Simulink and Stateflow models
* Development of auto test case generation tool capable of generating tests from text based high level requirements
* New business case development through Voice of customer, concept development, architecture building, technology roadmap preparation and prototype development
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
