Items where Author is "Nanda, Manju"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 23.

Anand, G and Nanda, Manju and Jayanthi, J (2021) Hard Real-Time Delay (RTD) Estimation and Analysis for Safety-Critical System. In: 2021 6th International Conference for Convergence in Technology (I2CT), Maharashtra, India.

Nanda, Manju and Rajshekhar Rao, P (2019) Increasing the Verification Analysis Using Tool Assessment as Per DO-254. In: Innovations in Electronics and Communication Engineering. Lecture Notes in Networks and Systems (65). Springer, Singapore, pp. 387-394. ISBN 978-981-13-3765-9

Shreya, V and Nanda, Manju (2017) Analysing MTL Properties using NuSMV model checker. In: 2016 IEEE International Conference on Recent Trends in Electronics, Information and Communication Technology, RTEICT 2016 - Proceedings, 20 - 21 May 2016, Bangalore, India.

Kushal, KS and Nanda, Manju and Jayanthi, J (2017) Architecture Level Safety Analyses for Safety-Critical Systems. International Journal of Aerospace Engineering, 2017. pp. 1-10. ISSN 16875966

Kulkarni, V and Nanda, Manju (2017) Data driven prognosis approach for safety critical systems. In: 2016 IEEE International Conference on Recent Trends in Electronics, Information and Communication Technology, RTEICT 2016 - Proceedings, 20 - 21 May 2016, Bangalore, India.

Goyal, P and Nanda, Manju and Jayanthi, J (2017) Mutation analysis of stateflow to improve the modelling analysis. Communications in Computer and Information Science, 721. pp. 173-182. ISSN 18650929

Krishnaprasad, R and Nanda, Manju and Jayanthi, J (2016) Adaptive markov model analysis for improving the design of unmanned aerial vehicles autopilot. Advances in Intelligent Systems and Computing, 384. pp. 259-271. ISSN 21945357

Rao, YR and Nanda, Manju and Jayanthi, J (2016) Formal architecture based design analysis for certifying SWS RTOS. In: Intelligent Systems Technologies and Applications. Springer Verlag, pp. 437-448.

Kushal, KS and Nanda, Manju and Jayanthi, J (2016) Resource management and performance analysis of model-based control system software engineering using AADL. Advances in Intelligent Systems and Computing, 411. pp. 81-96. ISSN 21945357

Prabhakaran, R and Krishnaprasad, R and Nanda, Manju and Jayanthi, J (2016) System Safety Analysis for Critical System Applications Using Bayesian Networks. In: Procedia Computer Science, 6-8 september 2016, Cochin, India.

Kushal, KS and Nanda, Manju and Jayanthi, J (2016) Transaction-based models (TBM) and evaluation of their throughput. In: 2015 IEEE Recent Advances in Intelligent Computational Systems, 10 - 12 December 2015, Trivandrum, India.

Avinash, AK and Nanda, Manju and Jayanthi, J (2015) Semi-formal approach for validating compiler for safety critical software in airborne systems. In: 2015 International Conference on Computing for Sustainable Global Development, INDIACom 2015, 11-13 March 2015, New Delhi.

Rathinakumar, V and Avinash, AK and Nanda, Manju and Jayanthi, J (2015) Validating VCP using model based approach. In: Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on, 11-13 March 2015, New Delhi, India.

Sumeeth, SB and Jayanthi, J and Nanda, Manju and Avinash, AK (2015) Validation of real time complex algorithms using fault model analyses. In: IEEE International Advance Computing Conference.

Nanda, Manju and Dhage, S and Jayanthi, J (2015) An approach to formally qualify commercial RTOS for safety application. In: Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on, 11-13 March 2015, New Delhi, India.

Nanda, Manju and Jayanthi, J (2013) Effective verification and validation strategy for safety-critical embedded systems. International Journal of Software Engineering & Applications (IJSEA), 4 (2). ISSN 0975-9018

Nanda, Manju and Jamadagni, CS (2012) Quantitative metrics for validating the effectiveness of the model based approach for indigenously developed SWS/AIC system. International Journal of Scientific & Engineering Research, 3 (12). pp. 1-7. ISSN 2229-5518

Nanda, Manju and Jayanthi, J and Madhan, V (2012) Intelligent knowledge database (IKD) tool for formal methods. International Journal of Software Engineering & Applications , 3 (6). pp. 117-127. ISSN 0975 - 9018

Nanda, Manju (2010) Modified and effective system-engineering life cycle for critical systems. In: 4th Annual IEEE Systems Conference, 2010 , 5-8 April 2010, San Diego, CA, USA.

Chowdhury, P and Barshilia, Harish C and Rajam, KS and Nanda, Manju and Jayanthi, J (2009) Design and Development of the Microcontroller based DC Speed Control Unit. Technical Report. National Aerospace Laboratories, Bangalore.

Chowdhury, P and Barshilia, Harish C and Nanda, Manju and Jayanthi, J (2009) Design and development of the microcontroller based DC motor speed control unit. Project Report. NAL, National Aerospace Laboratories.

Jayanthi, J and Nanda, Manju and Nayak, MR (2008) Indigenous software development for civil aircraft system. In: Proceedings of the International Conference on Aerospace Science and Technology, 26-28 Jun 2008, Bangalore, India.

Jayanthi, J and Nanda, Manju and Nayak, MR (2008) Embedded software development for aerospace trends, challenges, lessons. In: International Conference for Avionics, ICAS, 22-23 Feb 2008, Hyderabad, India.

This list was generated on Sat Dec 3 22:57:51 2022 IST.