Items where Author is "Jayanthi, J"

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

Article

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

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

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

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 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

Book Section

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.

Monograph

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.

Pedar, A and Jayanthi, J and Jyothi, N and Prasad, Renuka (1992) IPC Over Multibus-I for a QMR System. Technical Report. National Aerospace Laboratories, Bangalore, India.

Conference or Workshop Item

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.

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 Fri Oct 7 10:57:16 2022 IST.