Aerospace Electronics & Systems Division
CSIR-National Aerospace Laboratories


Mr. Shamsundar G Dhage
Sr.Technical Officer



  • About
  • Contact
  • Research
  • Projects
  • Students Projects
  • Publications


Mr. Shamsundar Dhage, Senior Technical Officer in the Software Engineering Group, Aerospace Electronics Division. He did his MCA from IGNOU, Delhi and MS in Software Design & Engineering from Manipal University. His MS thesis was titled "Qualification of RTOS for safety critical systems using Formal Methods'. He is presently working on the Verification & Validation of Safety critical software, Application of Formal Methods tools and techniques for aerospace applications.

Course Offered

  • Training offered on RTCA DO-178B standard


Telephone (O) +91-80-25086523 (M) +91-9844577110
Facsimile +91-80-25268546
Address Aerospace Electronics & Systems Division, National Aerospace Laboratories, HAL Airport Road, Kodihalli, Bengaluru Karnataka - 560 017, INDIA

Sponsored Projects

In-House Projects Funded by CSIR

  1. Formal Methods for Civil Aircraft Applications

Undergraduate Projects

Journal papers

  1. State of Art Enhanced Fatigue Meter Adaptable Across Aircrafts', J Jayanthi, Manju Nanda, Shamsundar Dhage and T.S.Arjun, Journal of Aerospace Sciences and Technologies, Volume 65, Number 4, Nov 2013,

Conference papers

  1. A Framework for the Software Aspects of the Safety Certification for Indigenously Developed Aircraft Systems', Manju Nanda, J Jayanthi, Shyamsundar Dhage, International Conference on Emerging Trends in Electrical Systems ( ICETES 2013 ) , Dec 2013, Kerala, India
  2. State of Art Enhanced Fatigue Meter Adaptable Across Aircrafts to Determine the Fatigue of the Aircraft', Manju Nanda, J Jayanthi, Shamsundar Dhage, Arjun TS, Technical Note, AeSI State of the art structural fatigue analyzer for UAV, Manju Nanda, J Jayanthi, Shamsunder Dhage, Arjun T S, 9th International conference on Intelligent Unmanned Systems, ICIUS 2013, Sep 2013, Jaipur, India
  3. Formalization of Requirements from Natural Language for Safety Critical Embedded System, Manju Nanda, J. Jayanthi, and Shamsundar Dhage, 14-16 Nov 2014, International Conference on Information and Communication Technology for Competitive Strategies, Udaipur, India, ISBN: 978-1-4503-3216-3 doi 10.1145/2677855.2685031,ACM,
  4. An Approach to formally qualify commercial RTOS for safety application, Manju Nanda, Shamsundar Dhage, and J.Jayanthi, 2nd International Conference on "Computing for Sustainable Global Development, 11th - 13th March, 2015, Delhi, India, 816-821, IEEE,




ALD About
Avionics Lab
Microelectronics Lab
System Engineering
Software Engineering
Active Noise Control
Vision Based Technology
Contact Us
© Copyright ALD-NAL