Manju Nanda

发表

Functional Mode Analysis of Safety Critical Systems Using Causal Bayesian Networks (CBNs)

Susmitha Thiyyanoor, R. Krishnaprasad, Manju Nanda, 2016 .

Data driven prognosis approach for safety critical systems

Manju Nanda, Venkatesh Kulkarni, Manju Nanda, 2016, 2016 IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT).

Embedded software development for aerospace trends, challenges, lessons

Manju Nanda, J. Jayanthi, Nayak, 2008 .

Performance Analysis and Assessment of Safety Critical Systems Using Ann

R. Krishnaprasad, Manju Nanda, J. Jayanthi, 2016 .

A formal method approach to analyze the design of aircraft Flight Control Systems

Manju Nanda, Shrisha Rao, 2009, 2009 3rd Annual IEEE Systems Conference.

Architecture Level Safety Analyses for Safety-Critical Systems

Manju Nanda, J. Jayanthi, K. S. Kushal, 2017 .

Formal Methods and Tools for Safety of Critical Systems

Manju Nanda, J. Jayanthi, K. S. Kushal, 2018 .

Effective verification and validation strategy for safety-critical embedded systems

Manju Nanda, J. Jayanthi, 2013 .

Novel Validation Algorithms for Safety Critical Embedded Software

Manju Nanda, Shrisha Rao, J Jayanthi, 2008 .

Model-based analysis of safety critical systems

Manju Nanda, J Jayanthi, K S Kushal, 2017, 2017 International Conference on Innovations in Information, Embedded and Communication Systems (ICIIECS).

Design and development of certification compliance tool for airborne systems

Manju Nanda, J. Jayanthi, B. K. Anusha, 2017, 2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

Mutation Analysis of Stateflow to Improve the Modelling Analysis

Manju Nanda, Prachi Goyal, J. Jayanthi, 2016 .

Formal Architecture Based Design Analysis for Certifying SWS RTOS

Manju Nanda, J. Jayanthi, Yalamati Ramoji Rao, 2016 .

Intelligent knowledge database (IKD) tool for formal methods

Manju Nanda, J. Jayanthi, Madhan, 2012 .

Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft

Manju Nanda, J. Jayanthi, K S Kushal, 2017, 2017 IEEE Aerospace Conference.

A modified and effective system-engineering life cycle for critical systems

Manju Nanda, Shrisha Rao, 2010, 2010 IEEE International Systems Conference.

Optimization of Aircraft Pitch Trim Rate of Movement Using Model BasedApproach and Improving the Software Algorithm

Manju Nanda, J. Jayanthi, Rathinakumar, 2015 .

Analysing MTL properties using NuSMV model checker

Manju Nanda, V. Shreya, 2016, 2016 IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT).

Using system analysis modeling language (saml) for validating the critical aerospace model: Short paper: A case-study

Manju Nanda, J. Jayanthi, K. S. Kushal, 2017, 2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

Semi-formal approach for validating compiler for safety critical software in airborne systems

Manju Nanda, J. Jayanthi, A. K. Avinash, 2015, 2015 2nd International Conference on Computing for Sustainable Global Development (INDIACom).

Quantitative metrics for improving software performance for an integrated tool platform

Manju Nanda, J. Jayanthi, Chinmayi S. Jamadagni, 2013, 2013 IEEE International Systems Conference (SysCon).

An approach to formally qualify commercial RTOS for safety application

Manju Nanda, J. Jayanthi, Shamsundar Dhage, 2015, 2015 2nd International Conference on Computing for Sustainable Global Development (INDIACom).

Adaptive Markov Model Analysis for Improving the Design of Unmanned Aerial Vehicles Autopilot

R. Krishnaprasad, Manju Nanda, J. Jayanthi, 2016 .

A lightweight integration of mutation analysis with the model checker for system safety verification

Manju Nanda, J. Jayanthi, Sameer Nayak, 2013, 2013 IEEE International Systems Conference (SysCon).

Big data application for analysis of flight test data

Manju Nanda, R Sangeetha, Afshan Banu, 2017, 2017 First International Conference on Recent Advances in Aerospace Engineering (ICRAAE).

Quantitative metrics for validating the effectiveness of the model based approach for indigenously developed SWS/AIC system

Manju Nanda, C. S. Jamadagni, 2012 .

Formal Methods for Safety and Security

Manju Nanda, Yogananda Jeppu, 2018 .

Design and development of the microcontroller based DC motor speed control unit

Manju Nanda, Harish C. Barshilia, Ks Rajam, 2009 .

Implementation and Verification of Asynchronous FIFO Under Boundary Condition

Manju Nanda, P Rajshekhar Rao, 2018 .

Formal Methods—A Need for Practical Applications

Manju Nanda, J. Jayanthi, Yogananda Jeppu, 2018 .

State of the Art Structural Fatigue Analyzer for the Unmanned Air Vehicle (UAV)

Manju Nanda, 2013 .

Aircraft corrosion sensor

Manju Nanda, M D Srinidhi, Amitha Rani, 2017, 2017 2nd IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT).

Model Based Approach for Design and Development of Avionics Display Application

Manju Nanda, P. Santosh Kumar, P. Rajshekhar Rao, 2019 .

Validating VCP using model based approach

Manju Nanda, J. Jayanthi, V. Rathinakumar, 2015, 2015 2nd International Conference on Computing for Sustainable Global Development (INDIACom).

Formalization of Requirements from Natural Language for Safety Critical Embedded System

Manju Nanda, J. Jayanthi, Shamsundar Dhage, 2014, ICTCS '14.

Behavioral analysis of Safety Critical Systems using formal methods

Manju Nanda, J. Jayanthi, P. ShreeshaRao, 2015, 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

System Safety Analysis for Critical System Applications Using Bayesian Networks

R. Krishnaprasad, Manju Nanda, J. Jayanthi, 2016 .

Resource Management and Performance Analysis of Model-Based Control System Software Engineering Using AADL

Manju Nanda, J. Jayanthi, K. S. Kushal, 2016 .

Increasing the Verification Analysis Using Tool Assessment as Per DO-254

Manju Nanda, P Rajshekhar Rao, 2019 .

An Approach for Generating the Self-Checking Test-Bench

Manju Nanda, 2018 .

Indigenous software development for civil aircraft system

Manju Nanda, J. Jayanthi, Nayak, 2008 .

Validation of real time complex algorithms using fault model analyses

Manju Nanda, J. Jayanthi, A. K. Avinash, 2015, 2015 IEEE International Advance Computing Conference (IACC).

Aerospace Compliant Test Bench to Verify Critical Aerospace Functionalities

Manju Nanda, Jayanthi J, P.Rajshekhar Rao, 2018, 2018 3rd IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT).

Model Based Algorithm Validation Approach for Safety Critical Applications

R. Krishnaprasad, Manju Nanda, J. Jayanthi, 2016 .

Transaction-based models (TBM) and evaluation of their throughput

Manju Nanda, J. Jayanthi, K. S. Kushal, 2015, 2015 IEEE Recent Advances in Intelligent Computational Systems (RAICS).

Avionics Display for Two-Seated Aircraft Using OpenGL

Manju Nanda, J. Jayanthi, K. Nayana, 2021, Advances in Intelligent Systems and Computing.

Hard Real-Time Delay (RTD) Estimation and Analysis for Safety-Critical System

Manju Nanda, J. Jayanthi, Anand G, 2021, 2021 6th International Conference for Convergence in Technology (I2CT).

Model-Based Test Approach on EICAS Ground Testpages Using SCADE Display Software

Manju Nanda, J. Jayanthi, Reshma Rajkumar, 2021, Advances in Intelligent Systems and Computing.

Model-Based Code Generation for Avionics Display Graphics

Manju Nanda, G. Anand, Lovin K. Jose, 2021, Advances in Intelligent Systems and Computing.