By profession, I am an Electrical Engineer. My specialization is Embedded Systems Design and Verification. I have a vast experience in design, development, testing and formal verification & validation of safety critical real-time embedded systems particularly in aerospace and avionics industry. I have played lead role in system and subsystem level design of digital systems and their inherent software used in satellites (On-board computers, On-board data handling, Attitude determination and control etc.). My expertise extend from low level hardware aspects to high level software applications relevant to Embedded Systems.
I have more than 15 years of experience of working under Linux environment and have a good grip on GNU C Compiler, EDA tools (ModelSim, Encounter, Precision), Model Checking, Matlab/Simulink, UML/SysML, Java, Latex.
I am currently playing leading role in software verification and validation (V&V), testing of mission critical software for aerospace systems.