/ http://www.slideshare.net/images/logo.gif / 際際滷Share feed for 際際滷shows by User: KuntalDasBarman https://cdn.slidesharecdn.com/profile-photo-KuntalDasBarman-48x48.jpg?cb=1487664485 * 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