NAL_logo

Aerospace Electronics & Systems Division
CSIR-National Aerospace Laboratories
Bangalore-560017

Manju

Smt Manju Nanda
Principal Scientist

 

 

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

About

Dr. (Ms) Manju Nanda, is Principal Scientist at Software Engineering Group, Aerospace Electronics & Systems Division. She did her MSc Electronics Science from Department Of Electronics Science, Pune University, Pune and PhD in "Functional Availability Analysis Technique using System Algebra for Safety Critical Systems" from IIITB, Bangalore.She has 19 years of rich experience in design, development, and certification of safety critical embedded system for medical, aerospace and automotive domains

Current Activities

  1. Formal Methods
  2. Software Safety Assesment
  3. Software Health Management

Course Offered

 

Email manjun@nal.res.in
Tel +91-080-25086523
Address

ALD, CSIR-NAL, Old Airport Road,
Kodihalli, Bangalore-17
Linkedin Link: Manju Nanda

Facsimile +91-80-25268546
  • Design, Development & qualification of safety critical embedded systems
    Working in Advanced Research in Software Engineering such as formal methods

Sponsored Projects

  1. Design, Development and qualification of Smart Fatigue Meter (10th FYP) as per Defense Standard
  2. Design, Development and qualification of enhanced Fatigue Meter (11th FYP) as per Defense Standard
  3. Evolution of Formal Method Techniques for Civil Aircraft Application (12th FYP)
  4. Design, Development & certification of Indigeneously developed Stall warning and aircraft interface computer system for SARAS aircraft (CSIR funded), Civil Aerospace Standard , RTCA DO-178B Level A
  5. Independent verification & validation of SARAS Automatic flight control system (CSIR funded), Civil Aerospace Standard , RTCA DO-178B Level A
  6. Independent verification & validation of Engine Indication and Crew Altering System (CSIR funded), Civil Aerospace Standard , RTCA DO-178B Level A

In-House Projects Funded by CSIR

  1. Evolution of Formal Method Techniques for Civil Aircraft Application

In-House Research Activities towards establishment of "Centre of Excellence" in Software Engineering

  • Data analytics
  • Software Safety Assessment
  • Software Reliability
  • Software Defined Radio
  • Wireless Sensor Network
  • Software Health Management
  • Develop qualitative, quantitative & mixed approach
  • In-house tool
  • Integrating the in-house tools to the IFF

Undergraduate Projects

Journal papers

  1. 'Intelligent Knowledge Database (IKD) Tool for Formal Methods', Manju Nanda, J Jayanthi, Madan V, International Journal of Software Engineering and Applications (IJSEA), November 2012, Academy & Industry Research Collaboration Center (AIRCC).
  2. Quantitative Metrics for validating the effectiveness of the model based approach for indigenously developed SWS/AIC system', Manju Nanda, Chinmayi S Jamadagni, Volume 3, Issue 12, December 2012, International Journal of Software Engineering Research (IJSER), Academy & Industry Research Collaboration Center (AIRCC).
  3. An Effective Verification And Validation Strategy For Safety-Critical Embedded Systems', Manju Nanda, Jayanthi J and Shrisha Rao, International Journal of Software Engineering & Applications (IJSEA), Vol.4, No.2, March 2013
  4. 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, http://www.aerosocietyindia.in/journal/Content_Nov_2013.pdf
  5. Novel and Effective Sensor Validation Algorithms For Safety Critical Systems,
  6. Manju Nanda; J. Jayanthi and T.S. Arjun, Journal of Aerospace Sciences and Technologies, www.aerojournalindia.com/.../Abstract%20of%20M_J_A_816_2014.pdf

Conference papers

  1. Indigenous SFM with state of art technology' National Conference International Conference on Instrumentation (INCON), Manju Nanda, J Jayanthi, N N Murthy, 19-21 Dec, at Pune 2004
  2. Embedded System Design for Safety Critical Air Borne Applications', Manju Nanda, J Jayanthi, at Workshop on Embedded Systems: Advances & Applications held on October 21-23, 2005 at IIT, Delhi
  3. Embedded software development for aerospace------ trends, challenges, lessons
  4. J Jayanthi, Manju Nanda, MR Nayak, International Conference On Avionics Systems, 22-23 February, 2008, India, Recent Trends in Avionics Systems Pages 489-494
  5. Indigenous Software Development for Civil Aircraft System', J Jayanthi, Manju Nanda, MR Nayak, International Conference on Aerospace Science and Technology, 26-28 June 2008, Bangalore, India
  6. Novel Validation Algorithms for Safety Critical Embedded Software'Manju Nanda, J Jayanthi, Shrisha Rao, 3rd IET International Conference On System Safety, 20-22 Oct 2008, Birmingham, UK
  7. Algorithm development for a state of Art Speedometer for Indigenously developed sensors', Manju Nanda, J Jayanthi, Lakshmi P, Recent Advances in Surface Engineering - 26-27 Feb 2009, NAL
  8. A Formal Method Approach To Analyze The Design Of Aircraft Flight Control Systems', Manju Nanda, Shrisha Rao, International Systems Conference, 23-26 March 2009, Vancouver, Canada
  9. A Modified and Effective System-Engineering Life Cycle for Critical Systems', Manju Nanda, Srisha Rao, IEEE Systems Conference, April 2010
  10. A lightweight integration mutation analysis with the model checker for system safety verification', Manju Nanda, J Jayanthi , Sameer Nayak, IEEE Systems Conference, April 15-18,2013, Florida, USA
  11. Quantitative Metrics For Evaluating Tools To Develop An Integrated Tool Platform For Critical Systems', Manju Nanda, Chinmayi S Jamadagni, J.Jayanthi , Madhan V, IEEE Systems Conference, April 15-18,2013, Florida, USA
  12. Measurement Technique to Evaluate Model-Based Tool for Safety Critical Embedded Systems', International Conference on Emerging Trends in Electrical Systems ( ICETES 2013 ) , Manju Nanda , Chinmayi S Jamadagni , J. Jayanthi ,Dec 2013, Kerala, India
  13. 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
  14. 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
  15. 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,http://dl.acm.org/citation.cfm?id=2685031&dl=ACM&coll=DL&CFID=501662382&CFTOKEN=98893934
  16. 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, http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7100362
  17. Semi-Formal Approach for Validating Compiler for Safety Critical Software in Airborne Systems, Avinash A K, Manju Nanda, and J.Jayanthi, 2nd International Conference on "Computing for Sustainable Global Development, 11th - 13th March, 2015, Delhi, India, 851-858, http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7100370
  18. Validating VCP using Model Based Approach, Rathinakumar V, Avinash A K, Manju Nanda, and J.Jayanthi, 2nd International Conference on "Computing for Sustainable Global Development, 11th - 13th March, 2015, Delhi, India, 912-917, http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7100380
  19. Formal Architecture based design analysis for certifying SWS RTOS', Yalamati Ramoji Rao, Manju Nanda, J. Jayanthi, International symposium of intelligent system technologies and application (ISTA15), Pages: 437-448, Volume 385 of the series Advances in Intelligent Systems and Computing, http://link.springer.com/chapter/10.1007/978-3-319-23258-4_38
  20. Adaptive Markov model Analysis for improving the design of unmanned aerial vehicles Autopilot' , Krisnaprasad. R, Manju Nanda, J. Jayanthi, International symposium of intelligent system technologies and application (ISTA15), Pages 259-271, Volume 384 of the series Advances in Intelligent Systems and Computing, Doi: 10.1007/978-3-319-23036-8_22
  21. Behavioral Analysis of safety critical systems using formal methods', Shreesha .Rao. P, Manju Nanda, J. Jayanthi, Fourth international conference on Advances in computing, communication and informatics (ICACCI-2015), Pages : 1-7, This is available at: http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7275975
  22. Validation of Realtime Complex Algorithms using Fault Model Analyses', Sumeeth S B, Manju Nanda, J Jayanthi, Avinash A K, IEEE International Advance Computing Conference (IACC), Bengaluru, Page No: 686-691, June 2015
  23. Resource Management and Performance Analysis of Model-Based Control System Software Engineering using AADL', Kushal K S, Dr. Manju Nanda, Jayanthi J, International Conference on Computational Intelligence in Data Mining, Dec 2015, Bhubaneshwar, Odisha, (Accepted, To be presented)
  24. Transaction-Based Models (TBM) and Evaluation of their throughput ', Kushal K S, Dr. Manju Nanda, Jayanthi J, IEEE Recent Advances in Intelligent Computational Systems, December 2015, Trivandrum, Kerala, (Accepted, To be presented)
  25. Model-Based Architectural Approach in Evaluating the Data Access Scheme in a Multi-Core Processor Architecture, Kushal K S, Dr. Manju Nanda, Jayanthi J, 5th series of International Conference on Product Lifecycle Modeling, Simulation & Synthesis, Dec 2015, Hyderabad, (Accepted, To be presented)

 

NAL


CSIR


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